Tesis dirigidas por:
Rubio García, Julio

Título Autor Directores Año
Formalisation and execution of Linear Algebra: theorems and algorithms Divasón Mallagaray, José Rubio García, JulioAransay Azofra, Jesús María 2016
Certifying homological algorithms to study biomedical imagesTexto completo open access  Poza López de Echazarreta, María Domínguez Pérez, CésarRubio García, Julio 2013
Gestión Mecanizada del Conocimiento Matemático en Topología AlgebraicaTexto completo open access  Heras Vicente, Jonathan Pascual Martínez Losa, María VicoRubio García, Julio Jesús 2011
Coordinación de servicios Web: de las aplicaciones a los modelos formales.Texto completo open access  Mata Sotés, Eloy Javier Rubio García, Julio Jesús; Bañares Bañares, Jose Angel;  2009
Homología efectiva y sucesiones espectrales = Effective Homology and Spectral SequencesTexto completo open access  Romero Ibáñez, Ana Rubio García, Julio; Sergeraert, Francis ;  2007
Razonamiento mecanizado en álgebra homológicaTexto completo open access  Aransay Azofra, Jesús María Rubio García, Julio Jesús; Ballarín, Clemens;  2006
Especificación Orientada a Objetos de Sistemas de Cálculo SimbólicoTexto completo open access  Domínguez Pérez, César Rubio García, Julio JesúsLamban Pardo, Laureano 2003
Objetos Localmente Efectivos y Tipos Abstractos de DatosTexto completo open access  Pascual Martínez Losa, María Vico Lamban Pardo, LaureanoRubio García, Julio Jesús 2002
Bases de conceptos: entre las bases de datos y las bases de conocimiento Lapeña Marcos, María Jesús Rubio García, Julio Jesús; Domínguez Murillo, Eladio;  1993