Tesis doctoral

  1. Sobre dos lógicas categóricaslógica lineal y álgebra con tipos ordenados 1991

    Universidad Complutense de Madrid

Tesis dirigidas (6)

  1. Model checking of strategy-controlled systems in rewriting logic 2022

    Universidad Complutense de Madrid

    Rubio Cuéllar, Rubén Rafael

  2. Composición en lógica de reescritura 2021

    Universidad Complutense de Madrid

    Martín Sánchez, Óscar

  3. Depuración declarativa y verificación heterogénea en Maude 2011

    Universidad Complutense de Madrid

    Riesco Rodríguez, Adrián

  4. Reflexión, abstracción y simulación en la lógica de reescritura 2005

    Universidad Complutense de Madrid

    Palomino Tarjuelo, Miguel

  5. Técnicas de especificación formal de sistemas orientados a objetos basadas en lógica de reescritura 2003

    Universidad Complutense de Madrid

    Pita Andreu, Isabel

  6. Maude como marco semántico ejecutable 2003

    Universidad Complutense de Madrid

    Verdejo López, José Alberto

Tribunales de tesis (16)

  1. Presidente del tribunal

    Mapping OCL as a query and constraint language 2017

    Universidad Complutense de Madrid

    DANIA FLORES, CAROLINA INÉS

  2. Secretario del tribunal

    Rewriting Logic Techniques for Program Analysis and Optimization 2017

    Universitat Politècnica de València

    Sapiña Sanchis, Julia

  3. Presidente del tribunal

    Más sobre equivalencias lógicas y distancias entre procesos 2016

    Universidad Complutense de Madrid

    ROMERO HERNÁNDEZ, DAVID

  4. Presidente del tribunal

    Técnicas coalgebraicas y categóricas para el estudio de las semánticas de procesos. 2012

    Universidad Complutense de Madrid

    Fábregas Alfaro, Ignacio

  5. Presidente del tribunal

    Certificación formal de programas en un lenguaje funcional impaciente 2012

    Universidad Complutense de Madrid

    Dios Castro, Javier de

  6. Vocal del tribunal

    Relational and allegorical semantics for constraint logic programming 2012

    Universidad Politécnica de Madrid

    Gallego Arias, Emilio Jesús

  7. Vocal del tribunal

    On cheking the compatibility of service interaction protocosis 2011

    Universidad de Málaga

    Ouederni, Meriem

  8. Vocal del tribunal

    Estrategias para el guiado y la monitorización de la ejecución de sistema en maude 2011

    Universidad de Málaga

    Roldán Castro, Manuel

  9. Presidente del tribunal

    Un esquema de programación lógico-funcional con restricciones: marco teórico y aplicación a la depuración declarativa 2009

    Universidad Complutense de Madrid

    Vado Vírseda, Rafael del

  10. Presidente del tribunal

    Una semántica formal ejecutable para ocl y sus aplicaciones al análisis y a la validación de modelos 2008

    Universidad Complutense de Madrid

    Egea González, Marina Soledad

  11. Secretario del tribunal

    Redes de Petri móviles para la especificación y verificación de propiedades de seguridad en sistemas ubicuos 2007

    Universidad Complutense de Madrid

    Rosa Velardo, Fernando

  12. Secretario del tribunal

    Análisis de programas en lenguajes funcionales paralelos 2001

    Universidad Complutense de Madrid

    Segura Díaz, Clara M.

  13. Secretario del tribunal

    Modularidad en programación lógico-funcional de primer orden 2000

    Universidad de Málaga

    Molina Bravo, Juan Miguel

  14. Secretario del tribunal

    Programación declarativa con restricciones sobre tipos de datos algebraicos 1999

    Universidad Complutense de Madrid

    Arenas Sánchez, Purificación

  15. Secretario del tribunal

    Programación lógico-funcional con tipos paramétricos y géneros ordenados 1999

    Universidad Complutense de Madrid

    Almendros Jiménez, Jesús Manuel

  16. Secretario del tribunal

    Un álgebra de módulos reflexiva con aplicaciones al lenguaje Maude 1999

    Universidad de Málaga

    Durán Muñoz, Francisco