Sistemas Informáticos y Computación

2012

1. A centralized and a decentralized method to automatically derive choreography-conforming web service systems

   Journal of Logic and Algebraic Programming

2. A concurrent operational semantics for constraint functional logic programming

   Leibniz International Proceedings in Informatics, LIPIcs

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

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

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

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

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

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

9. A tool for testing data type implementations from Maude algebraic specifications

   Electronic Notes in Theoretical Computer Science

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

11. Algorithmic debugging of SQL views

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

12. Algorithmic strategies for optimizing the parallel reduction primitive in CUDA

    Proceedings of the 2012 International Conference on High Performance Computing and Simulation, HPCS 2012

13. Algoritmos correctos y eficientes: diseño razonado ilustrado con ejercicios

    Ibergarceta

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

15. An innovative teaching tool for the verification of abstract data type implementations from formal algebraic specifications

    Procedia Computer Science

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

17. Architecture of a multiplatform virtual campus

    Software - Practice and Experience, Vol. 42, Núm. 10, pp. 1229-1246

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

19. Automatic inference of resource consumption bounds

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

20. Building XML-driven application generators with compiler construction tools

    Computer Science and Information Systems, Vol. 9, Núm. 2, pp. 485-504