Departamento
Sistemas Informáticos y Computación
Publicacións (107) Publicacións nas que participase algún/ha investigador/a
2012
-
A centralized and a decentralized method to automatically derive choreography-conforming web service systems
Journal of Logic and Algebraic Programming
-
A concurrent operational semantics for constraint functional logic programming
Leibniz International Proceedings in Informatics, LIPIcs
-
A declarative embedding of XQuery in a functional-logic language
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
A formal framework to test soft and hard deadlines in timed systems
Software Testing Verification and Reliability, Vol. 22, Núm. 8, pp. 583-608
-
A graph grammar-based dynamic reconfiguration for virtualized web service-based composite architectures
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
A locally nameless representation for a natural semantics for lazy evaluation
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
A software testing tool for the verification of abstract data type implementations from formal algebraic specifications
Proceedings - 2012 25th IEEE Conference on Software Engineering Education and Training, CSEE and T 2012
-
A systematic approach to the implementation of attribute grammars with conventional compiler construction tools
Computer Science and Information Systems, Vol. 9, Núm. 3, pp. 983-1017
-
A tool for testing data type implementations from Maude algebraic specifications
Electronic Notes in Theoretical Computer Science
-
Alan Turing: una aproximación personal a su obra
Gaceta de la Real Sociedad Matematica Española, Vol. 15, Núm. 4, pp. 675-696
-
Algorithmic debugging of SQL views
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Algorithmic strategies for optimizing the parallel reduction primitive in CUDA
Proceedings of the 2012 International Conference on High Performance Computing and Simulation, HPCS 2012
-
Algoritmos correctos y eficientes: diseño razonado ilustrado con ejercicios
Ibergarceta
-
An adaptive, scalable, and portable technique for speeding up MPI-based applications
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
An innovative teaching tool for the verification of abstract data type implementations from formal algebraic specifications
Procedia Computer Science
-
Analysis of may-happen-in-parallel in concurrent objects
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Architecture of a multiplatform virtual campus
Software - Practice and Experience, Vol. 42, Núm. 10, pp. 1229-1246
-
Automated extraction of abstract behavioural models from JMS applications
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Automatic inference of resource consumption bounds
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Building XML-driven application generators with compiler construction tools
Computer Science and Information Systems, Vol. 9, Núm. 2, pp. 485-504