Sistemas Informáticos y Computación

2006

1. A formal framework to reduce communications in communication systems

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

2. A logic for assessing sets of heterogeneous testing hypotheses

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

3. A tool for interactive learning of data structures and algorithms

   8th International Symposium on Computers in Education Proceedings, SIIE 2006

4. Abstract interpretation with specialized definitions

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

5. Accelerated modal abstractions of labelled transition systems

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

6. An incremental approach to abstraction-carrying code

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

7. ArgoSPE: Model-based software performance engineering

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

8. Assessing the expressivity of formal specification languages

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

9. Checking for deadlock, double-free and other abuses in the Linux kernel source code

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

10. Conformance testing relations for timed systems

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

11. Constructive failure in functional-logic programming: From theory to implementation

    Journal of Universal Computer Science

12. Contenido, forma y función en textos del dominio del cine: la reseña y la crítica cinematográficas

    Lingüística aplicada en la sociedad de la información y la comunicación

13. Context-sensitive multivariant assertion checking in modular programs

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

14. Converting one type-based abstract domain to another

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

15. Customized testing for probabilistic systems

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

16. Declarative diagnosis of wrong answers in constraint functional-logic programming

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

17. Derivation of a suitable finite test suite for customized probabilistic systems

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

18. Detecting deadlock, double-free and other abuses in a million lines of Linux kernel source

    Proceedings of the 30th Annual IEEE/NASA Software Engineering Workshop, SEW-30

19. Detecting deadlock, double-free and other abuses in a million lines of linux kernel source

    30TH ANNUAL IEEE/NASA SOFTWARE ENGINEERING WORKSHOP, PROCEEDINGS

20. Detecting determinacy in prolog programs

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