Portal de Transparencia

Actividad investigadora:

• Artículos en revistas
  • [2019] Description, Implementation, and Evaluation of a Generic Design for Tabled CLP
  • [2019] Description, Implementation, and Evaluation of a Generic Design for Tabled CLP (JCR-Q1)
  • [2019] Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP
  • [2019] Incremental Evaluation of Lattice-Based Aggregates in Logic Programming Using Modular TCLP
  • [2019] Modeling and Reasoning in Event Calculus Using Goal-Directed Constraint Answer Set Programming
  • [2019] Modeling and Reasoning in Event Calculus Using Goal-Directed Constraint Answer Set Programming
  • [2018] Constraint Answer Set Programming without Grounding
  • [2018] Constraint Answer Set Programming without Grounding (JCR-Q1)
  • [2016] Description and Optimization of Abstract Machines in a Dialect of Prolog
  • [2016] Introduction to the 32nd International Conference on Logic Programming Special Issue
  • [2015] A Haskell Implementation of a Rule-Based Program Transformation for C Programs
  • [2015] A Haskell Implementation of a Rule-Based Program Transformation for C Programs
  • [2015] Comparing and Combining Predictive Business Process Monitoring Techniques
  • [2014] Comparing and Combining Predictive Business Process Monitoring Techniques
  • [2014] Towards QoS Prediction Based on Composition Structure Analysis and Probabilistic Models
  • [2014] Transforming Service Compositions into Cloud-Friendly Actor Networks
  • [2013] A Model-Driven Approach to Teaching Concurrency
  • [2013] A Survey on Service Quality Description
  • [2013] A sharing-based approach to supporting adaptation in service compositions
  • [2013] Genetic Algorithm-based Allocation and Scheduling for Voltage and Frequency Scalable XMOS Chips
  • [2013] Reversible Language Extensions and their Application in Debugging
  • [2013] Supporting Pruning in Tabled LP
  • [2012] A Sharing-Based Approach to Supporting Adaptation in Service Compositions.
  • [2012] An overview of Ciao and its design philosophy
  • [2012] Lightweight compilation of (C)LP to JavaScript
  • [2011] Parallel backtracking with answer memoing for independent and-parallelism
  • [2010] Swapping evaluation: A memory-scalable solution for answer-on-demand tabling
  • [2009] Modeling Concurrent Systems with Shared Resources
  • [2008] An Improved Continuation Call-Based Implementation of Tabling
  • [2008] A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism
  • [2008] A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation
  • [2008] Sound Multi-Party Business Protocols for Service Networks
  • [2007] Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs
  • [2007] Combining Static Analysis and Profiling for Estimating Execution Times
  • [2007] Towards Description and Optimization of Abstract Machines in an Extension of Prolog
  ...
  mostrar más
• Capítulos de libros
  • [2016] Description and Evaluation of a Generic Design to Integrate CLP and Tabled Execution
  • [2011] Logic Languages
  • [2010] Analytical Quality Assurance
  • [2010] Modeling and Negotiating Service Quality
  ...
  mostrar más
• Conferencias invitadas en congresos
  • [2019] AI now: it really fits!
  • [2018] 25 Years of Ciao
  • [2013] Digital Cities ? Making it Happen!; Invited speaker at the ?Digital cities of the Future? meeting, Trento, September 2013.
  • [2012] Constraint-Based Runtime Prediction of SLA Violations in Service Orchestrations
  • [2011] An Overview of the Ciao System
  • [2007] Automatic Granularity-Aware Parallelization of Programs with Predicates, Functions, and Constraints
  ...
  mostrar más
• Cursos, seminarios y tutoriales
  • [2019] AI: It Really Fits
  • [2019] Blockchain: Tecnología y aplicaciones
  • [2019] Blockchain: Tecnología y aplicaciones
  • [2019] Investigación e Innovación en Madrid. El papel de los Institutos y Centros de I+D. Misión y modelos de organización
  • [2019] Programas horizontales de Horizon 2020: el European Institute of Innovation and Technology
  • [2014] Rigorous Software Development
  • [2013] Enseñando concurrencia con modelos formales.
  • [2011] First PROMETIDOS-CM Summer School
  • [2009] Licenses for Open Source Software
  ...
  mostrar más
• Estancias y sabáticos recogidos en programas oficiales
  • [2017] Stay of Joaquín Arias at the University of Texas at Dallas (USA).
  • [2007] Scube Project
• Libros
  • [2016] 32nd International Conference on Logic Programming (ICLP 2016)
  • [2016] 32nd International Conference on Logic Programming (ICLP 2016)
  • [2016] Proceedings of the First Workshop on Program Transformation for Programmability in Heterogeneous Architectures (PROHA 2016)
  • [2016] Technical Communications of the 32nd International Conference on Logic Programming.
  • [2016] Technical Communications of the 32nd International Conference on Logic Programming.
  • [2015] Design and implementation of a modular interface to integrate CLP and tabled execution
  • [2015] Improved Static Analysis and Verification of Energy Consumption and other Resources via Abstract Interpretation
  • [2011] Proceedings of the POPL 2011 Workshop on Declarative Aspects of Multicore Programming, DAMP 2011, Austin, TX, USA, January 23, 2011
  • [2010] Practical Aspects of Declarative Languages - 12th. International Symposium, PADL 2010
  ...
  mostrar más
• Otras Publicaciones
  • [2018] Horizontal Programs in Horizon 2020: The European Institute of Innovation and Technology
  • [2018] The Event-B Software Development Method
  • [2015] Towards a Generic Interface to Integrate CLP and Tabled Execution
  • [2015] Towards a Rule-Based Approach to Generate High-Performance Scientific Code
  • [2008] Bridge Transformation for Continuation Call-Based Tabled Execution
  • [2008] CICLOPS 2008
  • [2007] An Improved Continuation Call-Based Implementation of Tabling
  • [2007] Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs
  • [2007] Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs
  • [2007] Automatic Coding Rule Conformance Checking Using Logic Programming
  • [2007] Automatic Unrestricted Independent And-Parallelism in Logic Programs
  • [2007] Rigorous Methods for Mobile and Heterogeneous Software Systems - First Year Report
  • [2007] Towards Execution Time Estimation in Abstract Machine-Based (Logic) Languages
  • [2007] Towards a High-Level Implementation of Execution Primitives for Non-Restricted, Independent And-Parallelism
  • [2007] Towards a High-Level Implementation of Execution Primitives for Non-restricted, Independent And-parallelism
  ...
  mostrar más
• Otros méritos
  • [2017] 33rd International Conference on Logic Programming (ICLP 2017)
  • [2016] Sexenios
  • [2015] Sexenios
• Ponencia en Congresos
  • [2019] Constraint Answer Set Program- ming without Grounding and its Applications
  • [2016] Description and Evaluation of a Generic Design to Integrate CLP and Tabled Execution
  • [2016] Program Transformations in the POLCA Project
  • [2016] Towards Automatic Learning of Heuristics for Mechanical Transformations of Procedural Code.
  • [2016] Towards Automatic Learning of Heuristics for Mechanical Transformations of Procedural Code.
  • [2016] Towards a Semantics-Aware Transformation Toolchain for Heterogeneous Systems.
  • [2016] Towards a Semantics-Aware Transformation Toolchain for Heterogeneous Systems.
  • [2015] A Haskell Implementation of a Rule-Based Program Transformation for C Programs
  • [2015] Towards a Generic Interface to Integrate CLP and Tabled Execution (Extended Abstract)
  • [2013] Towards QoS Prediction Based on Composition Structure Analysis and Probabilistic Environment Models
  • [2012] A Constraint-Based Approach to Quality Assurance in Service Choreographies
  • [2012] A General Implementation Framework for Tabled CLP
  • [2012] A Segment-Swapping Approach for Executing Trapped Computations.
  • [2012] Deriving Specifications for Composite Web Services
  • [2011] Automated Attribute Inference in Complex Service Workflows Based on Sharing Analysis
  • [2011] Constraint-Based Runtime Prediction of SLA Violations in Service Orchestrations
  • [2011] Third international workshop on principles of engineering service-oriented systems: (PESOS 2011)
  • [2010] A Soft Constraint-Based Approach to QoS-Aware Service Selection
  • [2010] An Initial Proposal for Data-Aware Resource Analysis of Orchestrations with Applications to Predictive Monitoring
  • [2010] Automatic Fragment Identification in Workflows Based on Sharing Analysis
  • [2010] Building Dynamic Models of Service Compositions With Simulation of Provision Resources
  • [2010] Towards Data-Aware QoS-driven Adaptation for Service Orchestrations
  • [2009] Modeling Concurrent Systems with Shared Resources
  • [2009] A Coding Rule Conformance Checker Integrated into GCC
  • [2009] A Tabling Implementation Based on Variables with Multiple Bindings
  • [2009] Towards a Complete Scheme for Tabled Execution Based on Program Transformation
  • [2008] A Coding Rule Conformance Checker Integrated into GCC.
  • [2008] Automatic Coding Rule Conformance Checking Using Logic Programming
  • [2008] Comparing Tag Scheme Variations Using an Abstract Machine Generator
  • [2008] Towards a High-Level Implementation of Execution Primitives for Non-restricted, Independent And-parallelism
  • [2007] CICLOPS'07, miembro del Comité de Programa
  • [2007] CICLOPS'07, revisión de artículos
  • [2007] EUROGRAPHICS'07, revisión de artículos
  • [2007] Journal of Applied Logics, revisión de artículos
  • [2007] PADL'07, revisión de artículos
  • [2007] PEPM'07, revisión de artículos
  • [2007] SAS'07, revisión de artículos
  • [2007] Some Improvements over the Continuation Call Tabling Implementation Technique
  • [2007] TGCS'07, revisión de artículos
  • [2007] Towards A High-Level Implementation of Flexible Parallelism Primitives for Symbolic Languages
  • [2007] Towards High-Level Execution Primitives for And-Parallelism: Preliminary Results
  ...
  mostrar más
• Proyectos de I+D+i
  • [2019] BLOQUES-CM: CONTRATOS INTELIGENTES Y BLOCKCHAINS ESCALABLES Y SEGUROS MEDIANTE VERIFICACION Y ANALISIS (BABEL-CLIP-UPM)
  • [2019] DISEÑO E IMPLEMENTACIÓN DE LA ESTRATEGIA CIENTIFICA DE LA FUNDACIÓN IMDEA SOFTWARE
  • [2019] ESTUDIO DE LA VIABILIDAD DEL ANÁLISIS DE PROGRAMAS MEDIANTE INTERPRETACIÓN ABSTRACTA UTILIZANDO LENGUAJES LÓGICOS CON TABULACIÓN COMO MEDIO DE IMPLEMENTACIÓN.
  • [2019] INVESTIGACIÓN SOBRE EL DISEÑO E IMPLEMENTACIÓN DE SISTEMAS DE PROGRAMACIÓN LÓGICA UTILIZANDO TÉCNICAS DE TABULACIÓN EN LA FUNDACIÓN IMDEA SOFTWARE
  • [2019] LENGUAJES PARA RAZONAMIENTO Y REPRESENTACION DE CONOCIMIENTO
  • [2019] PROCODE - Rigorous methods for the development of software systems with certified quality and reliability
  • [2018] CLIP, Next-Generation Energy-Efficiennt Secure Software.
  • [2018] CONSULTORÍA Y ASISTENCIA EN EL DISEÑO E IMPLEMENTACIÓN DE LA ESTRATEGIA CIENTÍICA DE LA FUNDACIÓN IMDEA SOFTWARE
  • [2018] DISEÑO E IMPLEMENTACIÓN DE LA ESTRATEGIA CIENTIFICA DE LA FUNDACIÓN IMDEA SOFTWARE
  • [2018] INVESTIGACIÓN SOBRE EL DISEÑO E IMPLEMENTACIÓN DE SISTEMAS DE PROGRAMACIÓN LÓGICA UTILIZANDO TÉCNICAS DE TABULACIÓN EN LA FUNDACIÓN IMDEA SOFTWARE
  • [2017] CLIP, Next-Generation Energy-Efficiennt Secure Software.
  • [2017] CONSULTORÍA Y ASISTENCIA EN EL DISEÑO E IMPLEMENTACIÓN DE LA ESTRATEGIA CIENTÍICA DE LA FUNDACIÓN IMDEA SOFTWARE
  • [2017] DISEÑO DE LA ESTRATEGIA CIENTÍFICA DE LA FUNDACIÓN IMDEA SOFTWARE
  • [2017] DISEÑO E IMPLEMENTACIÓN DE LA ESTRATEGIA CIENTIFICA DE LA FUNDACIÓN IMDEA SOFTWARE
  • [2017] IMPLEMENTACIÓN Y SEGUIMIENTO DE LA ESTRATEGIA CIENTÍFICA DE LA FUNDACIÓN IMDEA SOFTWARE
  • [2017] INVESTIGACIÓN SOBRE EL DISEÑO E IMPLEMENTACIÓN DE SISTEMAS DE PROGRAMACIÓN LÓGICA UTILIZANDO TÉCNICAS DE TABULACIÓN EN LA FUNDACIÓN IMDEA SOFTWARE
  • [2017] STRONGSOFT-CLIP: TECNOLOGIAS RIGUROSAS PARA SOFTWARE DE NUEVA GENERACION, ABIERTO Y FIABLE
  • [2016] CLIP, Next-Generation Energy-Efficiennt Secure Software.
  • [2016] DISEÑO DE LA ESTRATEGIA CIENTÍFICA DE LA FUNDACIÓN IMDEA SOFTWARE
  • [2016] DISEÑO DE LA ESTRATEGIA CIENTÍFICA DE LA FUNDACIÓN IMDEA SOFTWARE
  • [2016] IMPLEMENTACIÓN Y SEGUIMIENTO DE LA ESTRATEGIA CIENTÍFICA DE LA FUNDACIÓN IMDEA SOFTWARE
  • [2016] IMPLEMENTACIÓN Y SEGUIMIENTO DE LA ESTRATEGIA CIENTÍFICA DE LA FUNDACIÓN IMDEA SOFTWARE
  • [2016] STRONGSOFT-CLIP: TECNOLOGIAS RIGUROSAS PARA SOFTWARE DE NUEVA GENERACION, ABIERTO Y FIABLE
  • [2015] ASISTENCIA CIENTÍFICA EN LA REALIZACIÓN DEL PROYECTO DE INVESTIGACIÓN FP7 POLCA
  • [2015] CONSULTORÍA Y ASISTENCIA CIENTÍFICO-ESTRATÉGICA PARA EL DESARROLLO DEL NODO ESPAÑOL DE EIT ICT LABS
  • [2015] CONSULTORÍA Y ASISTENCIA EN LA DIRECCIÓN CIENTÍFICA DEL IMDEA SOFTWARE INSTITUTE
  • [2015] DISEÑO Y DIRECCIÓN DE IMPLEMENTACIÓN DE MÉTODOS DE ANÁLISIS PROBABILÍSTICO DE USO DE RECURSOS EN SISTEMAS BASADOS EN SERVICIOS USANDO INFORMACIÓN PARCIAL SOBRE SUS COMPONENTES
  • [2015] ESTUDIO DE LA VIABILIDAD Y CORRESPONDIENTE DISEÑO DE UN LENGUAJE Y SISTEMA DE TABULACIÓN CON RESTRICCIONES PARA PROGRAMACIÓN LÓGICA
  • [2015] IMPLEMENTACIÓN Y SEGUIMIENTO DE LA ESTRATEGIA CIENTÍFICA DE LA FUNDACIÓN IMDEA SOFTWARE
  • [2015] NEXT-GENERATION ENERGY.EFFICIENT SECURE SOFTWARE (N-GRENNS SOFTWARE) CLIP
  • [2015] StrongSoft-CLIP: StrongSoft-CLIP: Tecnologías rigurosas para software de nueva generación, abierto y fiable
  • [2014] ASISTENCIA CIENTÍFICA EN LA REALIZACIÓN DEL PROYECTO DE INVESTIGACIÓN FP7 POLCA
  • [2014] CONSULTORÍA Y ASISTENCIA CIENTÍFICO-ESTRATÉGICA PARA EL DESARROLLO DEL NODO ESPAÑOL DE EIT ICT LABS
  • [2014] CONSULTORÍA Y ASISTENCIA EN LA DIRECCIÓN CIENTÍFICA DEL IMDEA SOFTWARE INSTITUTE
  • [2014] DESARROLLO DE SOFTWARE VERIFICABLE Y EFICIENTE
  • [2014] N-Greens Software. Next-GeneRation Energy-EfficieNt Secure Software
  • [2014] PROMETIDOS-CM: PROGRAMA DE METODOS RIGUROSOS DE DESARROLLO DE SOFTWARE- PARTE UPM-CLIP
  • [2014] STRONGSOFT-CLIP: TECNOLOGIAS RIGUROSAS PARA SOFTWARE DE NUEVA GENERACION, ABIERTO Y FIABLE
  • [2013] DOVES (Development Of Verifiable and Efficient Software)
  • [2013] PROMETIDOS: PROgrama de METodos rIgurosos de DesarrollO de Software de la Comunidad de Madrid
  • [2013] STRONGSOFT: TECNOLOGIAS RIGUROSAS PARA SOFTWARE DE NUEVA GENERACION, ABIERTO Y FIABLE
  • [2012] DESARROLLO DE SOFTWARE VERIFICABLE Y EFICIENTE
  • [2012] DISEÑO Y DIRECCIÓN DE IMPLEMENTACIÓN DE MÉTODOS DE ANÁLISIS PROBABILÍSTICO DE USO DE RECURSOS EN SISTEMAS BASADOS EN SERVICIOS USANDO INFORMACIÓN PARCIAL SOBRE SUS COMPONENTES
  • [2012] ESTUDIO DE LA VIABILIDAD Y CORRESPONDIENTE DISEÑO DE UN LENGUAJE Y SISTEMA DE TABULACIÓN CON RESTRICCIONES PARA PROGRAMACIÓN LÓGICA
  • [2012] PROMETIDOS-CM: PROGRAMA DE METODOS RIGUROSOS DE DESARROLLO DE SOFTWARE- PARTE UPM-CLIP
  • [2011] DESARROLLO DE SOFTWARE VERIFICABLE Y EFICIENTE
  • [2011] S-CUBE: Software Services and Systems Network
  • [2011] SPARCIM:CONSORCIO ESPAÑOL DE INVESTIGACION EN INFORMATICA Y MATEMATICAS.
  • [2010] PROMETIDOS-CM: PROGRAMA DE METODOS RIGUROSOS DE DESARROLLO DE SOFTWARE- PARTE UPM-CLIP
  • [2010] S-CUBE - N. 215483
  • [2009] RED DE SISTEMAS Y SERVICIOS SOFTWARE S-CUEBE
  • [2009] Ayuda para la participación en comités internacionales
  • [2009] CONTRACT N. 511618.-GRIDCOORD - ERA PILOT ON A CO-ORDINATED EUROPE-WIDE INITIATIVE IN GRID RESEARCH.
  • [2009] DESARROLLO DE SOFTWARE VERIFICABLE Y EFICIENTE
  • [2009] EMBEDDED SOFTWARE PRODUCT-BASED ASSURANCE (ES_PASS)
  • [2009] EMBEDDED SOFWARE PRODUCT-BASED ASSURANCE (ES PASS)
  • [2009] FINES: FAVARECIENDO LA PARTICIPACION ESPAÑOLA EN PROGRAMAS....
  • [2009] PROGRAMA EN METODOS PARA EL DESARROLLO DE SOFTWARE FIABLE, DE ALTA CALIDAD Y SEGURO DE LA COMUN. DE MADRID
  • [2009] RED DE SSTEMAS Y SERVICIOS SOFTWARES CUEBE-.....
  • [2009] S-Cube: the European Network on Software, Services, and Systems
  • [2008] ES_PASS, Embedded Software Product-based Assurance
  • [2008] European Master Course in Computational Logic
  • [2008] European Masters Course on Software Engineering (Erasmus Mundus). Curso 2008-2010.
  • [2008] FINES: Favoreciendo la participación española en programas internacionales de colaboración relacionados con Software y Servicios por medio de la Plataforma Tecnológica Española INES.
  • [2008] GGCC: Global GNU Compiler Collection
  • [2008] MERIT: MEtodos RIgurosos para sistemas heTerogeneos y Moviles
  • [2008] Promesas-CM:PROgrama en MEtodos para el Desarrollo de Software Fiable, de Alta Calidad y Seguro de la Comunidad de Madrid
  • [2008] SCUBE, Excellence of the Software and Services Architectures objective of the Information & Communication and Technologies programme
  • [2007] ESPASS, EU ITEA2 cluster of EUREKA Programme, Project number 06042, Spanish PROFIT grant FIT-340005-2007-14
  • [2007] MERIT
  • [2007] PROMESAS
  ...
  mostrar más
• Responsabilidades
  • [2019] Area Editor, Theory and Practice of Logic Programming
  • [2019] Member of the Technical and Scientific Advisory Board of Origen Ventures Fund.
  • [2019] Member of the evaluation committee for Galician singular research centers.
  • [2019] Member of the joint board of the Erasmus Mundos European Master in Software Engineering.
  • [2019] Participation in the Program Committee of the 19th National Workshop on Programming Languages (PROLE 2019).
  • [2019] Participation in the Program Committee of the 21st International Symposium on Practical Applications of Declarative Languages (PADL 2019).
  • [2019] Participation in the Program Committee of the 29th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2019).
  • [2019] Participation in the Program Committee of the 35th International Conference on Logic Programming (ICLP 2019).
  • [2019] Representative of IMDEA Software at the General Assembly of EIT Digital.
  • [2019] Representative of IMDEA Software in Informatics Europe.
  • [2019] Representative of IMDEA Software in the Node Strategy Committee of EIT Digital Spain.
  • [2018] Area editor of the journal 'Theory and Practice of Logic Programming'
  • [2018] Director de IMDEA Software
  • [2018] Member of the joint board
  • [2018] Program Committee member
  • [2018] Program Committee member
  • [2018] Program Committee member
  • [2018] Program Committee member
  • [2018] Program Committee member of PADL 2018
  • [2017] 15th International Conference on Service Oriented Computing (ICSOC 2017).
  • [2017] 19th International Symposium on Practical Aspects of Declarative Languages (PADL 2017)
  • [2017] Director de IMDEA Software
  • [2017] XVII Jornadas sobre Programación y Lenguajes (PROLE 2017)
  • [2016] 14th International Conference on Service Oriented Computing (ICSOC 2016).
  • [2016] 18th International Symposium on Practical Aspects of Declarative Languages (PADL 2016).
  • [2016] Co-organizer of the 1st International Workshop on Program Transformation for Programmability in Heterogeneous Architectures (PROHA 2016).
  • [2016] Conference coordinator of the Association for Logic Programming
  • [2016] Creación y coordinación del itinerario 'Software Development through Rigorous Methods'
  • [2016] Deputy representative of IMDEA Software in Informatics Europe
  • [2016] Director adjunto del Instituto IMDEA Software (software.imdea.org), desde mayo de 2011 hasta la actualidad
  • [2016] PC Co-chair of the 32nd International Conference on Logic Programming (ICLP 2016).
  • [2016] Representante desde 2012 de la Universidad Politécnica de Madrid en el comité director de SpaRcim
  • [2015] 17th International Conference on Service Oriented Computing (ICSOC 2015)
  • [2015] 31st International Conference on Logic Programming (ICLP 2015)
  • [2015] 6th workshop on Tools for Automatic Program Analysis (TAPAS 2015).
  • [2015] 8th IEEE International Conference on Service Oriented Computing & Applications, PhD Symposium (SOCA 2015).
  • [2015] Co-Location Manager and Scientific Coordinator of the EIT Digital Madrid Associate Partner Group.
  • [2015] Conference Coordinator of the Association for Logic Programming (ALP).
  • [2015] Deputy representative of IMDEA Software in Informatics Europe
  • [2015] Foundational and Practical Aspects of Resource Analysis (FOPARA 2015)
  • [2015] Representative of UPM in ERCIM
  • [2015] XV Jornadas de PROgramación y LEnguajes (PROLE 2015).
  • [2014] Association for Logic Programming
  • [2014] Director adjunto del Instituto IMDEA Software
  • [2014] Software Development through Rigorous Methods
  • [2014] SparCim - ERCIM
  • [2013] 11th International Conference on Service Oriented Computing (ICSOC 2013).
  • [2013] 15th International Symposium on Principles and Practice of Declarative Programming (PPDP 2013)
  • [2013] Conference Coordinator of the Association for Logic Programming (ALP).
  • [2013] Participation in Program Committee of 35th International Conference on Software Engineering (ICSE 2013).
  • [2013] Program Committee of 29th International Conference on Logic Programming (ICLP 2013).
  • [2013] Program Committee of European Conference on Service-Oriented and Cloud Computing (ESOCC 2013).
  • [2013] Representative of the Technical University of Madrid (UPM) at the SpaRCIM steering board
  • [2013] SpaRCIM deputy representative at ERCIM
  • [2013] XIII Jornadas sobre Programación y Lenguajes (PROLE 2013).
  • [2012] DAMP 2012
  • [2012] ICSOC 2012
  • [2012] ISPA 2012
  • [2012] MOPOC 2012
  • [2012] PROLE 2012
  • [2012] Reviewer for NSF proposal
  • [2009] Comité de programa de MONA+ (Monitoring, Adaptation and Beyond)
  • [2009] Comité de programa de CICLOPS (Colloquium on Implementation of Constraint and LOgic Programming Systems)
  • [2009] Comité de programa de ICSOC (International Conference on Service Oriented Computing)
  • [2009] Representante UPM en el comité gestor de NESSI
  ...
  mostrar más
• Tesis Doctorales
  • [2016] Optimización del proceso de análisis y razonamiento sobre flujos de datos
  • [2016] Optimización del proceso de análisis y razonamiento sobre flujos de datos
  • [2015] Design and implementation of a modular interface to integrate CLP and tabled execution
  • [2015] Design and implementation of a modular interface to integrate CLP and tabled execution
  • [2015] A Framework for Implementing Outsourcing Schemes
  • [2015] A Framework for Implementing Outsourcing Schemes
  • [2015] Implementing a Term Rewriting Engine for the EasyCrypt Framework
  • [2015] Implementing a Term Rewriting Engine for the EasyCrypt Framework
  • [2015] Improved Static Analysis and Verification of Energy Consumption and other Resources via Abstract Interpretation
  • [2015] Improved Static Analysis and Verification of Energy Consumption and other Resources via Abstract Interpretation
  • [2013] Analysis of Service-Oriented Computing Systems
  • [2012] Advanced Evaluation Strategies for Tabling and Parallelism in Logic Programs
  • [2010] Advanced Compilation Tecniques for Logic Programming.
  • [2008] Automatic Unrestricted Independent And-Parallelism in Declarative Multiparadigm Languages
  • [2007] Miembro del Comité de evaluación de la Tesis Doctoral de Claudio Ochoa
  ...
  mostrar más