FRANCISCO JAVIER
LÓPEZ FRAGUAS
Catedrático de universidad
Tesis doctoral
-
Programación funcional y lógica con restricciones 1994
Universidad Complutense de Madrid
Tesis dirigidas (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
Tribunales de tesis (15)
-
Presidente del tribunal
Análisis de recursos de programas enteros y abstractos: Resource analysis of integer and abstract programs 2022Universidad Complutense de Madrid
-
Vocal del tribunal
Construcción y navegación de redes de pequeño mundo 2020Universidad Politécnica de Madrid
Sevilla de Pablo, Andrés
-
Presidente del tribunal
Extensiones de bases de datos relacionales y deductivas: fundamentos teóricos e implementación 2015Universidad Complutense de Madrid
ARANDA LOPEZ, GABRIEL
-
Presidente del 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 del tribunal
Técnicas de detección y diagnosis de errores en consultas de bases de datos 2014Universidad Complutense de Madrid
-
Secretario del tribunal
De programas abstractos a cotas asintóticas precisas en forma cerrada 2014Universidad Complutense de Madrid
Alonso Blas, Diego Esteban
-
Presidente del 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 del tribunal
Analysis Techniques for Concurrent Programming Languages 2013Universitat Politècnica de València
Tamarit Muñoz, Salvador
-
Presidente del tribunal
Advanced Topics in Resource Analysis: Certification, Incrementality, Concurrency and Array-Sensitivity 2012Universidad Politécnica de Madrid
Román Díez, Guillermo
-
Presidente del tribunal
Programación declarativa cualificada con restricciones 2011Universidad Complutense de Madrid
ROMERO DIAZ, CARLOS ALBERTO
-
Presidente del 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
-
Vocal del tribunal
Evolución gramatical y semántica 2010Universidad Autónoma de Madrid
-
Vocal del tribunal
A transformational approach to constructive negation in constraint normal logic programming 2008Universidad del País Vasco - Euskal Herriko Unibertsitatea
Álvez, Javier
-
Secretario del tribunal
Una aproximación offline a la evaluación parcial dirigida por narrowing 2007Universitat Politècnica de València
Ramos Díaz, J. Guadalupe
-
Vocal del tribunal
Strategies and analysis techniques for functional program optimization 2003Universitat Politècnica de València
Escobar Román, Santiago