Publicaciones en las que colabora con Julio Rubio García (18)

2024

  1. A topological approach for semi-supervised learning

    Journal of Computational Science, Vol. 82

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. Improving Accessibility in PublicWeb Pages

    CEUR Workshop Proceedings

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. A certified reduction strategy for homological image processing

    ACM Transactions on Computational Logic, Vol. 15, Núm. 3, pp. 23

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

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

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

2011

  1. Effective homology of bicomplexes, formalized in Coq

    Theoretical Computer Science, Vol. 412, Núm. 11, pp. 962-970

2010

  1. Computing in Coq with infinite algebraic data structures

    Proceedings CICM 2010, pp. 204-218

2007

  1. Object Oriented Institutions to Specify Symbolic Computation System

    RAIRO - Informatique Théorique et Applications, Vol. 41, Núm. 2, pp. 191-214

2006

  1. Modeling Inheritance as coercion in the Kenzo System.

    Journal of Universal Computer Science, Vol. 12, Núm. 12, pp. 1701-1730

  2. Towards Diagrammatic Specifications of Symbolic Computation Systems

    Dagstuhl Seminar Proceedings

2005

  1. Towards Diagrammatic Specifications of Symbolic Computation Systems.

    Dagstuhl Seminar Proceedings

2001

  1. Dealing with inheritance in a symbolic computation system (Abstract)

    ACM SIGSAM Bulletin, Vol. 35, Núm. 4, pp. 16-16

  2. Hidden Specification of a Functional System

    Lecture Notes in Computer Science, Vol. 2178 LNCS, pp. 555-569

  3. Modeling inheritance as coercion in a symbolic computation system

    Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC (ACM Press), pp. 109-115