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

2009

  1. (Bi)simulations up-to characterise process semantics

    Information and Computation

  2. A Decentralized Model for Self-managed Web Services Applications

    International symposium on distributed computing and artificial intelligence 2008

  3. A Declarative Debugger for Maude Functional Modules

    Electronic Notes in Theoretical Computer Science, Vol. 238, Núm. 3, pp. 63-81

  4. A Logical Framework for Debugging in Declarative Constraint Programming

    Electronic Notes in Theoretical Computer Science, Vol. 256, pp. 119-135

  5. A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation

    Electronic Notes in Theoretical Computer Science, Vol. 246, pp. 167-182

  6. A Rewriting Semantics for Maude Strategies

    Electronic Notes in Theoretical Computer Science, Vol. 238, Núm. 3, pp. 227-247

  7. A brief history of A-MOST Special Issue containing selected papers from A-MOST 2008

    Journal of Logic and Algebraic Programming

  8. A certified implementation on top of the java virtual machine

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

  9. A christiansen grammar for universal splicing systems

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

  10. A debugging system based on natural semantics

    Journal of Universal Computer Science, Vol. 15, Núm. 14, pp. 2836-2880

  11. A declarative encoding of telecommunications feature subscription in SAT

    PPDP'09 - Proceedings of the 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming

  12. A flexible framework for programming with non-deterministic functions

    Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation, PEPM'09

  13. A formal approach to heuristically test restorable systems

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

  14. A fully abstract semantics for constructor systems

    Programación y lenguajes: IX Jornadas sobre Programación y Lenguajes, PROLE'09, I Taller de Programación Funcional, TPF'09, San Sebastián, España, del 8 al 11 de septiembre de 2009

  15. A fully abstract semantics for constructor systems

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

  16. A general testability theory

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

  17. A generative approach to the construction of application-specific XML processing components

    Conference Proceedings of the EUROMICRO

  18. A hierarchical methodology to specify and simulate complex computational systems

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

  19. A higher-order logical framework for the algorithmic debugging and verification of declarative programs

    PPDP'09 - Proceedings of the 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming

  20. A model-based multi-level architectural reconfiguration applied to adaptability management in context-aware cooperative communication support systems

    2009 Joint Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture, WICSA/ECSA 2009