Publicacions (15) Publicacions en què ha participat algun/a investigador/a

1997

  1. A propósito de Huffman

    Novática: Revista de la Asociación de Técnicos de Informática, Núm. 130, pp. 13

  2. A sound and complete proof system for probabilistic processes

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

  3. Constraint logic programming with hereditary Harrop formulas

    LOGIC PROGRAMMING - PROCEEDINGS OF THE 1997 INTERNATIONAL SYMPOSIUM

  4. Denotational semantics for timed testing

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

  5. Desarrollo de algoritmos y técnicas de programación en Pascal

    Madrid : RA-MA, D.L. 1997

  6. Diseño de programas: formalismo y abstracción

    Madrid [etc. : Prentice Hall, D.L. 1997

  7. Eden coordination model for distributed memory systems

    Proceedings of the International Workshop on High-Level Programming Models and Supportive Environments, HIPS

  8. Introducing friendly testing

    V Jornadas de Concurrencia: actas de las Quintas Jornadas de Concurrencia. Vigo, junio de 1997

  9. Paramodulation with built-in AC-theories and symbolic constraints

    Journal of Symbolic Computation, Vol. 23, Núm. 1, pp. 1-21

  10. Testing semantics for a probabilistic-timed process algebra

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

  11. Testing semantics for unbounded nondeterminism

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

  12. The Eden coordination model for distributed memory systems

    SECOND INTERNATIONAL WORKSHOP ON HIGH-LEVEL PARALLEL PROGRAMMING MODELS AND SUPPORTIVE ENVIRONMENTS, PROCEEDINGS

  13. The locker metaphor to teach dynamic memory

    SIGCSE Bulletin (Association for Computing Machinery, Special Interest Group on Computer Science Education), Vol. 29, Núm. 1, pp. 169-173

  14. Un enfoque basado en conocimiento para la reutilización de frameworks

    CAEPIA'97: actas

  15. Verification and refinement of distributed programs in a fair framework

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