José F. Morales
Missouri Botanical Garden(US)IMDEA Software(ES)IMDEA Software Institute(ES)Universidad Politécnica de Madrid(ES)
Publications by Year
Research Areas
Logic, programming, and type systems, Formal Methods in Verification, Software Engineering Research, Software Testing and Debugging Techniques, Parallel Computing and Optimization Techniques
Most-Cited Works
- → An overview of Ciao and its design philosophy(2011)148 cited
- → Rahft: A Tool for Verifying Horn Clauses Using Abstract Interpretation and Finite Tree Automata(2016)39 cited
- → Fifty Years of Prolog and Beyond(2022)34 cited
- → Improved Compilation of Prolog to C Using Moded Types and Determinism Information(2004)29 cited
- → Proceedings 39th International Conference on Logic Programming(2023)29 cited
- El engagement como resultado de la socialización organizacional(2009)
- → High-level languages for small devices(2006)24 cited