LUIS FERNANDO
LLANA DÍAZ
Profesor titular de universidad
Dissertation
-
Jugando con el tiemposemántica de pruebas para álgebras de procesos temporizadas 1996
Universidad Complutense de Madrid
Dissertationen geleitet (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
Gerichte für Dissertationen (4)
-
Sekretär des Gerichts
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
-
Sekretär des Gerichts
Algoritmos heurísticos y aplicaciones a métodos formales 2010Universidad Complutense de Madrid
-
Sekretär des Gerichts
Entendiendo las semánticas de procesos 2009Universidad Complutense de Madrid
-
Sekretär des Gerichts
Semánticas para álgebras de procesos estocásticos no Markovianos 2003Universidad Complutense de Madrid
López Barquilla, Natalia