Sistemas Informáticos y Computación

2004

1. A conference reviewing system in mobile maude

   Electronic Notes in Theoretical Computer Science

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

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

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

4. A generic persistence model for (C)LP systems (and two useful implementations)

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

5. A lazy narrowing calculus for declarative constraint programming

   Proceedings of the Sixth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, PPDP'04

6. A logic programming approach to the verification of functional-logic programs

   Proceedings of the Sixth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, PPDP'04

7. A parallel language for cognitive informatics

   Proceedings of the Third IEEE International Conference on Cognitive Informatics, ICCI 2004

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

9. A tutoring system supporting experimentation with virtual macroeconomic environments

   Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

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

11. Abstraction of parallel uniform processes with data

    Proceedings of the Second International Conference on Software Engineering and Formal Methods. SEFM 2004

12. Ambient Petri nets

    Actas de las XII Jornadas de Concurrencia y Sistemas Distribuidos: Las Navas del Marqués (Ávila), 9 al 11 de junio de 2004 (Dykinson), pp. 229-248

13. An enhanced statistical module for teleoperation through the internet

    Robotics: Trends, Principles, and Applications - Proceedings of the Sixth Biannual World Automation Congress, WAC

14. An executable specification of asynchronous Pi-calculus semantics and may testing in Maude 2.0

    Electronic Notes in Theoretical Computer Science

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

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

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

17. Análisis de una plataforma de teleformación desde la perspectiva de un docente de la Facultad de Informática

    En apoyo del aprendizaje en la universidad : hacia el espacio europeo de educación superior

18. Applying Occam's razor to FSMs

    Proceedings of the Third IEEE International Conference on Cognitive Informatics, ICCI 2004

19. Basic strategies to enhance teleoperation platforms through the internet

    ICEIS 2004 - Proceedings of the Sixth International Conference on Enterprise Information Systems

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