Publications by the researcher in collaboration with Julio Rubio García (31)

2023

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

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

2022

  1. Curso 0 en Tecnologías Informáticas

    Curso 0 en Tecnologías Informáticas

2015

  1. El punto de vista del alumno sobre los ECTS como herramienta para la coordinación del Grado en Ingeniería Informática

    El punto de vista del alumno sobre los ECTS como herramienta para la coordinación del Grado en Ingeniería Informática

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. A Certified Module to Study Digital Images with the Kenzo System

    Lecture Notes in Computer Science, Computer Aided Systems Theory &- EUROCAST 2011 (SPRINGER-VERLAG), pp. 113-120

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

2011

  1. A System for Computing and Reasoning in Algebraic Topology

    Lectures Notes in Computer Science: Intelligent Computer Mathematics 18th Symposium, Calculemus 2011, 10th International Conference, MKM 2011, Held as Part of CICM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings (SPRINGER-VERLAG), pp. 295-297

  2. Mathematical Knowledge Management in Algebraic Topology

    Communications in Computer Algebra (SIGSAM Bulletin), Vol. 45, Núm. 176, pp. 144-145

  3. Proving with ACL2 the Correctness of Simplicial Sets in the Kenzo System

    Lecture Notes in Computer Science, Vol. 6564 LNCS, pp. 37-51

  4. fKenzo: a user interface for computations in Algebraic Topology

    Journal of Symbolic Computation, Vol. 46, Núm. 6, pp. 685-698

  5. fKenzo: una interfaz de usuario para realizar cálculos en Topología Algebraica

    Gaceta de la Real Sociedad Matematica Española, Vol. 14, Núm. 2, pp. 297-308

2010

  1. Integrating multiple sources to answer questions in Algebraic Topology

    Lectures Notes in Computer Science: Intelligent Computer Mathematics10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings, pp. 331-335

2009

  1. Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems

    Lectures Notes in Computer Science: Intelligent Computer Mathematics16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings (SPRINGER-VERLAG), pp. 467-473

2008

  1. A Graphical User Interface for the Kenzo System, a Program to Compute in Algebraic Topology

    EACA 2008: XI Encuentro de Álgebra Computacional y Aplicaciones : Granada, del 10 al 12 de septiembre

  2. Mediated access to Symbolic Computation Systems

    Lecture Notes in Computer Science, Vol. 5144 LNAI, Núm. 5144, pp. 446-461

2005

  1. Remote access to a Symbolic Computation system for Algebraic Topology: a client-server approach

    Lecture Notes in Computer Science, Vol. 3516, Núm. III, pp. 635-642