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

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. Evasiveness Through Binary Decision Diagrams

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

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

2010

  1. Generating certified code from Formal Proofs: a case study in Homological Algebra

    Formal Aspects of Computing, Vol. 22, Núm. 2, pp. 193-213

2008

  1. A mechanized proof of the Basic Perturbation Lemma

    Journal of Automated Reasoning, Vol. 40, Núm. 4, pp. 271-292

2005

  1. Extracting Computer Algebra programs from statements

    Lecture Notes in Computer Science, Vol. 3643 LNCS, pp. 159-168

2004

  1. Four approaches to automated reasoning with differential algebraic structures

    Lecture Notes in Computer Science, Vol. 3249, pp. 222-235

2003

  1. Towards a higher reasoning level in Formalized Homological Algebra

    Calculemus 2003 (ARACNE EDITRICE), pp. 84-88

2002

  1. Mechanizing proofs in Homological Algebra

    SEKI Report - Universität des Saarlandes, Vol. SR - 02 - 06, pp. 13-18

  2. Towards an automated proof of the Basic Perturbation Lemma

    Actas del EACA-2002: Octavo Encuentro de Álgebra Computacional y Aplicaciones, Peñaranda de Duero, 11-13 septiembre de 2002

  3. Towards an automated proof of the Basic Perturbation Lemma (Abstract)

    Communications in Computer Algebra (SIGSAM Bulletin), pp. 218-218

2001

  1. Implementación orientada a objetos de estructuras algebraicas: estudio de un caso en Java y C++

    EACA 2001 : 7 Encuentro de álgebra computacional y aplicaciones: del 12 al 14 de septiembre de 2001, Ezcaray, La Rioja

  2. Object Oriented implementation of algebraic structures in Java and C++ (Abstract)

    TQ, Revista electrónica de Cálculo Simbólico y Aplicaciones

  3. Object Oriented implementation of algebraic structures: a case study in Java and C++ (Abstract)

    Communications in Computer Algebra (SIGSAM Bulletin), pp. 37-37