Publicaciones en las que colabora con Angel Luis Rubio García (10)

2023

  1. Evaluación y mejora del Kit en Tecnologías Informáticas

    Evaluación y mejora del Kit en Tecnologías Informáticas

  2. Virtue Ethics and software development: debates and proposals

    2023 Forum on Philosophy, Engineering &Technology (fPET 2023). Abstracts book

2022

  1. Curso 0 en Tecnologías Informáticas

    Curso 0 en Tecnologías Informáticas

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

  4. Prácticas Externas: su coordinación y su relación con las diferentes asignaturas del Grado en Ingeniería Informática

    Prácticas Externas: su coordinación y su relación con las diferentes asignaturas del Grado en Ingeniería Informática

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