

<pre>
!!Manuel Hermenegildo - Major publications 
\\
[Full CV and publication list|hermenegildo_manuel_cv_publications.pdf]
\\ \\
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 &amp;
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 &amp; 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 &amp; 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%.]


</pre>