Tese doutoral

  1. Maude como marco semántico ejecutable 2003

    Universidad Complutense de Madrid

Teses dirixidas (3)

  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

Tribunais de teses (1)

  1. Secretario do tribunal

    Aplicación de las unidades de procesamiento gráfico en el diseño e implementación de sistemas de ray tracing 2014

    Universidad Complutense de Madrid

    Torres de Alba, Roberto