Tesis doctoral

  1. En busca del tiempo perdido 1990

    Universidad Complutense de Madrid

Tesis dirigidas (2)

  1. Sobre la equivalencia entre semánticas operacionales y denotacionales para lenguajes funcionales paralelos 2015

    Universidad Complutense de Madrid

    Sánchez Gil, Lidia

  2. Semánticas formales para un lenguaje funcional paralelo 2004

    Universidad Complutense de Madrid

    Hidalgo Herrero, Mercedes

Tribunales de tesis (8)

  1. Secretaria del tribunal

    Composición en lógica de reescritura 2021

    Universidad Complutense de Madrid

    Martín Sánchez, Óscar

  2. Presidenta del tribunal

    Diseño y formalización de lenguajes de consultas inspirados en ópticas 2020

    Universidad Rey Juan Carlos

    LÓPEZ GONZÁLEZ, JESÚS

  3. Secretaria del tribunal

    Más sobre equivalencias lógicas y distancias entre procesos 2016

    Universidad Complutense de Madrid

    ROMERO HERNÁNDEZ, DAVID

  4. Secretaria del tribunal

    Maude como marco semántico ejecutable 2003

    Universidad Complutense de Madrid

    Verdejo López, José Alberto

  5. Secretaria del tribunal

    Tpbc: un cálculo sobre redes de Petri con tiempo 2003

    Universidad Complutense de Madrid

    MARROQUÍN ALONSO, OLGA

  6. Secretaria del tribunal

    Programación funcional paralela eficiente en eden 2001

    Universidad Complutense de Madrid

    Rubio Díez, Fernando

  7. Secretaria del tribunal

    Jugando con el tiempo: semántica de pruebas para álgebras de procesos temporizadas 1996

    Universidad Complutense de Madrid

    Llana, L. F.

  8. Vocal del tribunal

    Contribución a la formalización de la fase de ejecución de pruebas 1995

    Universidad Politécnica de Madrid

    Huecas Fernández-Toribio, Gabriel Isidoro