Informática

2007

1. A Distributed Implementation of Mobile Maude

   Electronic Notes in Theoretical Computer Science, Vol. 176, Núm. 4, pp. 113-131

2. A Formal Specification of the Memorization Process

   International Journal of Cognitive Informatics and Natural Intelligence (IJCINI), Vol. 1, Núm. 4, pp. 47-60

3. A Fully Sound Goal Solving Calculus for the Cooperation of Solvers in the C F L P Scheme

   Electronic Notes in Theoretical Computer Science, Vol. 177, Núm. 1, pp. 235-252

4. A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming

   Electronic Notes in Theoretical Computer Science, Vol. 188, pp. 37-51

5. A comparison between two grid scheduling philosophies: EGEE WMS and Grid Way

   Multiagent and Grid Systems, Vol. 3, Núm. 4, pp. 429-439

6. A comparison between two logical formalisms for rewriting

   Theory and Practice of Logic Programming, Vol. 7, Núm. 1-2, pp. 183-213

7. A documental approach to adventure game development

   Science of Computer Programming, Vol. 67, Núm. 1, pp. 3-31

8. A highly modular and extensible architecture for an integrated IMS-based authoring system: The 〈e-Aula〉 experience

   Software - Practice and Experience, Vol. 37, Núm. 4, pp. 441-461

9. A modular meta-scheduling architecture for interfacing with pre-WS and WS Grid resource management services

   Future Generation Computer Systems, Vol. 23, Núm. 2, pp. 252-261

10. Acceso a la información bilingüe utilizando ontologías específicas del dominio biomédico

    Procesamiento del lenguaje natural, Núm. 38, pp. 107-118

11. Adaptation of a multi-resolution docking bioinformatics application to the grid

    Journal of Software, Vol. 2, Núm. 2, pp. 1-10

12. Aplicaciones de los algoritmos evolutivos en economía

    Anales de ingeniería técnica en informática de sistemas, Núm. 1, pp. 57-67

13. Aprendiendo física en bachillerato con simuladores informáticos

    Alambique: Didáctica de las ciencias experimentales, Núm. 51, pp. 89-97

14. Aprendizaje Activo en Simulaciones Interactivas

    Inteligencia artificial: Revista Iberoamericana de Inteligencia Artificial, Vol. 11, Núm. 33, pp. 25-36

15. Bayesian control of the number of servers in a GI / M / c queueing system

    Journal of Statistical Planning and Inference, Vol. 137, Núm. 10, pp. 3043-3057

16. Building CBR systems with jcolibri

    Science of Computer Programming, Vol. 69, Núm. 1-3, pp. 68-75

17. Building corpora for the development of a dependency parser for Spanish using Maltparser

    Procesamiento del lenguaje natural, Núm. 39, pp. 181-186

18. Christiansen grammar evolution: Grammatical evolution with semantics

    IEEE Transactions on Evolutionary Computation, Vol. 11, Núm. 1, pp. 77-90

19. Coding Mobile Synchronizing Petri Nets into Rewriting Logic

    Electronic Notes in Theoretical Computer Science, Vol. 174, Núm. 1, pp. 83-98

20. Cognitive Processes by Using Finite State Machines

    International Journal of Cognitive Informatics and Natural Intelligence (IJCINI), Vol. 1, Núm. 3, pp. 52-65