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 Sharing Analysis for SAFE

   TRENDS IN FUNCTIONAL PROGRAMMING, VOL 7

6. A brief introduction to THOTL

   Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

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

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

8. A comparison between two logical formalisms for rewriting

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

9. A computational model of the equivalence class formation psychological phenomenon

   Advances in Soft Computing

10. A computational model of the equivalence class formation psychological phenomenon

    INNOVATIONS IN HYBRID INTELLIGENT SYSTEMS

11. A computer model that generates biography-like narratives

    Proceedings of the 4th International Joint Workshop on Computational Creativity

12. A documental approach to adventure game development

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

13. A formal environment for describing negotiation capabilities

    Proceedings of the 6th IEEE International Conference on Cognitive Informatics, ICCI 2007

14. A formal methodology to test complex heterogeneous systems

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

15. A game-based adaptive unit of learning with IMS learning design and 〈e-adventure〉

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

16. A higher-order demand-driven narrowing calculus with definitional trees

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

17. 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

18. 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

19. A multiagent extension for virtual reality based intelligent tutoring systems

    Proceedings - The 7th IEEE International Conference on Advanced Learning Technologies, ICALT 2007

20. A neural network model for image change detection based on fuzzy cognitive maps

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)