YOLANDA
ORTEGA MALLÉN
Researcher to 2022
Thesis
-
En busca del tiempo perdido 1990
Universidad Complutense de Madrid
Supervised Theses (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
Theses Committees (8)
-
Secretary of the Committee
Composición en lógica de reescritura 2021Universidad Complutense de Madrid
Martín Sánchez, Óscar
-
Chair of the Committee
Diseño y formalización de lenguajes de consultas inspirados en ópticas 2020Universidad Rey Juan Carlos
LÓPEZ GONZÁLEZ, JESÚS
-
Secretary of the Committee
Más sobre equivalencias lógicas y distancias entre procesos 2016Universidad Complutense de Madrid
ROMERO HERNÁNDEZ, DAVID
-
Secretary of the Committee
Maude como marco semántico ejecutable 2003Universidad Complutense de Madrid
-
Secretary of the Committee
Tpbc: un cálculo sobre redes de Petri con tiempo 2003Universidad Complutense de Madrid
-
Secretary of the Committee
Programación funcional paralela eficiente en eden 2001Universidad Complutense de Madrid
-
Secretary of the Committee
Jugando con el tiempo: semántica de pruebas para álgebras de procesos temporizadas 1996Universidad Complutense de Madrid
-
Committee Member
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