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

2005

  1. A categorical approach to simulations

    Lecture Notes in Computer Science

  2. A declarative debugger of incorrect answers for constraint functional-logic programs - System demonstration

    WCFLP'05 - Proceedings of the ACM SIGPLAN 2005 Workshop on Curry an Functional Logic Programming

  3. A formal methodology to test complex embedded systems: Application to interactive driving system

    IFIP Advances in Information and Communication Technology, Vol. 184, pp. 125-136

  4. A formal methodology to test complex embedded systems: Application to interactive driving system

    From Specification to Embedded Systems Application

  5. A generic framework for the analysis and specialization of logic programs

    Proceedings of the 15th Workshop on Logic-based methods in Programming Environments, WLPE 2005

  6. A generic framework for the analysis and specialization of logic programs

    Lecture Notes in Computer Science

  7. A genetic algorithm for solving the p-median problem

    2005 European Simulation and Modelling Conference, ESM 2005 - Proceedings

  8. A passive testing approach based on invariants: Application to the WAP

    Computer Networks, Vol. 48, Núm. 2, pp. 247-266

  9. A software performance engineering tool based on the UML-SPT

    QEST 2005 - Proceedings Second International Conference on the Quantitative Evaluation of SysTems

  10. A state space distribution policy based on abstract interpretation

    Electronic Notes in Theoretical Computer Science

  11. A tutorial on specifying data structures in Maude

    Electronic Notes in Theoretical Computer Science

  12. A verification logic for rewriting logic

    Journal of Logic and Computation, Vol. 15, Núm. 3, pp. 317-352

  13. Abstraction carrying code and resource-awareness

    PPDP'05 - Proceedings of the Seventh ACM SIGPLAN Conference on Principles and Practice of Declarative Programming

  14. Abstraction-carrying code

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

  15. An Abstract Interpretation-based Approach to Mobile Code Safety

    Electronic Notes in Theoretical Computer Science

  16. Attribute grammar evolution

    Lecture Notes in Computer Science

  17. Base de datos hidrogeológicos AGUAS XXI y la aplicación GESDAGUAS del Instituto Geológico y Minero de España.: Análisis delos datos de Andalucía

    VI Simposio del Agua en Andalucía: 1 a 3 de junio, 2005 Sevilla

  18. Bisimulations up-to for the linear time branching time spectrum

    Lecture Notes in Computer Science

  19. Christiansen Grammar For SOme P Systems

    Third Brainstorming Week on Membrane Computing

  20. Conocimiento lingüístico para la web semántica: los nombres de persona en el dominio del cine

    Perspectivas interdisciplinares de la lingüística aplicada