LUIS FERNANDO
LLANA DÍAZ
Profesor titular de universidad
Doktorego-tesia
-
Jugando con el tiemposemántica de pruebas para álgebras de procesos temporizadas 1996
Universidad Complutense de Madrid
Zuzendutako tesiak (4)
-
Speeding up search algorithms with Quantum Computing 2023
Universidad de Castilla-La Mancha
Paulet González, José Javier
-
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
-
Semántica de simulación para relaciones de conformidad 2015
Universidad Complutense de Madrid
-
Formalizando el proceso de depuración en programación funcional paralela y perezosa 2008
Universidad Complutense de Madrid
Tesi epaimahaiak (4)
-
Epaimahaiko Secretario
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 2014Universidad de Castilla-La Mancha
Mateo Cortés, José Antonio
-
Epaimahaiko Secretario
Algoritmos heurísticos y aplicaciones a métodos formales 2010Universidad Complutense de Madrid
-
Epaimahaiko Secretario
Entendiendo las semánticas de procesos 2009Universidad Complutense de Madrid
-
Epaimahaiko Secretario
Semánticas para álgebras de procesos estocásticos no Markovianos 2003Universidad Complutense de Madrid
López Barquilla, Natalia