Publicaciones (40) Publicaciones en las que ha participado algún/a investigador/a

2003

  1. A Demand-Driven Narrowing Calculus with Overlapping Definitional Trees

    Proceedings of the ACM SIGPLAN Conference on Principles and Practice of Declarative Programming

  2. A framework for selecting components automatically: A first approach

    Electronic Notes in Theoretical Computer Science

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

  4. A multi-agent system for e-barter including transaction and shipping costs

    Proceedings of the ACM Symposium on Applied Computing

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

  6. A residualizing semantics for the partial evaluation of functional logic programs

    Information Processing Letters, Vol. 85, Núm. 1, pp. 19-25

  7. Algebraic theory of probabilistic processes

    Journal of Logic and Algebraic Programming, Vol. 56, Núm. 1-2 SPEC., pp. 117-177

  8. Ambient Petri nets

    Electronic Notes in Theoretical Computer Science

  9. Análisis de Modelos de Negocio de Distribución Comercial

    Investigación y marketing, Núm. 79, pp. 28-33

  10. Automated requirements-based generation of test cases for product families

    Proceedings - 18th IEEE International Conference on Automated Software Engineering, ASE 2003

  11. Braid monodromy and topology of plane curves

    Duke Mathematical Journal, Vol. 118, Núm. 2, pp. 261-278

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

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

  14. Combinatorics and topology of real line arrangements''

    Pre-publicaciones del Seminario Matemático " García de Galdeano "

  15. Comparing Parallel Functional Languages: Programming and Performance

    Higher-Order and Symbolic Computation, Vol. 16, Núm. 3, pp. 203-251

  16. Construction of a development environment for GPMs based on OO analysis patterns

    Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

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

  18. Defining meta-adaptable living agents

    Proceedings - 2nd IEEE International Conference on Cognitive Informatics, ICCI 2003

  19. Equational abstractions

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

  20. Failure and equality in functional logic programming

    Electronic Notes in Theoretical Computer Science