
ISMAEL
RODRÍGUEZ LAGUNA
Profesor titular de universidad
Tesi doctoral
Tesis dirigides (1)
-
Algoritmos heurísticos y aplicaciones a métodos formales 2010
Universidad Complutense de Madrid
Tribunals de tesi (4)
-
President del tribunal
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
-
President del tribunal
Verificación de extensiones de Redes de Petri con precios, tiempo y múltiples instancias 2016Universidad Complutense de Madrid
MARTOS SALGADO, MARÍA ROSA
-
Vocal del tribunal
Contractual verification of web service compositions with time constraints 2011Universidad de Castilla-La Mancha
MARTINEZ LOPEZ, ENRIQUE
-
Secretari del tribunal
Marcos temporales y probabilísticos para testing formal 2009Universidad Complutense de Madrid