| Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor) MV Hermenegildo, G Puebla, F Bueno, P López-García Science of Computer Programming 58 (1-2), 115-140, 2005 | 231 | 2005 |
| An overview of Ciao and its design philosophy MV Hermenegildo, F Bueno, M Carro, P López-García, E Mera, ... Theory and Practice of Logic Programming 12 (1-2), 219-252, 2012 | 200 | 2012 |
| Lower Bound Cost Estimation for Logic Programs. SK Debray, P López-García, MV Hermenegildo, NW Lin ILPS 97, 291-305, 1997 | 137 | 1997 |
| User-definable resource bounds analysis for logic programs J Navas, E Mera, P López-García, MV Hermenegildo Logic Programming: 23rd International Conference, ICLP 2007, Porto, Portugal …, 2007 | 122 | 2007 |
| The CIAO multi-dialect compiler and system: An experimentation workbench for future (C) LP systems MV Hermenegildo, F Bueno Carrillo, D Cabeza Gras, M Carro Liñares, ... Informatica, 1996 | 122 | 1996 |
| The Ciao prolog system F Bueno, D Cabeza, M Carro, M Hermenegildo, P López-Garcıa, ... Reference Manual. The Ciao System Documentation Series–TR CLIP3/97.1, School …, 1997 | 120 | 1997 |
| A methodology for granularity-based control of parallelism in logic programs SK Debray, MV Hermenegildo, P López García Journal of symbolic computation 21 (4-6), 715-734, 1996 | 99 | 1996 |
| Energy consumption analysis of programs based on XMOS ISA-level models U Liqat, S Kerrison, A Serrano, K Georgiou, P Lopez-Garcia, N Grech, ... Logic-Based Program Synthesis and Transformation: 23rd International …, 2014 | 88 | 2014 |
| Bone‐forming and antiresorptive effects of romosozumab in postmenopausal women with osteoporosis: bone histomorphometry and microcomputed tomography analysis after 2 and 12 … P Chavassieux, R Chapurlat, N Portero‐Muzy, JP Roux, P Garcia, ... Journal of Bone and Mineral Research 34 (9), 1597-1608, 2019 | 86 | 2019 |
| Non-failure analysis for logic programs SK Debray, MV Hermenegildo MIT Press, 1997 | 76 | 1997 |
| Estimating the computational cost of logic programs SK Debray, P López García, MV Hermenegildo, NW Lin Springer Berlin Heidelberg, 1994 | 73 | 1994 |
| Program Analysis, Debugging, and Optimization Using the Ciao System Preprocessor¹ MV Hermenegildo, F Bueno, G Puebla, P Lopez Logic Programming: Proceedings of the 1999 International Conference on Logic …, 1999 | 70 | 1999 |
| Integrating software testing and run-time checking in an assertion verification framework E Mera, P Lopez-García, M Hermenegildo Logic Programming: 25th International Conference, ICLP 2009, Pasadena, CA …, 2009 | 65 | 2009 |
| Resource usage analysis of logic programs via abstract interpretation using sized types A Serrano, P López-García, MV Hermenegildo Theory and Practice of Logic Programming 14 (4-5), 739-754, 2014 | 59 | 2014 |
| Program development using abstract interpretation (and the Ciao system preprocessor) MV Hermenegildo, G Puebla, F Bueno, P López-García Static Analysis: 10th International Symposium, SAS 2003 San Diego, CA, USA …, 2003 | 56 | 2003 |
| Inferring parametric energy consumption functions at different software levels: ISA vs. LLVM IR U Liqat, K Georgiou, S Kerrison, P Lopez-Garcia, JP Gallagher, ... Foundational and Practical Aspects of Resource Analysis: 4th International …, 2016 | 43 | 2016 |
| Abstraction carrying code and resource-awareness MV Hermenegildo, E Albert, P López-García, G Puebla Proceedings of the 7th ACM SIGPLAN international conference on Principles …, 2005 | 41 | 2005 |
| The Ciao System. Ref. Manual (v1. 13) F Bueno, D Cabeza, M Carro, M Hermenegildo, P López-Garcıa, ... Technical report, CS School (UPM), 2006. Available at http://www. ciaohome. org, 2006 | 36 | 2006 |
| Determinacy analysis for logic programs using mode and type information P López-García, F Bueno, M Hermenegildo Logic Based Program Synthesis and Transformation: 14th International …, 2005 | 34 | 2005 |
| The CIAO prolog system: reference manual F Bueno, D Cabeza, M Carro, M Hermenegildo, P López-Garcıa, ... School of Computer Science, Technical University of Madrid (UPM), Tech. Rep …, 1997 | 34 | 1997 |
Manuel HermenegildoIMDEA Software Institute and Technical U. of Madrid (UPM)Verified email at upm.es
