Doktorego-tesia

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

    Universidad Complutense de Madrid

Tesi epaimahaiak (15)

  1. Epaimahaiko Presidente

    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. Epaimahaikidea

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

    Universidad Politécnica de Madrid

    Sevilla de Pablo, Andrés

  3. Epaimahaiko Presidente

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

    Universidad Complutense de Madrid

    ARANDA LOPEZ, GABRIEL

  4. Epaimahaiko Presidente

    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. Epaimahaiko Presidente

    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. Epaimahaiko Secretario

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

    Universidad Complutense de Madrid

    Alonso Blas, Diego Esteban

  7. Epaimahaiko Presidente

    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. Epaimahaiko Presidente

    Analysis Techniques for Concurrent Programming Languages 2013

    Universitat Politècnica de València

    Tamarit Muñoz, Salvador

  9. Epaimahaiko Presidente

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

    Universidad Politécnica de Madrid

    Román Díez, Guillermo

  10. Epaimahaiko Presidente

    Programación declarativa cualificada con restricciones 2011

    Universidad Complutense de Madrid

    ROMERO DIAZ, CARLOS ALBERTO

  11. Epaimahaiko Presidente

    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. Epaimahaikidea

    Evolución gramatical y semántica 2010

    Universidad Autónoma de Madrid

    Cruz Echeandía, Marina de la

  13. Epaimahaikidea

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

    Universidad del País Vasco - Euskal Herriko Unibertsitatea

    Álvez, Javier

  14. Epaimahaiko Secretario

    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. Epaimahaikidea

    Strategies and analysis techniques for functional program optimization 2003

    Universitat Politècnica de València

    Escobar Román, Santiago