José F. Morales
Orcid: 0000-0001-9782-8135Affiliations:
- Madrid Institute of Advanced Studies in Software Development Technology (IMDEA Software Institute), Spain
According to our database1,
José F. Morales
authored at least 61 papers
between 2004 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
An Order Theory Framework of Recurrence Equations for Static Cost Analysis - Dynamic Inference of Non-Linear Inequality Invariants.
CoRR, 2024
Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis.
CoRR, 2024
2023
Proceedings of the Prolog: The Next 50 Years, 2023
Proceedings of the Prolog: The Next 50 Years, 2023
Proceedings of the Prolog: The Next 50 Years, 2023
Demonstrating (Hybrid) Active Logic Documents and the Ciao Prolog Playground, and an Application to Verification Tutorials.
Proceedings of the Proceedings 39th International Conference on Logic Programming, 2023
Proceedings of the Logic-Based Program Synthesis and Transformation, 2023
Proceedings of the Logic-Based Program Synthesis and Transformation, 2023
2022
Introduction to the 38th International Conference on Logic Programming Special Issue II.
Theory Pract. Log. Program., 2022
Introduction to the 38th International Conference on Logic Programming Special Issue.
Theory Pract. Log. Program., 2022
Proceedings of the International Conference on Logic Programming 2022 Workshops co-located with the 38th International Conference on Logic Programming (ICLP 2022), Haifa, Israel, July 31st, 2022
2021
Theory Pract. Log. Program., 2021
Theory Pract. Log. Program., 2021
Proceedings of the Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis, 2021
2020
Proceedings of the Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis, 2020
Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020
Proceedings of the Static Analysis - 27th International Symposium, 2020
Proceedings of the Logic-Based Program Synthesis and Transformation, 2020
2019
CoRR, 2019
Proceedings of the 2019 IEEE Symposium on Security and Privacy, 2019
Proceedings of the Logic-Based Program Synthesis and Transformation, 2019
Proceedings of the Logic-Based Program Synthesis and Transformation, 2019
Proceedings of the Logic-Based Program Synthesis and Transformation, 2019
Proceedings of the Logic-Based Program Synthesis and Transformation, 2019
2018
Some trade-offs in reducing the overhead of assertion run-time checks via static analysis.
Sci. Comput. Program., 2018
CoRR, 2018
CoRR, 2018
Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, 2018
Proceedings of the Practical Aspects of Declarative Languages, 2018
Proceedings of the Logic-Based Program Synthesis and Transformation, 2018
Proceedings of the Technical Communications of the 34th International Conference on Logic Programming, 2018
Proceedings of the Technical Communications of the 34th International Conference on Logic Programming, 2018
2017
Proceedings of the Technical Communications of the 33rd International Conference on Logic Programming, 2017
2016
Theory Pract. Log. Program., 2016
Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, 2016
Rahft: A Tool for Verifying Horn Clauses Using Abstract Interpretation and Finite Tree Automata.
Proceedings of the Computer Aided Verification - 28th International Conference, 2016
2015
Theory Pract. Log. Program., 2015
2014
Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, 2014
Proceedings of the Logic-Based Program Synthesis and Transformation, 2014
2013
Proceedings of the 23rd Workshop on Logic-based methods in Programming Environments (WLPE 2013).
CoRR, 2013
Proceedings of the Practical Aspects of Declarative Languages, 2013
2012
2011
Proceedings of the Rule-Based Reasoning, Programming, and Applications, 2011
Proceedings of the Logic-Based Program Synthesis and Transformation, 2011
2010
Advanced Compilation Techniques for Logic Programming = Técnicas Avanzadas de Compilación para Programación Lógica.
PhD thesis, 2010
2008
Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2008
An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy.
Proceedings of the Concurrency, 2008
2006
Proceedings of the Logic-Based Program Synthesis and Transformation, 2006
Proceedings of the 2006 International Conference on Compilers, 2006
2005
A Generator of Efficient Abstract Machine Implementations and Its Application to Emulator Minimization.
Proceedings of the Logic Programming, 21st International Conference, 2005
2004
Proceedings of the Practical Aspects of Declarative Languages, 6th International Symposium, 2004