Thèse de doctorat

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

    Universidad Complutense de Madrid

Thèses dirigées (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

Jurys de thèses (3)

  1. Un secrétaire du jury

    Model checking of strategy-controlled systems in rewriting logic 2022

    Universidad Complutense de Madrid

    Rubio Cuéllar, Rubén Rafael

  2. Un secrétaire du jury

    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. Un secrétaire du jury

    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