FRANCISCO JAVIER
LÓPEZ FRAGUAS
Catedrático de universidad
Tese doutoral
-
Programación funcional y lógica con restricciones 1994
Universidad Complutense de Madrid
Teses dirixidas (5)
-
Análisis estático de tipos para lenguajes de tipado dinámico 2022
Universidad Complutense de Madrid
-
Improving the solving efficiency of TOY (FD) and its application to real-life problems 2014
Universidad Complutense de Madrid
Castiñeiras Pérez, Ignacio
-
Sistemas de tipos en lenguajes lógico-funcionales 2012
Universidad Complutense de Madrid
-
Programación con indeterminismo: un enfoque basado en reescritura 2010
Universidad Complutense de Madrid
-
Una aproximación al fallo en programación declarativa multiparadigma 2004
Universidad Complutense de Madrid
Tribunais de teses (15)
-
Presidente do tribunal
Análisis de recursos de programas enteros y abstractos: Resource analysis of integer and abstract programs 2022Universidad Complutense de Madrid
-
Vogal do tribunal
Construcción y navegación de redes de pequeño mundo 2020Universidad Politécnica de Madrid
Sevilla de Pablo, Andrés
-
Presidente do tribunal
Extensiones de bases de datos relacionales y deductivas: fundamentos teóricos e implementación 2015Universidad Complutense de Madrid
ARANDA LOPEZ, GABRIEL
-
Presidente do tribunal
Desarrollo dirigido por modelos de aplicaciones seguras para el manejo de información 2015Universidad Complutense de Madrid
García de Dios, Miguel Ángel
-
Presidente do tribunal
Técnicas de detección y diagnosis de errores en consultas de bases de datos 2014Universidad Complutense de Madrid
-
Secretario do tribunal
De programas abstractos a cotas asintóticas precisas en forma cerrada 2014Universidad Complutense de Madrid
Alonso Blas, Diego Esteban
-
Presidente do tribunal
Generación de Casos de Prueba en Programación Orientada a Objetos = Test Case Generation in Object-Oriented Programming 2013Universidad Politécnica de Madrid
Rojas Siles, José Miguel
-
Presidente do tribunal
Analysis Techniques for Concurrent Programming Languages 2013Universitat Politècnica de València
Tamarit Muñoz, Salvador
-
Presidente do tribunal
Advanced Topics in Resource Analysis: Certification, Incrementality, Concurrency and Array-Sensitivity 2012Universidad Politécnica de Madrid
Román Díez, Guillermo
-
Presidente do tribunal
Programación declarativa cualificada con restricciones 2011Universidad Complutense de Madrid
ROMERO DIAZ, CARLOS ALBERTO
-
Presidente do tribunal
Análisis de propiedades de seguridad y consumo acotado de memoria en un lenguaje funcional sin recolección de basura 2011Universidad Complutense de Madrid
-
Vogal do tribunal
Evolución gramatical y semántica 2010Universidad Autónoma de Madrid
-
Vogal do tribunal
A transformational approach to constructive negation in constraint normal logic programming 2008Universidad del País Vasco - Euskal Herriko Unibertsitatea
Álvez, Javier
-
Secretario do tribunal
Una aproximación offline a la evaluación parcial dirigida por narrowing 2007Universitat Politècnica de València
Ramos Díaz, J. Guadalupe
-
Vogal do tribunal
Strategies and analysis techniques for functional program optimization 2003Universitat Politècnica de València
Escobar Román, Santiago