Tese doutoral

  1. Programación funcional y lógica con restricciones 1994

    Universidad Complutense de Madrid

Tribunais de teses (15)

  1. Presidente do tribunal

    Análisis de recursos de programas enteros y abstractos: Resource analysis of integer and abstract programs 2022

    Universidad Complutense de Madrid

    MERAYO CORCOBA, ALICIA

  2. Vogal do tribunal

    Construcción y navegación de redes de pequeño mundo 2020

    Universidad Politécnica de Madrid

    Sevilla de Pablo, Andrés

  3. Presidente do tribunal

    Extensiones de bases de datos relacionales y deductivas: fundamentos teóricos e implementación 2015

    Universidad Complutense de Madrid

    ARANDA LOPEZ, GABRIEL

  4. Presidente do tribunal

    Desarrollo dirigido por modelos de aplicaciones seguras para el manejo de información 2015

    Universidad Complutense de Madrid

    García de Dios, Miguel Ángel

  5. Presidente do tribunal

    Técnicas de detección y diagnosis de errores en consultas de bases de datos 2014

    Universidad Complutense de Madrid

    García Ruiz, Yolanda

  6. Secretario do tribunal

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

    Universidad Complutense de Madrid

    Alonso Blas, Diego Esteban

  7. Presidente do tribunal

    Generación de Casos de Prueba en Programación Orientada a Objetos = Test Case Generation in Object-Oriented Programming 2013

    Universidad Politécnica de Madrid

    Rojas Siles, José Miguel

  8. Presidente do tribunal

    Analysis Techniques for Concurrent Programming Languages 2013

    Universitat Politècnica de València

    Tamarit Muñoz, Salvador

  9. Presidente do tribunal

    Advanced Topics in Resource Analysis: Certification, Incrementality, Concurrency and Array-Sensitivity 2012

    Universidad Politécnica de Madrid

    Román Díez, Guillermo

  10. Presidente do tribunal

    Programación declarativa cualificada con restricciones 2011

    Universidad Complutense de Madrid

    ROMERO DIAZ, CARLOS ALBERTO

  11. Presidente do tribunal

    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

  12. Vogal do tribunal

    Evolución gramatical y semántica 2010

    Universidad Autónoma de Madrid

    Cruz Echeandía, Marina de la

  13. Vogal do tribunal

    A transformational approach to constructive negation in constraint normal logic programming 2008

    Universidad del País Vasco - Euskal Herriko Unibertsitatea

    Álvez, Javier

  14. Secretario do tribunal

    Una aproximación offline a la evaluación parcial dirigida por narrowing 2007

    Universitat Politècnica de València

    Ramos Díaz, J. Guadalupe

  15. Vogal do tribunal

    Strategies and analysis techniques for functional program optimization 2003

    Universitat Politècnica de València

    Escobar Román, Santiago