Supervised Theses (3)

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

    Universidad Complutense de Madrid

    Carlos Delfin Camacho González

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

    Universidad Complutense de Madrid

    Rafael Martínez Torres

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

    Universidad Complutense de Madrid

    Alberto de la Encina Vara

Theses Committees (4)

  1. Secretary of the Committee

    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

    José Antonio Mateo Cortés

  2. Secretary of the Committee

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

    Universidad Complutense de Madrid

    Pablo Manuel Rabanal Basalo

  3. Secretary of the Committee

    Entendiendo las semánticas de procesos 2009

    Universidad Complutense de Madrid

    Carlos Gregorio Rodríguez

  4. Secretary of the Committee

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

    Universidad Complutense de Madrid

    Natalia López Barquilla