Sistemas Informáticos y Computación

2002

1. A Maude specification of an object-oriented model for telecommunication networks

   Theoretical Computer Science, Vol. 285, Núm. 2, pp. 407-439

2. A declarative debugging system for lazy functional logic programs

   Electronic Notes in Theoretical Computer Science

3. A formal framework for E-Barter based on microeconomic theory and process algebras

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

4. A fully syntactic AC-RPO

   Information and Computation, Vol. 178, Núm. 2, pp. 515-533

5. A polynomial-cost non-determinism analysis

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

6. A system to generate electronic books on programming exercises

   Electronic Library, Vol. 20, Núm. 4, pp. 314-321

7. AI analysis patterns as UML meta-model constructs

   ACM International Conference Proceeding Series

8. An operational semantics for declarative multi-paradigm languages

   Electronic Notes in Theoretical Computer Science

9. An operational semantics for the parallel language Eden

   Parallel Processing Letters

10. Approaches to comprehension-preserving graphical reduction of program visualizations

    Proceedings of the ACM Symposium on Applied Computing

11. Approximation theorems in o-minimal structures

    Illinois Journal of Mathematics, Vol. 46, Núm. 1, pp. 111-128

12. Bifurcation sets of definable functions in o-minimal structures

    Proceedings of the American Mathematical Society

13. Building tools for lotos symbolic semantics in maude

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

14. Combining norms to prove termination

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

15. Comparing Meseguer's rewriting logic with the logic CRWL

    Electronic Notes in Theoretical Computer Science

16. Complex systems in APL: Fractals, evolving cellular automata and artificial life

    Proceedings of the 2002 Conference on APL: Array Processing Languages: Lore, Problems, and Applications, APL-LPA 2002

17. Computing Curricula 2001

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

18. Declarative debugging for encapsulated search

    Electronic Notes in Theoretical Computer Science

19. Deriving non-hierarchical process topologies

    TRENDS IN FUNCTIONAL PROGRAMMING 3

20. Describing generic expertise models as object-oriented analysis patterns: The heuristic multi-attribute decision pattern

    Expert Systems, Vol. 19, Núm. 3, pp. 142-169