Manuel Hermenegildo - Major publications #

Full CV and publication list

1. D. Cabeza, M. Hermenegildo. Non-Strict Independence-Based Program Parallelization Using Sharing and Freeness Information. Theo. Computer Science, Elsevier, 2009. [CORE: A. JCR (ave) top 60%, 0.57, Theory & Methods.]

2. E. Albert, G. Puebla, M. Hermenegildo. Abstraction-Carrying Code: A Model for Mobile Code Safety. New Generation Computing, 26 (2), pp. 171-204, Mar 2008. [CORE: B. JCR (ave) top 58%, 0.54, Hardware & Architecture. ]

3. M. Hermenegildo, G. Puebla, F. Bueno, P. Lopez-Garcia. Integrated Program Debugging, Verification, and Optimization Using Abstract Inter pretation (and The Ciao System Preprocessor). Science of Computer Programming, 58 (1-2), pp. 115-140, Elsevier, Oct 2005. [CORE: A. JCR (ave) top 39%, 0.77, Software, Graphics, Programming.]

4. G. Gupta, E. Pontelli, K. Ali, M. Carlsson, M. Hermenegildo. Parallel Execution of Prolog Programs: a Survey. ACM Trans. on Programming Languages and Systems, 23 (4), pp. 472-602, ACM Press, Jul 2001. [CORE: A+. JCR (ave) top 19%, 1.26, Software Engineering.]

5. D. Cabeza, M. Hermenegildo. Distributed WWW Programming using (Ciao-)Prolog and the PiLLoW Library. Theory and Practice of Logic Programming, 1 (3), pp. 251-282, Cambridge U. Press, May 2001. [CORE: A. JCR (ave) top 31%, 1.23, Software Engineering.]

6. M. Garcia de la Banda, M. Hermenegildo, K. Marriott. Independence in CLP Languages. ACM Trans. on Programming Languages and Systems, 22 (2), pp. 269-339, ACM Press, Mar 2000. [CORE: A+. JCR (ave) top 19%, 1.26, Software Engineering.]

7. M. Hermenegildo. Parallelizing Irregular and Pointer-Based Computations Automatically: Perspectives from Logic and Constraint Programming. Parallel Computing, 26 (13-14), pp. 1685-1708, Elsevier, Dec 2000. [CORE: A. JCR (ave) top 47%, 0.68, Theory & Methods.]

8. M. Hermenegildo, G. Puebla, K. Marriott, P. Stuckey. Incremental Analysis of Constraint Logic Programs. ACM Trans. on Programming Languages and Systems, 22 (2), pp. 187-223, ACM Press, Mar 2000. [CORE: A+. JCR (ave) top 19%, 1.26, Software Engineering.]

9.M. Mendez-Lojo, M. Hermenegildo. Precise Set Sharing Analysis for Java-style Programs. 9th Int'l. Conf. on Verification, Model Checking and Abstract Inter pretation (VMCAI'08), LNCS 4905, pp. 172ó187, Springer, Jan 2008. [CORE: A. Avg. pos.: top 33%.]

10. Mera, P. Lopez-Garcia, M. Hermenegildo. Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework. Int'l. Conf. on Logic Programming (ICLP), LNCS, 15 pp., Springer, Jul 2009. [CORE: A. Citeseer : 118/1221 (9%), impact 1.47. CS Conf Rankings: 0.97. Avg. pos.: top 15%.]