Département
Sistemas Informáticos y Computación
Publications (41) Publications auxquelles un chercheur a participé
2003
-
A Demand-Driven Narrowing Calculus with Overlapping Definitional Trees
Proceedings of the ACM SIGPLAN Conference on Principles and Practice of Declarative Programming
-
A framework for selecting components automatically: A first approach
Electronic Notes in Theoretical Computer Science
-
A generic persistence model for (C)LP systems
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
A multi-agent system for e-barter including transaction and shipping costs
Proceedings of the ACM Symposium on Applied Computing
-
A parallel framework for computational science
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 2658, pp. 1002-1011
-
A residualizing semantics for the partial evaluation of functional logic programs
Information Processing Letters, Vol. 85, Núm. 1, pp. 19-25
-
Algebraic theory of probabilistic processes
Journal of Logic and Algebraic Programming, Vol. 56, Núm. 1-2 SPEC., pp. 117-177
-
Ambient Petri nets
Electronic Notes in Theoretical Computer Science
-
Análisis de Modelos de Negocio de Distribución Comercial
Investigación y marketing, Núm. 79, pp. 28-33
-
Automated requirements-based generation of test cases for product families
Proceedings - 18th IEEE International Conference on Automated Software Engineering, ASE 2003
-
Braid monodromy and topology of plane curves
Duke Mathematical Journal, Vol. 118, Núm. 2, pp. 261-278
-
Building an Interface Between Eden and Maple: Towards an easy Parallelization of Computer Algebra Algorithms
III Jornadas de Programación y Lenguajes (PROLE'03): Actas, Alicante, del 12 al 14 de noviembre de 2003 (Servicio de Publicaciones), pp. 183
-
CUPCAM 2003: I Concurso Universitario de Programación de la Comunidad Autónoma de Madrid
Novática: Revista de la Asociación de Técnicos de Informática, Núm. 165, pp. 75
-
Combinatorics and topology of real line arrangements''
Pre-publicaciones del Seminario Matemático " García de Galdeano "
-
Comparing Parallel Functional Languages: Programming and Performance
Higher-Order and Symbolic Computation, Vol. 16, Núm. 3, pp. 203-251
-
Construction of a development environment for GPMs based on OO analysis patterns
Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)
-
Continuation semantics for parallel Haskell dialects
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 2895, pp. 303-321
-
Defining meta-adaptable living agents
Proceedings - 2nd IEEE International Conference on Cognitive Informatics, ICCI 2003
-
Equational abstractions
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Failure and equality in functional logic programming
Electronic Notes in Theoretical Computer Science