Departamento
Sistemas Informáticos y Computación
Publicacións (89) Publicacións nas que participase algún/ha investigador/a
2007
-
A Distributed Implementation of Mobile Maude
Electronic Notes in Theoretical Computer Science, Vol. 176, Núm. 4, pp. 113-131
-
A Formal Specification of the Memorization Process
International Journal of Cognitive Informatics and Natural Intelligence (IJCINI), Vol. 1, Núm. 4, pp. 47-60
-
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
-
A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming
Electronic Notes in Theoretical Computer Science, Vol. 188, pp. 37-51
-
A Sharing Analysis for SAFE
TRENDS IN FUNCTIONAL PROGRAMMING, VOL 7
-
A brief introduction to THOTL
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
A comparison between two logical formalisms for rewriting
Theory and Practice of Logic Programming, Vol. 7, Núm. 1-2, pp. 183-213
-
A formal environment for describing negotiation capabilities
Proceedings of the 6th IEEE International Conference on Cognitive Informatics, ICCI 2007
-
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)
-
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)
-
A new generic scheme for functional logic programming with constraints
Higher-Order and Symbolic Computation
-
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
-
Agrega-plataforma de objetos digitales educativos
CEUR Workshop Proceedings
-
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)
-
An abstract interpretation toolkit for μcRL
Formal Methods in System Design
-
Binary search trees, recurrent properties and wave equations
Fundamenta Informaticae, Vol. 81, Núm. 4, pp. 409-439
-
CGR: A tool for programming using schemes
Proceedings - International Computer Software and Applications Conference
-
Challenges in Satisfiability Modulo Theories
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Christiansen Grammar evolution for the modelling of psychological processes
5th International Industrial Simulation Conference 2007, ISC 2007
-
Christiansen grammar evolution: Grammatical evolution with semantics
IEEE Transactions on Evolutionary Computation, Vol. 11, Núm. 1, pp. 77-90