Supervised Theses (5)

  1. Certificación formal de programas en un lenguaje funcional impaciente 2012

    Universidad Complutense de Madrid

    Dios Castro, Javier de

  2. Análisis de propiedades de seguridad y consumo acotado de memoria en un lenguaje funcional sin recolección de basura 2011

    Universidad Complutense de Madrid

    Montenegro Montes, Manuel

  3. Programación funcional paralela eficiente en eden 2001

    Universidad Complutense de Madrid

    Rubio Díez, Fernando

  4. Análisis de programas en lenguajes funcionales paralelos 2001

    Universidad Complutense de Madrid

    Segura Díaz, Clara M.

  5. Técnicas formales para el desarrollo jerárquico de sistemas concurrentes 1993

    Universidad del País Vasco - Euskal Herriko Unibertsitatea

    Alonso González, Luis M.

Theses Committees (37)

  1. Chair of the Committee

    Análisis estático de tipos para lenguajes de tipado dinámico 2022

    Universidad Complutense de Madrid

    SUÁREZ GARCÍA, GORKA

  2. Committee Member

    On the use of quasiorders in formal language theory 2020

    Universidad Politécnica de Madrid

    Valero Mejía, Pedro

  3. Chair of the Committee

    Verification of Concurrent Systems: optimality, Scalability and Applicability 2020

    Universidad Complutense de Madrid

    Isabel Márquez, Miguel

  4. Chair of the Committee

    Análisis estático de sistemas concurrentes y distribuidos: objetos concurrentes y bytecode de Ethereum 2020

    Universidad Complutense de Madrid

    Gordillo Alguacil, Pablo

  5. Chair of the Committee

    A model driven methodology for the construction of reliable concurrent software 2019

    Universidad Politécnica de Madrid

    Alborodo, Raul Nestor Neri

  6. Committee Member

    A multi-language and multi-platform framework for resource consumption analysis and its application to energy-efficient software development 2018

    Universidad Politécnica de Madrid

    Liqat, Umer

  7. Chair of the Committee

    Aplicación de las unidades de procesamiento gráfico en el diseño e implementación de sistemas de ray tracing 2014

    Universidad Complutense de Madrid

    Torres de Alba, Roberto

  8. Chair of the Committee

    Improving the solving efficiency of TOY (FD) and its application to real-life problems 2014

    Universidad Complutense de Madrid

    Castiñeiras Pérez, Ignacio

  9. Chair of the Committee

    De programas abstractos a cotas asintóticas precisas en forma cerrada 2014

    Universidad Complutense de Madrid

    Alonso Blas, Diego Esteban

  10. Chair of the Committee

    Approximate Relational Reasoning for Probabilistic Programs 2014

    Universidad Politécnica de Madrid

    Olmedo, Federico

  11. Chair of the Committee

    Termination and cost analysis: Complexity and precision issues 2013

    Universidad Politécnica de Madrid

    Masud, Md. Abu Naser

  12. Committee Member

    Abstract Certification of Java Programs in Rewriting Logic 2011

    Universitat Politècnica de València

    Alba Castro, Mauricio Fernando

  13. Chair of the Committee

    Programación con indeterminismo: un enfoque basado en reescritura 2010

    Universidad Complutense de Madrid

    Rodríguez Hortalá, Juan

  14. Chair of the Committee

    Técnicas avanzadas de compilación para programación lógica 2010

    Universidad Politécnica de Madrid

    Morales Caballero, José Francisco

  15. Chair of the Committee

    Transformación y análisis de código de bytes orientado a objetos 2009

    Universidad Complutense de Madrid

    Gómez-Zamalloa Gil, Miguel

  16. Committee Member

    Contributions to Formal Communication Elimination for System Models with Explicit Parallelism 2009

    Universitat Ramon Llull

    Babot Pagès, Francesc Xavier

  17. Chair of the Committee

    Formalizando el proceso de depuración en programación funcional paralela y perezosa 2008

    Universidad Complutense de Madrid

    Encina Vara, Alberto de la

  18. Committee Member

    Análisis y verificación de programas modulares 2008

    Universidad Politécnica de Madrid

    Correas Fernández, Jesús

  19. Chair of the Committee

    Redes de Petri móviles para la especificación y verificación de propiedades de seguridad en sistemas ubicuos 2007

    Universidad Complutense de Madrid

    Rosa Velardo, Fernando

  20. Committee Member

    From software architecture to formal verification of a distributed system 2006

    Universidade da Coruña

    Sánchez Penas, Juan José

  21. Chair of the Committee

    Técnicas de diagnóstico y depuración declarativa para lenguajes lógico-funcionales 2004

    Universidad Complutense de Madrid

    CABALLERO ROLDAN, RAFAEL

  22. Secretary of the Committee

    Semánticas formales para un lenguaje funcional paralelo 2004

    Universidad Complutense de Madrid

    Hidalgo Herrero, Mercedes

  23. Chair of the Committee

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

    Universidad Complutense de Madrid

    MARROQUÍN ALONSO, OLGA

  24. Secretary of the Committee

    Partial evaluation of multi-paradigm declarative languaces: foundations, control, algorithms and efficiency 2001

    Universitat Politècnica de València

    Albert, Elvira

  25. Committee Member

    Desarrollo modular de procesadores de lenguajes a partir de especificaciones semánticas reutilizables 2001

    Universidad de Oviedo

    Labra Gayo, José Emilio

  26. Committee Member

    Especialización de programas lógico-funcionales perezosos 2000

    Universitat Politècnica de València

    Julián Iranzo, Pascual

  27. Committee Member

    Reglas y estrategias de transformación para programas lógico-funcionales 2000

    Universitat Politècnica de València

    Moreno Valverde, Ginés Damián

  28. Committee Member

    Un enfoque formal de la descripción unificada de sistemas analógicos y digitales 1998

    Universidad Politécnica de Madrid

    Martínez Madrid, Natividad

  29. Secretary of the Committee

    Semánticas de pruebas para álgebras de procesos probabilísticos 1996

    Universidad Complutense de Madrid

    Núñez García, Manuel

  30. Committee Member

    Técnicas de implementación de Redes de Petri 1996

    Universidad de Zaragoza

    Briz Velasco, José Luis

  31. Committee Member

    Arquitectura de programas a partir de especificaciones formales 1994

    Universidad Politécnica de Madrid

    Salvachúa Rodríguez, Joaquín

  32. Secretary of the Committee

    Decidibilidad de problemas sobre Redes de Petri temporizadas 1993

    Universidad Complutense de Madrid

    Valero Ruiz, Valentín

  33. Secretary of the Committee

    Csp probabilístico: un modelo probabilístico de procesos concurrentes 1993

    Universidad Complutense de Madrid

    Cuartero Gómez, Fernando

  34. Committee Member

    Implementación de especificaciones algebraicas 1993

    Universidad del País Vasco - Euskal Herriko Unibertsitatea

    Sánchez, Ana

  35. Committee Member

    En busca del tiempo perdido 1990

    Universidad Complutense de Madrid

    Ortega Mallén, Yolanda

  36. Committee Member

    Un model pel tractament de la informacio temporal en un sistema de comprensio automática de noticies 1990

    Universitat Politècnica de Catalunya (UPC)

    Castell Ariño, Núria

  37. Committee Member

    Especificación algebraica de tipos abstractos de datos no deterministas 1988

    Universidad del País Vasco - Euskal Herriko Unibertsitatea

    Valenciano Llovera, Federico