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

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

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

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

   Electronic Notes in Theoretical Computer Science

8. Algorithmic debugging of SQL views

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

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

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

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

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

    Procedia Computer Science

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

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

14. Automatic inference of resource consumption bounds

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

15. COSTABS: A cost and termination analyzer for ABS

    Conference Record of the Annual ACM Symposium on Principles of Programming Languages

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

17. Compact Representation of Biological Sequences Using Set Decision Diagrams

    6TH INTERNATIONAL CONFERENCE ON PRACTICAL APPLICATIONS OF COMPUTATIONAL BIOLOGY & BIOINFORMATICS

18. Compact representation of biological sequences using set decision diagrams

    Advances in Intelligent and Soft Computing

19. Cost analysis of object-oriented bytecode programs

    Theoretical Computer Science

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