Tesis doctoral

  1. Jugando con el tiemposemántica de pruebas para álgebras de procesos temporizadas 1996

    Universidad Complutense de Madrid

Tesis dirigidas (4)

  1. Speeding up search algorithms with Quantum Computing 2023

    Universidad de Castilla-La Mancha

    Paulet González, José Javier

  2. Modelando la variabilidad: métodos formales para la representación de líneas de productos software 2017

    Universidad Complutense de Madrid

    Camacho González, Carlos Delfin

  3. Semántica de simulación para relaciones de conformidad 2015

    Universidad Complutense de Madrid

    MARTÍNEZ TORRES, RAFAEL

  4. Formalizando el proceso de depuración en programación funcional paralela y perezosa 2008

    Universidad Complutense de Madrid

    Encina Vara, Alberto de la

Tribunales de tesis (4)

  1. Secretario del tribunal

    Dissertation for the degree of Doctor of Computer Sciencie to be presented with due permission of the Departament of Computer Science, for public examination and debate 2014

    Universidad de Castilla-La Mancha

    Mateo Cortés, José Antonio

  2. Secretario del tribunal

    Algoritmos heurísticos y aplicaciones a métodos formales 2010

    Universidad Complutense de Madrid

    Rabanal Basalo, Pablo Manuel

  3. Secretario del tribunal

    Entendiendo las semánticas de procesos 2009

    Universidad Complutense de Madrid

    GREGORIO RODRIGUEZ, CARLOS

  4. Secretario del tribunal

    Semánticas para álgebras de procesos estocásticos no Markovianos 2003

    Universidad Complutense de Madrid

    López Barquilla, Natalia