Artículos (90) Publicaciones en las que ha participado algún/a investigador/a

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