Julio
Rubio García
CATEDRÁTICO DE UNIVERSIDAD
Tesis doctoral
-
Homología efectiva y sucesión espectral de Eilenberg-Moore 1988
Universidad de Zaragoza
-
Homologie effective des espaces de lacets itérésun logiciel 1991
Université Joseph-Fourier. Grenoble
Tesis dirigidas (11)
-
Simplifying the usage and construction of deep image classification models 2022
Universidad de La Rioja
-
Processing biomedical images for the study of treatments related to neurodegenerative diseases 2017
Universidad de La Rioja
-
Formalisation and execution of Linear Algebra: theorems and algorithms 2016
Universidad de La Rioja
-
Certifying homological algorithms to study biomedical images 2013
Universidad de La Rioja
Poza López de Echazarreta, María
-
Gestión mecanizada del conocimiento matemático en topología algebraica 2011
Universidad de La Rioja
-
Coordinación de servicios Web: de las aplicaciones a los modelos formales 2009
Universidad de La Rioja
-
Homología efectiva y sucesiones espectrales 2007
Universidad de La Rioja
-
Razonamiento mecanizado en álgebra homológica 2006
Universidad de La Rioja
-
Especificación orientada a objetos de sistemas de cálculo simbólico 2003
Universidad de La Rioja
-
Objetos localmente efectivos y tipos abstractos de datos 2002
Universidad de La Rioja
-
Bases de conceptos: entre las bases de datos y las bases de conocimiento 1993
Universidad de Zaragoza
Lapeña Marcos, María Jesús
Tribunales de tesis (28)
-
Presidente del tribunal
Deep Detection and Segmentation Models for Plant Physiology and Precision Agriculture 2023Universidad de La Rioja
-
Presidente del tribunal
Democratizing Deep Learning methods by means of AutoML tools 2022Universidad de La Rioja
-
Presidente del tribunal
Análisis y propuesta de mejora en la dirección de Proyectos de Fin de Carrera en Ingeniería Informática 2015Universidad de La Rioja
-
Vocal del tribunal
Diseño, desarrollo y validación de soluciones tecnológicas para la práctica de la expresión oral de segundas lenguas mediante un entorno colaborativo e interactivo de código abierto: Babelium project 2014Universidad del País Vasco - Euskal Herriko Unibertsitatea
PEREIRA VARELA, JUAN ANTONIO
-
Secretario del tribunal
Modelización integral de la seguridad 2013Universidad de La Rioja
-
Presidente del tribunal
Integration and analysis of business processes enhanced with semantic information 2011Universidad de Zaragoza
-
Presidente del tribunal
Towards decision facts management systems: the particular case of clinical guidelines 2011Universidad de Zaragoza
-
Vocal del tribunal
E-learning y la calibración de ítems de test: teoría de respuesta al ítem versus calibración basada en juicios de expertos. Un estudio empírico 2010Universidad del País Vasco - Euskal Herriko Unibertsitatea
Arruabarrena Santos, Rosa María
-
Secretario del tribunal
Combinatorial Koszul Homology: computations and Applications 2008Universidad de La Rioja
-
Vocal del tribunal
Modelo álgebro-topológico de representación de imágenes digitales en nd 2007Universidad de Sevilla
Medrano Garfia, Belén
-
Secretario del tribunal
From software architecture to formal verification of a distributed system 2006Universidade da Coruña
Sánchez Penas, Juan José
-
Vocal del tribunal
Teoria computacional (en PVS) de la programación logica y del analisis formal de conceptos 2004Universidad de Sevilla
HIDALGO DOBLADO, MARIA JOSE
-
Vocal del tribunal
Arquitecturas y patrones de diseño para el modelado e integracion de sistemas de información heterogéneos: Una aproximación aplicada al contexto de los servicios basados en la localización 2004Universidad de Zaragoza
ALVAREZ PEREZ-ARADROS, PEDRO JAVIER
-
Vocal del tribunal
Verificación formal en ACL2 del Algoritmo de Buchberger 2003Universidad de Sevilla
Medina Bulo, Inmaculada
-
Vocal del tribunal
Desarrollo cocíclico de diseños y aplicaciones 2003Universidad de Sevilla
Frau García, María Dolores
-
Secretario del tribunal
Algunos problemas diofánticos 2002Universidad de La Rioja
Benito Muñoz, Manuel
-
Vocal del tribunal
Teoría computacional (en ACL2) sobre cálculos proposicionales 2002Universidad de Sevilla
Martín Mateos, Francisco Jesús
-
Vocal del tribunal
Una aproximación para el incremento de la capacidad expresiva de objetos miembro y el RTTI de C++ basada en el uso intensivo de plantillas 2001Universidad de Zaragoza
Valiño García, Juan Valiño
-
Vocal del tribunal
Una aproximación a la mejora de reusabilidad de código C++ basada en metainformación del modelo de objetos 2000Universidad de Zaragoza
Zarazaga Soria, Francisco Javier
-
Vocal del tribunal
Operaciones cohomológicas: un enfoque combinatorial 2000Universidad de Sevilla
González Díaz, María del Rocío
-
Vocal del tribunal
Inmersiones ortogonales de grafos en superficies no planas 1997Universidad de Sevilla
Garrido Vizuete, María de los Angeles
-
Vocal del tribunal
Un modelo para el diseño conceptual de bases de datos: el modelo Ean 1997Universidad de Zaragoza
Lloret Gazo, Jorge
-
Vocal del tribunal
Modelos conceptuales para la interfaz con el usuario 1997Universidad de Zaragoza
Escario Jover, Inés
-
Vocal del tribunal
Manipulación algebraica de series de Poisson. Aplicación a la teoría del satélite artificial 1997Universidad de Zaragoza
-
Vocal del tribunal
Kron: un esquema de representación orientado a objeto para el desarrollo de software de sistemas de eventos discretos 1996Universidad de Zaragoza
Bañares Bañares, José Angel
-
Vocal del tribunal
Grafos periódicos: una familia de grafos infinitos que admiten una algorítmica constructiva 1994Universidad de Sevilla
Dana Jiménez, Juan Carlos
-
Vocal del tribunal
Algoritmos de cálculo de homología efectiva de los espacios clasificantes 1993Universidad de Sevilla
Real Jurado, Pedro
-
Secretario del tribunal
Integración informática del control en sistemas flexibles de fabricación 1991Universidad de Zaragoza
Villarroel Salcedo, José Luis