Scholar
Jose F. Morales
Google Scholar ID: DZOdfUIAAAAJ
Assistant Professor at UPM / IMDEA Software Institute
Logic Programming
Virtual Machines
Compilers
Abstract Interpretation
Static Analysis
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
898
H-index
12
i10-index
19
Publications
20
Co-authors
15
list available
Publications
6 items
Towards Relating Ciao Assertions and LPTP Theorems
2026
Cited
0
An Approach to the Abstract Interpretation of Goal-Directed Answer Set Programming
2026
Cited
0
Exploiting Multiple Abstract Call Patterns for Optimizing Run-Time Checks
2026
Cited
0
Detecting speculative leaks with compositional semantics
2026
Cited
0
Hiord: An Approach to the Specification and Verification of Higher-Order (C)LP Programs
2025
Cited
0
Checkification: A Practical Approach for Testing Static Analysis Truths
2025
Cited
0
Co-authors
5 total
Manuel Hermenegildo
IMDEA Software Institute and Technical U. of Madrid (UPM)
Pedro Lopez-Garcia
Spanish Research Council (CSIC) and The IMDEA Software Institute
Boris Köpf
Azure Research, Microsoft
Marco Guarnieri
Associate Research Professor, IMDEA Software Institute
Jan Reineke
Professor of Computer Science, Saarland University, Saarland Informatics Campus
