Tesis doctorales
Título: Conditional narrowing modulo membership equational logic theories with SMT solvers
Autor: Luis Manuel Aguirre García
Directores: Narciso Martí Oliet, Miguel Palomino Tarjuelo e Isabel Pita Andreu
Facultad: Facultad de Informática (Universidad Complutense de Madrid)
Fecha: Febrero 2024
Calificación: Sobresaliente cum Laude
Título: Análisis estático de tipos para lenguajes de tipado dinámico
Autor: Gorka Suárez García
Directores: Francisco Javier López Fraguas y Manuel Montenegro Montes
Facultad: Facultad de Informática (Universidad Complutense de Madrid)
Fecha: Mayo 2022
Calificación: Sobresaliente cum Laude
Título: Model checking of strategy-controlled systems in rewriting logic
Autor: Rubén Rafael Rubio Cuéllar
Directores: Narciso Martí Oliet, Isabel Pita Andreu y Alberto Verdejo López
Facultad: Facultad de Informática (Universidad Complutense de Madrid)
Fecha: Enero 2022
Calificación: Sobresaliente cum Laude
Título: Composition in Rewriting Logic
Autor: Óscar Martín Sánchez
Directores: Alberto Verdejo López y Narciso Martí Oliet
Facultad: Facultad de Informática (Universidad Complutense de Madrid)
Fecha: Septiembre 2021
Calificación: Sobresaliente cum Laude
Título: Traduciendo OCL como lenguaje de consultas y restricciones
Autor: Carolina Dania Flores
Directores: Manuel García Clavel y Marina Egea
Facultad: Facultad de Informática (Universidad Complutense de Madrid)
Fecha: Junio 2017
Calificación: Sobresaliente cum Laude
Título: Más sobre equivalencias lógicas y distancias entre procesos
Autor: David Romero Hernández
Directores: David de Frutos Escrig
Facultad: Facultad de Informática (Universidad Complutense de Madrid)
Fecha: Febrero 2016
Calificación: Sobresaliente cum Laude
Título: Verificación de extensiones de Redes de Petri con precios, tiempo y múltiples instancias
Autor: María Rosa Martos Salgado
Directores: Fernando Rosa Velardo
Facultad: Facultad de Informática (Universidad Complutense de Madrid)
Fecha: Enero 2016
Calificación: Sobresaliente cum Laude
Título: Extensiones de bases de datos relacionales y deductivas: fundamentos teóricos e implementación
Autor: Gabriel Aranda López
Directores: Susana Nieva Soto, Fernando Sáenz Pérez y Jaime Sánchez Hernández
Facultad: Facultad de Informática (Universidad Complutense de Madrid)
Fecha: Diciembre 2015
Calificación: Sobresaliente cum Laude
Título: Cooperación entre dominios de restricciones y estrategias de cooperación en el contexto CFLP
Autor: Sonia Estévez Martín
Directores: Jesús Correas Fernández y Fernando Sáenz Pérez
Facultad: Facultad de Informática (Universidad Complutense de Madrid)
Fecha: Julio 2015
Calificación: Sobresaliente cum Laude
Título: Sobre la equivalencia entre semánticas operacionales y denotacionales para lenguajes funcionales paralelos
Autor: Lidia Sánchez Gil
Directores: Yolanda Ortega Mallén y Mercedes Hidalgo Herrero
Facultad: Facultad de Informática (Universidad Complutense de Madrid)
Fecha: Julio 2015
Calificación: Sobresaliente cum Laude
Título: Desarrollo dirigido por modelos de aplicaciones seguras para el manejo de información
Autor: Miguel Ángel García de Dios
Directores: Manuel García Clavel
Facultad: Facultad de Informática (Universidad Complutense de Madrid)
Fecha: Abril 2015
Calificación: Sobresaliente cum Laude
Título: Mejora de la eficiencia de resolución del sistema TOY(FD) y su aplicación a problemas reales de la industria
Autor: Ignacio Castiñeiras Pérez
Directores: Francisco J. López Fraguas y Fernando Sáenz Pérez
Facultad: Facultad de Informática (Universidad Complutense de Madrid)
Fecha: Mayo 2014
Calificación: Sobresaliente cum Laude
Título: Sistemas de tipos en lenguajes lógico-funcionales
Autor: Enrique Martín-Martín
Directores: Francisco J. López Fraguas y Juan Rodríguez Hortalá
Facultad: Facultad de Informática (Universidad Complutense de Madrid)
Fecha: Julio 2012
Calificación: Sobresaliente cum Laude
Título: Técnicas coalgebraicas y categóricas para el estudio de las semánticas de procesos
Autor: Ignacio Fábregas Alfaro
Directores: David de Frutos Escrig y Miguel Palomino Tarjuelo
Facultad: Facultad de Informática (Universidad Complutense de Madrid)
Fecha: Marzo 2012
Calificación: Sobresaliente cum Laude
Título: Certificación formal de programas en un lenguaje funcional impaciente
Autor: Javier de Dios Castro
Director: Ricardo Peña Marí
Facultad: Facultad de Informática (Universidad Complutense de Madrid)
Fecha: Enero 2012
Calificación: Sobresaliente cum Laude
Título: Análisis de propiedades de seguridad y consumo acotado de memoria en un lenguaje funcional sin recolección de basura
Autor: Manuel Montenegro Montes
Directores: Ricardo Peña Marí y Clara Segura Díaz
Facultad: Facultad de Informática (Universidad Complutense de Madrid)
Fecha: Noviembre 2011
Calificación: Sobresaliente cum Laude
Título: Depuración declarativa y verificación heterogénea en Maude
Autor: Adrián Riesco Rodríguez
Directores: Alberto Verdejo López y Narciso Martí Oliet
Facultad: Facultad de Informática (Universidad Complutense de Madrid)
Fecha: Julio 2011
Calificación: Sobresaliente cum Laude
Título: El indeterminismo en programación: un enfoque basado en reescritura
Autor: Juan Rodríguez Hortalá
Directores: Francisco J. López Fraguas y Jaime Sánchez Hernández
Facultad: Facultad de Informática (Universidad Complutense de Madrid)
Fecha: Junio 2010
Calificación: Sobresaliente cum Laude
Título: Algoritmos heurísticos y aplicaciones a métodos formales
Autor: Pablo Rabanal Basalo
Directores: Ismael Rodríguez Laguna y Fernando Rubio Diez
Facultad: Facultad de Informática (Universidad Complutense de Madrid)
Fecha: Mayo 2010
Calificación: Sobresaliente cum Laude
Título: Análisis de características en el modelo BST
Autor: José Ramón Sánchez Couso
Director: María Inés Fernández Camacho
Facultad: Facultad de Ciencias Matemáticas (Universidad Complutense de Madrid)
Fecha: Abril 2009
Calificación: Sobresaliente cum Laude
Título: An executable formal semantics for OCL with Applications to Formal Analysis and Validation
Autor: Marina Soledad Egea González
Director: Manuel García Clavel
Facultad: Facultad de Informática (Universidad Complutense de Madrid)
Fecha: Noviembre 2008
Calificación: Sobresaliente cum Laude
Título: Formalizando el proceso de depuración en programación funcional paralela y perezosa
Autor: Alberto de la Encina Vara
Director: Luis Fernando Llana Díaz y Fernando Rubio Diez
Facultad: Facultad de Informática (Universidad Complutense de Madrid)
Fecha: Junio 2008
Calificación: Sobresaliente cum Laude
Título: Redes de Petri móviles para la especificación y verificación de propiedades de seguridad en sistemas ubicuos
Autor: Fernando Rosa Velardo
Director: David de Frutos Escrig
Facultad: Ciencias Matemáticas (Universidad Complutense de Madrid)
Fecha: Noviembre 2007
Calificación: Sobresaliente cum Laude
Título: Reflexión, abstracción y simulación en la lógica de reescritura
Autor: Miguel Palomino Tarjuelo
Director: Narciso Martí Oliet y José Meseguer
Facultad: Ciencias Matemáticas (Universidad Complutense de Madrid)
Fecha: Marzo 2005
Calificación: Sobresaliente cum Laude
Título: Semánticas formales para un lenguaje funcional paralelo
Autor: Mercedes Hidalgo Herrero
Director: Yolanda Ortega Mallén
Facultad: Ciencias Matemáticas (Universidad Complutense de Madrid)
Fecha: Junio 2004
Calificación: Sobresaliente cum Laude
Título: Técnicas de especificación formal de sistemas orientados a objetos basadas en lógica de reescritura
Autor: Isabel Pita Andreu
Director: Narciso Martí Oliet
Facultad: Ciencias Matemáticas (Universidad Complutense de Madrid)
Fecha: Marzo 2003
Calificación: Sobresaliente cum Laude
Título: Maude como marco semántico ejecutable
Autor: José Alberto Verdejo López
Director: Narciso Martí Oliet
Facultad: Informática (Universidad Complutense de Madrid)
Fecha: Marzo 2003
Calificación: Sobresaliente cum Laude