Sistemas Informáticos y Computación

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

4. A christiansen grammar for universal splicing systems

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

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

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

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

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

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

9. A fully abstract semantics for constructor systems

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

10. A general testability theory

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

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

    Conference Proceedings of the EUROMICRO

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

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

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

15. A model-driven adaptive approach for collaborative ubiquitous systems

    Proc. 3rd Workshop on Agent-Oriented Software Engineering Challenges for Ubiquitous and Pervasive Computing, AUPC 09, Co-located with the ACM International Conference on Pervasive Service, ICPS 2009

16. A novel formalism to represent collective intelligence in multi-agent systems

    Studies in Computational Intelligence

17. A statistical approach to test stochastic and probabilistic systems

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

18. A tool for automatic code generation from schemas

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

19. Advances in type systems for functional-logic programming

    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

20. Advantages of mutation in passive testing: An empirical study

    IEEE International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2009