
ISMAEL
RODRÍGUEZ LAGUNA
Profesor titular de universidad
Thèse de doctorat
Thèses dirigées (1)
-
Algoritmos heurísticos y aplicaciones a métodos formales 2010
Universidad Complutense de Madrid
Jurys de thèses (4)
-
Président du jury
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 2019Universidad Complutense de Madrid
Roa González, Julián
-
Président du jury
Verificación de extensiones de Redes de Petri con precios, tiempo y múltiples instancias 2016Universidad Complutense de Madrid
MARTOS SALGADO, MARÍA ROSA
-
Rapporteur du jury
Contractual verification of web service compositions with time constraints 2011Universidad de Castilla-La Mancha
MARTINEZ LOPEZ, ENRIQUE
-
Un secrétaire du jury
Marcos temporales y probabilísticos para testing formal 2009Universidad Complutense de Madrid