Jesús María
Aransay Azofra
PROFESOR CONTRATADO DOCTOR -TIPO 1
Julio
Rubio García
CATEDRÁTICO DE UNIVERSIDAD
Publications dans lesquelles il/elle collabore avec Julio Rubio García (20)
2023
-
Evaluación y mejora del Kit en Tecnologías Informáticas
Evaluación y mejora del Kit en Tecnologías Informáticas
-
Evasiveness Through Binary Decision Diagrams
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2022
-
Curso 0 en Tecnologías Informáticas
Curso 0 en Tecnologías Informáticas
2015
-
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
-
Informática para las Matemáticas, Matemáticas para la Informática, Informática Aplicada
Zubía, Núm. 26, pp. 19-37
-
Obtaining an ACL2 specification from an Isabelle/HOL theory
Lecture Notes in Computer Science, Vol. 8884, pp. 49-63
-
Obtaining an ACL2 sprecification from an Isabelle/HOL theory
Lecture Notes in Artificial Intelligence. Proceedings of AISC 2014 (Springer), pp. 49-63
-
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
-
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
-
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
-
A mechanized proof of the Basic Perturbation Lemma
Journal of Automated Reasoning, Vol. 40, Núm. 4, pp. 271-292
2005
-
Extracting Computer Algebra programs from statements
Lecture Notes in Computer Science, Vol. 3643 LNCS, pp. 159-168
2004
-
Four approaches to automated reasoning with differential algebraic structures
Lecture Notes in Computer Science, Vol. 3249, pp. 222-235
2003
-
Towards a higher reasoning level in Formalized Homological Algebra
Calculemus 2003 (ARACNE EDITRICE), pp. 84-88
2002
-
Mechanizing proofs in Homological Algebra
SEKI Report - Universität des Saarlandes, Vol. SR - 02 - 06, pp. 13-18
-
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
-
Towards an automated proof of the Basic Perturbation Lemma (Abstract)
Communications in Computer Algebra (SIGSAM Bulletin), pp. 218-218
2001
-
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
-
Object Oriented implementation of algebraic structures in Java and C++ (Abstract)
TQ, Revista electrónica de Cálculo Simbólico y Aplicaciones
-
Object Oriented implementation of algebraic structures: a case study in Java and C++ (Abstract)
Communications in Computer Algebra (SIGSAM Bulletin), pp. 37-37