Publicaciones en las que colabora con Laureano Lambán Pardo (6)

2014

  1. Informática para las Matemáticas, Matemáticas para la Informática, Informática Aplicada

    Zubía, Núm. 26, pp. 19-37

  2. Obtaining an ACL2 specification from an Isabelle/HOL theory

    Lecture Notes in Computer Science, Vol. 8884, pp. 49-63

  3. Obtaining an ACL2 sprecification from an Isabelle/HOL theory

    Lecture Notes in Artificial Intelligence. Proceedings of AISC 2014 (Springer), pp. 49-63

2013

  1. Uso de redes sociales en dirección de Trabajos Fin de Grado del Grado en Informática

    Uso de redes sociales en dirección de Trabajos Fin de Grado del Grado en Informática

2012

  1. Diseño de un ejemplo interdisciplinar para las asignaturas de últimos cursos de la titulación "Grado en Informática"

    Diseño de un ejemplo interdisciplinar para las asignaturas de últimos cursos de la titulación "Grado en Informática"

1995

  1. Diagramas de Voronoi y Topología Digital

    VI Encuentros de Geometría Computacional: Barcelona, 5-6-7 de julio de 1995. Departament de Matemàtica Aplicada II, Universitat Politècnica de Catalunya. Actas