Thesis

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

    Universidad Complutense de Madrid

Theses Committees (15)

  1. Chair of the Committee

    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. Committee Member

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

    Universidad Politécnica de Madrid

    Sevilla de Pablo, Andrés

  3. Chair of the Committee

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

    Universidad Complutense de Madrid

    ARANDA LOPEZ, GABRIEL

  4. Chair of the Committee

    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. Chair of the Committee

    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. Secretary of the Committee

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

    Universidad Complutense de Madrid

    Alonso Blas, Diego Esteban

  7. Chair of the Committee

    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. Chair of the Committee

    Analysis Techniques for Concurrent Programming Languages 2013

    Universitat Politècnica de València

    Tamarit Muñoz, Salvador

  9. Chair of the Committee

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

    Universidad Politécnica de Madrid

    Román Díez, Guillermo

  10. Chair of the Committee

    Programación declarativa cualificada con restricciones 2011

    Universidad Complutense de Madrid

    ROMERO DIAZ, CARLOS ALBERTO

  11. Chair of the Committee

    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. Committee Member

    Evolución gramatical y semántica 2010

    Universidad Autónoma de Madrid

    Cruz Echeandía, Marina de la

  13. Committee Member

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

    Universidad del País Vasco - Euskal Herriko Unibertsitatea

    Álvez, Javier

  14. Secretary of the Committee

    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. Committee Member

    Strategies and analysis techniques for functional program optimization 2003

    Universitat Politècnica de València

    Escobar Román, Santiago