Sistemas Informáticos y Computación

2006

1. A Formal Framework to Reduce Communications in Communication Systems

   Innovative Internet Community Systems. 4th InternationalWorkshop, IICS 2004 Guadalajara, Mexico, June 21-23, 2004. Revised Papers (Verlag Berlin Heidelberg: SpringeR, 2006), pp. 69-80

2. A formal framework to reduce communications in communication systems

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

3. A la caza del tesoro (CUPCAM 2005, problema G, enunciado)

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

4. A la caza del tesoro (CUPCAM 2005, problema G, solución)

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

5. A logic for assessing sets of heterogeneous testing hypotheses

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

6. A tool for interactive learning of data structures and algorithms

   8th International Symposium on Computers in Education: proceedings : october 24-26th, León, Spain (Universidad de León), pp. 141-148

7. A tool for interactive learning of data structures and algorithms

   8th International Symposium on Computers in Education Proceedings, SIIE 2006

8. Abstract interpretation with specialized definitions

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

9. Accelerated modal abstractions of labelled transition systems

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

10. An incremental approach to abstraction-carrying code

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

11. Analyzing the Privacy of a Vickrey Auction Mechanism

    International Journal of E-Business Research (IJEBR), Vol. 2, Núm. 3, pp. 17-27

12. Analyzing the influence of mixed evaluation on the performance of Eden skeletons

    Parallel Computing, Vol. 32, Núm. 7-8, pp. 523-538

13. Anonymous Payment in a Kiosk Centric Model using Digital signature scheme with message recovery and Low Computational Power Devices

    Journal of Theoretical and Applied Electronic Commerce Research, Vol. 1, Núm. 2, pp. 1-11

14. ArgoSPE: Model-based software performance engineering

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

15. Assessing the expressivity of formal specification languages

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

16. Checking for deadlock, double-free and other abuses in the Linux kernel source code

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

17. Compiladores E Interpretes: Teoria Y Practica

    Pearson Educación

18. Conformance testing relations for timed systems

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

19. Constructive failure in functional-logic programming: From theory to implementation

    Journal of Universal Computer Science

20. Contenido, forma y función en textos del dominio del cine: la reseña y la crítica cinematográficas

    Lingüística aplicada en la sociedad de la información y la comunicación