
Certificación formal de programas en un lenguaje funcional impaciente
Tesis doctoral dirigida por Ricardo Peña Marí
. Universidad Complutense de Madrid (2012).
Desarrollo de aplicaciones xml mediante herramientas de construcción de procesadores de lenguaje.
Tesis doctoral dirigida por José Luis Sierra Rodríguez
. Universidad Complutense de Madrid (2012).
Ramón González del Campo Rodríguez Barbero 
Tesis doctoral dirigida por Luis Garmendia Salvador
. Universidad Complutense de Madrid (2012).
Geometría de recubrimientos: dimensión topológica y estructuras coarse c_0
Tesis doctoral dirigida por Manuel Alonso Morón
. Universidad Complutense de Madrid (2012).
Teoría de homotopía y estructuras geométricas.
Tesis doctoral dirigida por Vicente Muñoz Velázquez
. Universidad Complutense de Madrid (2012).
Técnicas coalgebraicas y categóricas para el estudio de las semánticasde procesos.
Tesis doctoral dirigida por Miguel Palomino Tarjuelo
, David de Frutos Escrig
. Universidad Complutense de Madrid (2012).
Algunos aspectos del análisis lipschitziano en espacios métricos
Tesis doctoral dirigida por Jesús Angel Jaramillo Aguado
. Universidad Complutense de Madrid (2011).
Tesis doctoral dirigida por Pablo Guillermo Pérez González
, Jesús Gallego Maestro
. Universidad Complutense de Madrid (2011).
Aplicación de técnicas de ingeniería de lenguajes al campo del modelado educativo
Tesis doctoral dirigida por José Luis Sierra Rodríguez
, Baltasar Fernández Manjón
. Universidad Complutense de Madrid (2011).
Raquel Mercedes Martínez Arnaiz 
Tesis doctoral dirigida por David Montes Gutiérrez
. Universidad Complutense de Madrid (2011).
El origen de las galaxias enanas de primeros tipos
Tesis doctoral dirigida por Alessandro Boselli
, Francisco Javier Gorgas García
. Universidad Complutense de Madrid (2011).
Formación y evolución de envolturas y discos circunestelares en estrellas de masa intermedia
Tesis doctoral dirigida por Asunción Fuente Juan
. Universidad Complutense de Madrid (2011).
Modelos marginales: nuevos procedimientos de inferencia para datos longitudinales
Tesis doctoral dirigida por María del Carmen Pardo Llorente
. Universidad Complutense de Madrid (2011).
Problemas matemáticos en biomedicina
Tesis doctoral dirigida por Ana María Carpio Rodríguez
. Universidad Complutense de Madrid (2011).
Tesis doctoral dirigida por José Javier Fernández de Bobadilla Olarzabal
. Universidad Complutense de Madrid (2011).
Algoritmos heurísticos y aplicaciones a métodos formales
Tesis doctoral dirigida por Ismael Rodríguez Laguna
, Fernando Rubio Díez
. Universidad Complutense de Madrid (2010).
Tesis doctoral dirigida por Jaime Zamorano Calvo
, Armando Gil de Paz
. Universidad Complutense de Madrid (2010).
Clasificación de desastres y emergencias con representación bipolar del conocimiento
Juan Tinguaro Rodríguez González 
Tesis doctoral dirigida por Begoña Vitoriano Villanueva
, Francisco Javier Montero de Juan
. Universidad Complutense de Madrid (2010).
Función zeta motívica de singularidades quasiordinarias irreducibles
Tesis doctoral dirigida por Alejandro Melle Hernández
, Ignacio Luengo Velasco
. Universidad Complutense de Madrid (2010).
Modelos de ecuaciones en derivadas parciales en geodinámica y geotecnia: aplicaciones al vulcanismo
Tesis doctoral dirigida por Jesús Ildefonso Díaz Díaz
, José Fernández Torres
. Universidad Complutense de Madrid (2010).
Métodos y aplicaciones para el análisis funcional en bioinformática
Tesis doctoral dirigida por Juan Pavón Mestras
, Alberto Pascual Montano
. Universidad Complutense de Madrid (2010).
Programación con indeterminismo: un enfoque basado en reescritura
Tesis doctoral dirigida por Francisco Javier López Fraguas
, Jaime Sánchez Hernández
. Universidad Complutense de Madrid (2010).
Propiedades físicas de las galaxias con formación estelar intensa a z-0. 84
Tesis doctoral dirigida por Jesús Gallego Maestro
. Universidad Complutense de Madrid (2010).
Redes sociales y de comunicaciones: un enfoque desde la teoría de juegos
Tesis doctoral dirigida por Enrique González Arangüena
, Conrado Miguel Manuel García
. Universidad Complutense de Madrid (2010).
Una aproximación ontológica al modelado de conocimiento en los dominios de planificación
Antonio Alejandro Sánchez Ruiz-Granados 
Tesis doctoral dirigida por Pedro Antonio González Calero
, María Belén Díaz Agudo
. Universidad Complutense de Madrid (2010).
Tesis doctoral dirigida por José María Ancochea Bermúdez
, Michel Goze
. Universidad Complutense de Madrid (2010).
Arcos y series de Poincaré motívicas de singularidades
Tesis doctoral dirigida por Pedro Daniel González Pérez
. Universidad Complutense de Madrid (2009).
Astrofísica molecular: caracterización de envolturas circunestelares y procesos colisionales en el laboratorio
Tesis doctoral dirigida por José Cernicharo Quintanilla
, Salvador Montero Martín
. Universidad Complutense de Madrid (2009).
Tesis doctoral dirigida por Nicolas Cardiel López
. Universidad Complutense de Madrid (2009).
Condiciones de contorno no reflectantes
Tesis doctoral dirigida por Ana María Carpio Rodríguez
. Universidad Complutense de Madrid (2009).
Cuestiones notables de ordenación estocástica en optimación financiera
Tesis doctoral dirigida por Francisco José Cano Sevilla
. Universidad Complutense de Madrid (2009).
Tesis doctoral dirigida por Juan Ferrera Cuesta
, Daniel Azagra Rueda
. Universidad Complutense de Madrid (2009).
Dimensión de assouad-nagata y la geometría a gran escala de grupos numerables
Tesis doctoral dirigida por Jerzy Dydak
, José Manuel Rodríguez Sanjurjo
. Universidad Complutense de Madrid (2009).
El doble problema del viajante con múltiples pilas
Tesis doctoral dirigida por Angel Felipe Ortega
, María Teresa Ortuño Sánchez
. Universidad Complutense de Madrid (2009).
Tesis doctoral dirigida por Almudena Alonso Herrero
, Luis Colina Robledo
. Universidad Complutense de Madrid (2009).
Tesis doctoral dirigida por Rodolfo Bermejo
, Angel Manuel Ramos del Olmo
. Universidad Complutense de Madrid (2009).
Tesis doctoral dirigida por Pablo Gervás Gómez-Navarro
. Universidad Complutense de Madrid (2009).
Tesis doctoral dirigida por Julio Florez Alvarez
, Francisco Luis Hernández Rodríguez
. Universidad Complutense de Madrid (2009).
Marcos temporales y probabilísticos para testing formal
Tesis doctoral dirigida por Manuel Núñez García
, Robert M. Hierons
. Universidad Complutense de Madrid (2009).
Metodología Bayesiana aplicada al estudio de configuraciones espaciales en bioinformática
Tesis doctoral dirigida por Miguel Marín Diazaraque
. Universidad Complutense de Madrid (2009).
Núcleo: un sistema para el aprendizaje virtual colaborativo escenificado a través de un juego de rol multi-jugador
Tesis doctoral dirigida por Baltasar Fernández Manjón
. Universidad Complutense de Madrid (2009).
Tesis doctoral dirigida por José Luis González Llavona
, Luis Alberto Ibort Latre
. Universidad Complutense de Madrid (2009).
Productos tensoriales y aplicaciones a la teoría de información cuántica
Tesis doctoral dirigida por David Pérez García
, Ignacio Villanueva Díez
. Universidad Complutense de Madrid (2009).
Sistemas de colas con reintentos: análisis de los eventos bloqueados y exitosos
Tesis doctoral dirigida por Jesus Manuel Rodriguez Artalejo
. Universidad Complutense de Madrid (2009).
Sobre el cálculo del valor de Myerson, su relación con el valor posicional y diversas extensiones
Tesis doctoral dirigida por Conrado Miguel Manuel García
. Universidad Complutense de Madrid (2009).
Transformación y análisis de código de bytes orientado a objetos
Tesis doctoral dirigida por Elvira Albert Albiol
. Universidad Complutense de Madrid (2009).
Un esquema de programación lógico-funcional con restricciones: marco teórico y aplicación a la depuración declarativa
Tesis doctoral dirigida por Mario Rodríguez Artalejo
. Universidad Complutense de Madrid (2009).
Un marco para la definición y transformación de modelos en los sistemas multi-agentes
Tesis doctoral dirigida por Jorge Jesús Gómez Sanz
, Rubén Fuentes Fernández
. Universidad Complutense de Madrid (2009).
Análisis y mejora de los métodos de expansión de consultas en recuperación de información
Tesis doctoral dirigida por María Lourdes Araújo Serna
. Universidad Complutense de Madrid (2008).
Aplicaciones de topología geométrica y algebraica al estudio de flujos continuos en variedades
Tesis doctoral dirigida por José Manuel Rodríguez Sanjurjo
. Universidad Complutense de Madrid (2008).
© 2001-2013 Universidad de La Rioja · Todos los derechos reservados