Sistemas Informáticos y Computación

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 logical formalisms for rewriting

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

8. A formal environment for describing negotiation capabilities

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

9. 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)

10. 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)

11. A new generic scheme for functional logic programming with constraints

    Higher-Order and Symbolic Computation

12. A simple rewrite notion for call-time choice semantics

    PPDP'07: Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming

13. Agrega-plataforma de objetos digitales educativos

    CEUR Workshop Proceedings

14. All about maude - A high-performance logical framework how to specify, program and verify systems in rewriting logic

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

15. An abstract interpretation toolkit for μcRL

    Formal Methods in System Design

16. Binary search trees, recurrent properties and wave equations

    Fundamenta Informaticae, Vol. 81, Núm. 4, pp. 409-439

17. CGR: A tool for programming using schemes

    Proceedings - International Computer Software and Applications Conference

18. Challenges in Satisfiability Modulo Theories

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

19. Christiansen Grammar evolution for the modelling of psychological processes

    5th International Industrial Simulation Conference 2007, ISC 2007

20. Christiansen grammar evolution: Grammatical evolution with semantics

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