Departamento
Sistemas Informáticos y Computación
Aportaciones congreso (75) Publicaciones en las que ha participado algún/a 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 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 tool for testing data type implementations from Maude algebraic specifications
Electronic Notes in Theoretical Computer Science
-
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
-
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)
-
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)
-
COSTABS: A cost and termination analyzer for ABS
Conference Record of the Annual ACM Symposium on Principles of Programming Languages
-
Caractérisation de la reconfiguration dynamique des architectures logicielles par les grammaires de graphe
6eme Edition de la Conference Francophone sur les Architectures Logicielles, CAL 2012
-
Compact Representation of Biological Sequences Using Set Decision Diagrams
6TH INTERNATIONAL CONFERENCE ON PRACTICAL APPLICATIONS OF COMPUTATIONAL BIOLOGY & BIOINFORMATICS
-
Compact representation of biological sequences using set decision diagrams
Advances in Intelligent and Soft Computing
-
Cost analysis of object-oriented bytecode programs
Theoretical Computer Science
-
Cost soundness for priced resource-constrained workflow nets
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)