Sistemas Informáticos y Computación

2003

1. A parallel framework for computational science

   Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 2658, pp. 1002-1011

2. A residualizing semantics for the partial evaluation of functional logic programs

   Information Processing Letters, Vol. 85, Núm. 1, pp. 19-25

3. Algebraic theory of probabilistic processes

   Journal of Logic and Algebraic Programming, Vol. 56, Núm. 1-2 SPEC., pp. 117-177

4. Análisis de Modelos de Negocio de Distribución Comercial

   Investigación y marketing, Núm. 79, pp. 28-33

5. Braid monodromy and topology of plane curves

   Duke Mathematical Journal, Vol. 118, Núm. 2, pp. 261-278

6. CUPCAM 2003: I Concurso Universitario de Programación de la Comunidad Autónoma de Madrid

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

7. Comparing Parallel Functional Languages: Programming and Performance

   Higher-Order and Symbolic Computation, Vol. 16, Núm. 3, pp. 203-251

8. Continuation semantics for parallel Haskell dialects

   Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 2895, pp. 303-321

9. Fast testing of critical properties through passive testing

   Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 2644, pp. 295-310

10. Goal-independent suspension analysis for logic programs with dynamic scheduling

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

11. Introducing CEES: Complex economic environments simulator

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 2658, pp. 658-667

12. OntoTag: modelo de anotación híbrida para la web semántica

    Inteligencia artificial: Revista Iberoamericana de Inteligencia Artificial, Vol. 7, Núm. 18, pp. 27-50

13. Paramodulation and Knuth-Bendix completion with nontotal and nonmonotonic orderings

    Journal of Automated Reasoning, Vol. 30, Núm. 1, pp. 99-120

14. Programación lineal y entera con OPL para la nueva empresa

    Revista de estudios económicos y empresariales, Núm. 15, pp. 9-32

15. Reconstrucción de árboles inclinados a partir de dos de sus recorridos (CUCAM 2003, problema B)

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

16. Replicated ambient petri nets

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 2658, pp. 774-783

17. Solución del problema A (CUCAM 2003): ¿Dónde está mi interrupción?

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

18. TestNet: Let's test together!

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 2644, pp. 258-264

19. Towards testing stochastic timed systems

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 2767, pp. 335-350