Publicaciones (18) Publicaciones en las que ha participado algún/a investigador/a

2006

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

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

  3. Analyzing the Privacy of a Vickrey Auction Mechanism

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

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

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

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

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

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

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

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

  10. Executable structural operational semantics in Maude

    Journal of Logic and Algebraic Programming, Vol. 67, Núm. 1-2, pp. 226-293

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

  12. Look-and-say biochemistry: Exponential RNA and multistranded DNA

    American Mathematical Monthly, Vol. 113, Núm. 4, pp. 289-307

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

  14. Reductions in binary search trees

    Theoretical Computer Science, Vol. 355, Núm. 3, pp. 327-353

  15. Spain's new yesa dam

    International Journal on Hydropower and Dams, Vol. 13, Núm. 3, pp. 64-67

  16. Specification, testing and implementation relations for symbolic-probabilistic systems

    Theoretical Computer Science, Vol. 353, Núm. 1-3, pp. 228-248

  17. Symbolic approximation: An approach to verification in the large

    Innovations in Systems and Software Engineering, Vol. 2, Núm. 3-4, pp. 147-163

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