Sistemas Informáticos y Computación

2004

1. A formal framework for analyzing reusability complexity in component-based systems

   Information and Software Technology, Vol. 46, Núm. 12, pp. 791-804

2. A generic framework for context-sensitive analysis of modular programs

   Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 3049, pp. 233-260

3. A proof theoretic approach to failure in functional logic programming

   Theory and Practice of Logic Programming, Vol. 4, Núm. 1-2, pp. 41-74

4. Abstract interpretation-based mobile code certification

   Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 3132, pp. 446-447

5. An integrated framework for the performance analysis of asynchronous communicating stochastic processes

   Formal Aspects of Computing, Vol. 16, Núm. 3, pp. 238-262

6. An overview of probabilistic process algebras and their equivalences

   Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 2925, pp. 89-123

7. Building an interface between eden and maple: A way of parallelizing computer algebra algorithms

   Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 3145, pp. 135-151

8. Correctness of Non-determinism Analyses in a Parallel-Functional Language

   Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 3145, pp. 69-85

9. DDT: A declarative debugging tool for functional-logic languages

   Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 2998, pp. 70-84

10. Formal specification of symbolic-probabilistic systems

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 3236, pp. 114-127

11. Formalizing and proving semantic relations between specifications by reflection

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 3116, pp. 72-86

12. Modal abstractions in μCRL

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 3116, pp. 409-425

13. Modelización de timetabling mediante el lenguaje toy con restricciones sobre dominios finitos

    Revista de estudios económicos y empresariales, Núm. 16, pp. 131-145

14. Predicting performance in the presence of stochastic information

    Computer Systems Science and Engineering, Vol. 19, Núm. 6, pp. 347-353

15. Some techniques for automated, resource-aware distributed and mobile computing in a multi-paradigm programming system

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 3149, pp. 21-36

16. Specification of autonomous agents in E-commerce systems

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 3236, pp. 30-43

17. Subcadenas en la secuencia "mira y dí" (CUCAM 2003, problema C, enunciado)

    Novática: Revista de la Asociación de Técnicos de Informática, Núm. 167, pp. 73

18. Subcadenas en la secuencia "mira-y-dí" (CUPCAM 2003, problema C, solución)

    Novática: Revista de la Asociación de Técnicos de Informática, Núm. 168, pp. 72

19. Testing of autonomous agents described as utility state machines

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 3236, pp. 322-336

20. Using UML Sequence diagrams as the basis for a formal test description language

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 2999, pp. 481-500