Tesis doctoral

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

    Universidad Complutense de Madrid

Tesis dirigidas (1)

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

    Universidad Complutense de Madrid

    Fábregas Alfaro, Ignacio

Tribunales de tesis (3)

  1. Secretario del tribunal

    Model checking of strategy-controlled systems in rewriting logic 2022

    Universidad Complutense de Madrid

    Rubio Cuéllar, Rubén Rafael

  2. Secretario del tribunal

    Verificación de extensiones de Redes de Petri con precios, tiempo y múltiples instancias 2016

    Universidad Complutense de Madrid

    MARTOS SALGADO, MARÍA ROSA

  3. Secretario 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