Saila
Sistemas Informáticos y Computación
Argitalpenak (18) Ikertzaileren baten partaidetza izan duten argitalpenak
2006
-
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
-
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
-
Cuadrados (CUPCAM 2005, problema fase local UCM, enunciado)
Novática: Revista de la Asociación de Técnicos de Informática, Núm. 182, pp. 74
-
Cuadrados (CUPCAM 2005, problema fase local UCM, solución)
Novática: Revista de la Asociación de Técnicos de Informática, Núm. 183, pp. 75-76
-
Defining and testing metaadaptable agents
IEEE Transactions on Systems, Man and Cybernetics Part C: Applications and Reviews, Vol. 36, Núm. 2, pp. 182-195
-
Estrellas diabólicas (CUPCAM 2005, problema F, enunciado)
Novática: Revista de la Asociación de Técnicos de Informática, Núm. 179, pp. 73
-
Executable structural operational semantics in Maude
Journal of Logic and Algebraic Programming, Vol. 67, Núm. 1-2, pp. 226-293
-
From Theoretical e-barter Models to an Implementation Based on Web Services
Electronic Notes in Theoretical Computer Science, Vol. 159, Núm. 1, pp. 241-264
-
Look-and-say biochemistry: Exponential RNA and multistranded DNA
American Mathematical Monthly, Vol. 113, Núm. 4, pp. 289-307
-
Programas equivalentes (CUPCAM 2005, problema F, solución)
Novática: Revista de la Asociación de Técnicos de Informática, Núm. 180, pp. 74
-
Reductions in binary search trees
Theoretical Computer Science, Vol. 355, Núm. 3, pp. 327-353
-
Spain's new yesa dam
International Journal on Hydropower and Dams, Vol. 13, Núm. 3, pp. 64-67
-
Specification, testing and implementation relations for symbolic-probabilistic systems
Theoretical Computer Science, Vol. 353, Núm. 1-3, pp. 228-248
-
Symbolic approximation: An approach to verification in the large
Innovations in Systems and Software Engineering, Vol. 2, Núm. 3-4, pp. 147-163
-
Usando la Wikipedia como motivación en el proceso de aprendizaje.
RELATEC: Revista Latinoamericana de Tecnología Educativa, Vol. 5, Núm. 2, pp. 433-442