Departamento
Sistemas Informáticos y Computación
Achegas congreso (81) Publicacións nas que participase algún/ha investigador/a
2009
-
(Bi)simulations up-to characterise process semantics
Information and Computation
-
A Decentralized Model for Self-managed Web Services Applications
International symposium on distributed computing and artificial intelligence 2008
-
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)
-
A christiansen grammar for universal splicing systems
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
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
-
A flexible framework for programming with non-deterministic functions
Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation, PEPM'09
-
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)
-
A fully abstract semantics for constructor systems
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
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
-
A general testability theory
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
A generative approach to the construction of application-specific XML processing components
Conference Proceedings of the EUROMICRO
-
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)
-
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
-
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
-
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
-
A novel formalism to represent collective intelligence in multi-agent systems
Studies in Computational Intelligence
-
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)
-
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)
-
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
-
Advantages of mutation in passive testing: An empirical study
IEEE International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2009