Sistemas Informáticos y Computación

2002

1. A declarative debugging system for lazy functional logic programs

   Electronic Notes in Theoretical Computer Science

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

3. A polynomial-cost non-determinism analysis

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

4. AI analysis patterns as UML meta-model constructs

   ACM International Conference Proceeding Series

5. An operational semantics for declarative multi-paradigm languages

   Electronic Notes in Theoretical Computer Science

6. An operational semantics for the parallel language Eden

   Parallel Processing Letters

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

   Proceedings of the ACM Symposium on Applied Computing

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

   Proceedings of the American Mathematical Society

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

10. Combining norms to prove termination

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

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

    Electronic Notes in Theoretical Computer Science

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

13. Declarative debugging for encapsulated search

    Electronic Notes in Theoretical Computer Science

14. Deriving non-hierarchical process topologies

    TRENDS IN FUNCTIONAL PROGRAMMING 3

15. Electronic books for programming education: A review and future prospects

    Proceedings of the Annual SIGCSE Conference on Innovation and Technology in Computer Science Education (ITiSCE)

16. Encoding pamr into (Timed) efsms

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

17. Ergotracer: An internet user behaviour tracer

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

18. Formal specification of JavaSpaces™ architecture using μCRL

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

19. Including malicious agents into a collaborative learning environment

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

20. Introducing the golden section to computer science

    Proceedings - 1st IEEE International Conference on Cognitive Informatics, ICCI 2002