YOLANDA
ORTEGA MALLÉN
Investigadora fins a 2022
Tesi doctoral
-
En busca del tiempo perdido 1990
Universidad Complutense de Madrid
Tesis dirigides (2)
-
Sobre la equivalencia entre semánticas operacionales y denotacionales para lenguajes funcionales paralelos 2015
Universidad Complutense de Madrid
Sánchez Gil, Lidia
-
Semánticas formales para un lenguaje funcional paralelo 2004
Universidad Complutense de Madrid
Tribunals de tesi (8)
-
Secretària del tribunal
Composición en lógica de reescritura 2021Universidad Complutense de Madrid
Martín Sánchez, Óscar
-
Presidenta del tribunal
Diseño y formalización de lenguajes de consultas inspirados en ópticas 2020Universidad Rey Juan Carlos
LÓPEZ GONZÁLEZ, JESÚS
-
Secretària del tribunal
Más sobre equivalencias lógicas y distancias entre procesos 2016Universidad Complutense de Madrid
ROMERO HERNÁNDEZ, DAVID
-
Secretària del tribunal
Maude como marco semántico ejecutable 2003Universidad Complutense de Madrid
-
Secretària del tribunal
Tpbc: un cálculo sobre redes de Petri con tiempo 2003Universidad Complutense de Madrid
-
Secretària del tribunal
Programación funcional paralela eficiente en eden 2001Universidad Complutense de Madrid
-
Secretària del tribunal
Jugando con el tiempo: semántica de pruebas para álgebras de procesos temporizadas 1996Universidad Complutense de Madrid
-
Vocal del tribunal
Contribución a la formalización de la fase de ejecución de pruebas 1995Universidad Politécnica de Madrid
Huecas Fernández-Toribio, Gabriel Isidoro