Doktorego-tesia

  1. Especificación de sistemas concurrentes usando conceptos de teoría económicasintaxis, semántica, aplicaciones y extensiones del lenguaje formal pamr 2004

    Universidad Complutense de Madrid

Zuzendutako tesiak (1)

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

    Universidad Complutense de Madrid

    Rabanal Basalo, Pablo Manuel

Tesi epaimahaiak (4)

  1. Epaimahaiko Presidente

    Respuesta a las restricciones transpositivas de la sociedad de la información en la enseñanza-aprendizaje de la geometría en educación secundaria 2019

    Universidad Complutense de Madrid

    Roa González, Julián

  2. Epaimahaiko Presidente

    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. Epaimahaikidea

    Contractual verification of web service compositions with time constraints 2011

    Universidad de Castilla-La Mancha

    MARTINEZ LOPEZ, ENRIQUE

  4. Epaimahaiko Secretario

    Marcos temporales y probabilísticos para testing formal 2009

    Universidad Complutense de Madrid

    Garcia Merayo, Mercedes