Département
Sistemas Informáticos y Computación
Publications (73) Publications auxquelles un chercheur a participé
2006
-
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
-
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)
-
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
-
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
-
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)
-
A tool for interactive learning of data structures and algorithms
8th International Symposium on Computers in Education Proceedings, SIIE 2006
-
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
-
Abstract interpretation with specialized definitions
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Accelerated modal abstractions of labelled transition systems
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
An incremental approach to abstraction-carrying code
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Analyzing the Privacy of a Vickrey Auction Mechanism
International Journal of E-Business Research (IJEBR), Vol. 2, Núm. 3, pp. 17-27
-
Analyzing the influence of mixed evaluation on the performance of Eden skeletons
Parallel Computing, Vol. 32, Núm. 7-8, pp. 523-538
-
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
-
ArgoSPE: Model-based software performance engineering
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Assessing the expressivity of formal specification languages
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
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)
-
Compiladores E Interpretes: Teoria Y Practica
Pearson Educación
-
Conformance testing relations for timed systems
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Constructive failure in functional-logic programming: From theory to implementation
Journal of Universal Computer Science
-
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