Manuel V. Hermenegildo

	2012
218		Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo, Peter J. Stuckey: A General Implementation Framework for Tabled CLP. FLOPS 2012: 104-119
217		Pablo Chico de Guzmán, Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo: A Segment-Swapping Approach for Executing Trapped Computations. PADL 2012: 138-152
	2011
216		Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo: Constraint-Based Runtime Prediction of SLA Violations in Service Orchestrations. ICSOC 2011: 62-76
215		Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo: Automated Attribute Inference in Complex Service Workflows Based on Sharing Analysis. IEEE SCC 2011: 120-127
214		Edison Mera, Teresa Trigo, Pedro López-García, Manuel V. Hermenegildo: Profiling for Run-Time Checking of Computational Properties and Performance Debugging in Logic Programs. PADL 2011: 38-53
213		Rémy Haemmerlé, Pedro López-García, Manuel V. Hermenegildo: CLP projection for constraint handling rules. PPDP 2011: 137-148
212		Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, Rémy Haemmerlé, Edison Mera, José F. Morales, Germán Puebla: An Overview of the Ciao System. RuleML Europe 2011: 2
211		Manuel Carro, Manuel V. Hermenegildo: Logic Languages. Encyclopedia of Parallel Computing 2011: 1057-1068
210		Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, Edison Mera, José F. Morales, German Puebla: An overview of Ciao and its design philosophy CoRR abs/1102.5497: (2011)
209		Pablo Chico de Guzmán, Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo: Parallel Backtracking with Answer Memoing for Independent And-Parallelism CoRR abs/1107.4724: (2011)
208		Germán Puebla, Elvira Albert, Manuel V. Hermenegildo: Efficient local unfolding with ancestor stacks. TPLP 11(1): 1-32 (2011)
207		Pablo Chico de Guzmán, Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo: Parallel backtracking with answer memoing for independent and-parallelism. TPLP 11(4-5): 555-574 (2011)
	2010
206		Manuel V. Hermenegildo, Jens Palsberg: Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010 ACM 2010
205		Manuel V. Hermenegildo, Torsten Schaub: Technical Communications of the 26th International Conference on Logic Programming, ICLP 2010, July 16-19, 2010, Edinburgh, Scotland, UK Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2010
204		Gilles Barthe, Manuel V. Hermenegildo: Verification, Model Checking, and Abstract Interpretation, 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings Springer 2010
203		Manuel V. Hermenegildo, Torsten Schaub: Introduction to the Technical Communications of the 26th International Conference on Logic Programming. ICLP (Technical Communications) 2010
202		Manuel V. Hermenegildo, Torsten Schaub: Titlepage, Table of Contents, Conference Organization. ICLP (Technical Communications) 2010
201		Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo: Automatic Fragment Identification in Workflows Based on Sharing Analysis. ICSOC 2010: 350-364
200		Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo: Towards Data-Aware QoS-driven Adaptation for Service Orchestrations. ICWS 2010: 107-114
199		Francisco Bueno, Jorge A. Navas, Manuel V. Hermenegildo: Towards Parameterized Regular Type Inference Using Set Constraints CoRR abs/1002.1836: (2010)
198		Manuel V. Hermenegildo, Torsten Schaub: Introduction to the 26th International Conference on Logic Programming Special Issue CoRR abs/1008.1710: (2010)
197		Elvira Albert, Puri Arenas, Germán Puebla, Manuel V. Hermenegildo: Certificate size reduction in Abstraction-Carrying Code CoRR abs/1010.4533: (2010)
196		Alex Stivala, Peter J. Stuckey, Maria Garcia de la Banda, Manuel V. Hermenegildo, Anthony Wirth: Lock-free parallel dynamic programming. J. Parallel Distrib. Comput. 70(8): 839-848 (2010)
195		Pedro López-García, Francisco Bueno, Manuel V. Hermenegildo: Automatic Inference of Determinacy and Mutual Exclusion for Logic Programs Using Mode and Type Analyses. New Generation Comput. 28(2): 177-206 (2010)
194		Manuel V. Hermenegildo, Torsten Schaub: Introduction to the 26th international conference on logic programming special issue. TPLP 10(4-6): 361-364 (2010)
	2009
193		Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo: A Tabling Implementation Based on Variables with Multiple Bindings. ICLP 2009: 190-204
192		Edison Mera, Pedro López-García, Manuel V. Hermenegildo: Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework. ICLP 2009: 281-295
191		Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo: An Initial Proposal for Data-Aware Resource Analysis of Orchestrations with Applications to Predictive Monitoring. ICSOC/ServiceWave Workshops 2009: 414-424
190		Mark Marron, Deepak Kapur, Manuel V. Hermenegildo: Identification of logically related heap regions. ISMM 2009: 89-98
189		Leonardo Scandolo, César Kunz, Manuel V. Hermenegildo: Program Parallelization Using Synchronized Pipelining. LOPSTR 2009: 173-187
188		Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo: Towards a Complete Scheme for Tabled Execution Based on Program Transformation. PADL 2009: 224-238
187		Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo: A Program Transformation for Continuation Call-Based Tabled Execution CoRR abs/0901.3906: (2009)
186		Germán Puebla, Elvira Albert, Manuel V. Hermenegildo: Efficient Local Unfolding with Ancestor Stacks CoRR abs/0911.4047: (2009)
185		Jorge A. Navas, Mario Méndez-Lojo, Manuel V. Hermenegildo: User-Definable Resource Usage Bounds Analysis for Java Bytecode. Electr. Notes Theor. Comput. Sci. 253(5): 65-82 (2009)
184		Daniel Cabeza Gras, Manuel V. Hermenegildo: Non-strict independence-based program parallelization using sharing and freeness information. Theor. Comput. Sci. 410(46): 4704-4723 (2009)
	2008
183		Jacques Garrigue, Manuel V. Hermenegildo: Functional and Logic Programming, 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings Springer 2008
182		Mark Marron, Manuel V. Hermenegildo, Deepak Kapur, Darko Stefanovic: Efficient Context-Sensitive Shape Analysis with Graph Based Heap Models. CC 2008: 245-259
181		Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, José F. Morales, Germán Puebla: An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy. Concurrency, Graphs and Models 2008: 209-237
180		Eric Trias, Jorge A. Navas, Elena S. Ackley, Stephanie Forrest, Manuel V. Hermenegildo: Negative Ternary Set-Sharing. ICLP 2008: 301-316
179		Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo: A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism. ICLP 2008: 651-666
178		Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo: A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation. ICLP 2008: 795-800
177		Mario Méndez-Lojo, Ondrej Lhoták, Manuel V. Hermenegildo: Efficient Set Sharing Using ZBDDs. LCPC 2008: 47-63
176		Mark Marron, Darko Stefanovic, Deepak Kapur, Manuel V. Hermenegildo: Identification of Heap-Carried Data Dependence Via Explicit Store Heap Models. LCPC 2008: 94-108
175		Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo, Cláudio Silva, Ricardo Rocha: An Improved Continuation Call-Based Implementation of Tabling. PADL 2008: 197-213
174		Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo: Towards a High-Level Implementation of Execution Primitives for Unrestricted, Independent And-Parallelism. PADL 2008: 230-247
173		Mark Marron, Mario Méndez-Lojo, Manuel V. Hermenegildo, Darko Stefanovic, Deepak Kapur: Sharing analysis of arrays, collections, and recursive structures. PASTE 2008: 43-49
172		Pawel Pietrzak, Jesús Correas, Germán Puebla, Manuel V. Hermenegildo: A practical type analysis for verification of modular prolog programs. PEPM 2008: 61-70
171		Edison Mera, Pedro López-García, Manuel Carro, Manuel V. Hermenegildo: Towards execution time estimation in abstract machine-based languages. PPDP 2008: 174-184
170		José F. Morales, Manuel Carro, Manuel V. Hermenegildo: Comparing tag scheme variations using an abstract machine generator. PPDP 2008: 32-43
169		Mario Méndez-Lojo, Manuel V. Hermenegildo: Precise Set Sharing Analysis for Java-Style Programs. VMCAI 2008: 172-187
168		Elvira Albert, Germán Puebla, Manuel V. Hermenegildo: Abstraction-Carrying Code: a Model for Mobile Code Safety. New Generation Comput. 26(2): 171-204 (2008)
	2007
167		Manuel V. Hermenegildo: Automatic granularity-aware parallelization of programs with predicates, functions, and constraints: invited talk. DAMP 2007: 1
166		Pawel Pietrzak, Manuel V. Hermenegildo: Automatic Binding-Related Error Diagnosis in Logic Programs. ICLP 2007: 333-347
165		Jorge A. Navas, Edison Mera, Pedro López-García, Manuel V. Hermenegildo: User-Definable Resource Bounds Analysis for Logic Programs. ICLP 2007: 348-363
164		Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo: Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs. LOPSTR 2007: 138-153
163		Mario Méndez-Lojo, Jorge A. Navas, Manuel V. Hermenegildo: A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs. LOPSTR 2007: 154-168
162		Edison Mera, Pedro López-García, Germán Puebla, Manuel Carro, Manuel V. Hermenegildo: Combining Static Analysis and Profiling for Estimating Execution Times. PADL 2007: 140-154
161		Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo: Towards a high-level implementation of flexible parallelism primitives for symbolic languages. PASCO 2007: 93-94
160		Mark Marron, Darko Stefanovic, Manuel V. Hermenegildo, Deepak Kapur: Heap analysis in the presence of collection libraries. PASTE 2007: 31-36
159		Edison Mera, Pedro López-García, Germán Puebla, Manuel Carro, Manuel V. Hermenegildo: Towards Execution Time Estimation for Logic Programs via Static Analysis and Profiling CoRR abs/cs/0701108: (2007)
158		Mario Méndez-Lojo, Jorge A. Navas, Manuel V. Hermenegildo: An Efficient, Parametric Fixpoint Algorithm for Analysis of Java Bytecode. Electr. Notes Theor. Comput. Sci. 190(1): 51-66 (2007)
	2006
157		Manuel Carro, José F. Morales, Henk L. Muller, Germán Puebla, Manuel V. Hermenegildo: High-level languages for small devices: a case study. CASES 2006: 271-281
156		Amadeo Casas, Daniel Cabeza, Manuel V. Hermenegildo: A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems. FLOPS 2006: 146-162
155		Elvira Albert, Puri Arenas-Sánchez, Germán Puebla, Manuel V. Hermenegildo: Reduced Certificates for Abstraction-Carrying Code. ICLP 2006: 163-178
154		Edison Mera, Pedro López-García, Germán Puebla, Manuel Carro, Manuel V. Hermenegildo: Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation. ICLP 2006: 431-432
153		Mark Marron, Deepak Kapur, Darko Stefanovic, Manuel V. Hermenegildo: A Static Heap Analysis for Shape and Connectivity: Unified Memory Analysis: The Base Framework. LCPC 2006: 345-363
152		José F. Morales, Manuel Carro, Manuel V. Hermenegildo: Towards Description and Optimization of Abstract Machines in an Extension of Prolog. LOPSTR 2006: 77-93
151		Pawel Pietrzak, Jesús Correas, Germán Puebla, Manuel V. Hermenegildo: Context-Sensitive Multivariant Assertion Checking in Modular Programs. LPAR 2006: 392-406
150		Jorge A. Navas, Francisco Bueno, Manuel V. Hermenegildo: Efficient Top-Down Set-Sharing Analysis Using Cliques. PADL 2006: 183-198
149		Germán Puebla, Elvira Albert, Manuel V. Hermenegildo: Abstract Interpretation with Specialized Definitions. SAS 2006: 107-126
	2005
148		Manuel V. Hermenegildo, Daniel Cabeza: Practical Aspects of Declarative Languages, 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings Springer 2005
147		José F. Morales, Manuel Carro, Germán Puebla, Manuel V. Hermenegildo: A Generator of Efficient Abstract Machine Implementations and Its Application to Emulator Minimization. ICLP 2005: 21-36
146		Germán Puebla, Elvira Albert, Manuel V. Hermenegildo: A Generic Framework for the Analysis and Specialization of Logic Programs. ICLP 2005: 407-409
145		Jesús Correas, Germán Puebla, Manuel V. Hermenegildo, Francisco Bueno: Experiments in Context-Sensitive Analysis of Modular Programs. LOPSTR 2005: 163-178
144		Claudio Ochoa, Germán Puebla, Manuel V. Hermenegildo: Removing Superfluous Versions in Polyvariant Specialization of Prolog Programs. LOPSTR 2005: 80-97
143		Manuel V. Hermenegildo, Elvira Albert, Pedro López-García, Germán Puebla: Abstraction carrying code and resource-awareness. PPDP 2005: 1-11
142		Jorge A. Navas, Francisco Bueno, Manuel V. Hermenegildo: A Study of Set-Sharing Analysis via Clique. WLPE 2005: 31-45
141		Germán Puebla, Manuel V. Hermenegildo, Elvira Albert: A Generic Framework for the Analysis and Specialization of Logic Programs. WLPE 2005: 61-76
140		Germán Puebla, Elvira Albert, Manuel V. Hermenegildo: A Generic Framework for the Analysis and Specialization of Logic Programs CoRR abs/cs/0508111: (2005)
139		Jorge A. Navas, Francisco Bueno, Manuel V. Hermenegildo: A study of set-sharing analysis via cliques CoRR abs/cs/0508112: (2005)
138		Elvira Albert, Germán Puebla, Manuel V. Hermenegildo: An Abstract Interpretation-based Approach to Mobile Code Safety. Electr. Notes Theor. Comput. Sci. 132(1): 113-129 (2005)
137		Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García: Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor). Sci. Comput. Program. 58(1-2): 115-140 (2005)
	2004
136		Daniel Cabeza, Manuel V. Hermenegildo, James Lipton: Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction. ASIAN 2004: 93-108
135		Manuel V. Hermenegildo, Elvira Albert, Pedro López-García, Germán Puebla: Some Techniques for Automated, Resource-Aware Distributed and Mobile Computing in a Multi-paradigm Programming System. Euro-Par 2004: 21-36
134		Francisco Bueno, Pedro López-García, Manuel V. Hermenegildo: Multivariant Non-failure Analysis via Standard Abstract Interpretation. FLOPS 2004: 100-116
133		Elvira Albert, Germán Puebla, Manuel V. Hermenegildo: Abstract Interpretation-Based Mobile Code Certification. ICLP 2004: 446-447
132		Germán Puebla, Elvira Albert, Manuel V. Hermenegildo: Efficient Local Unfolding with Ancestor Stacks for Full Prolog. LOPSTR 2004: 149-165
131		Pedro López-García, Francisco Bueno, Manuel V. Hermenegildo: Determinacy Analysis for Logic Programs Using Mode and Type Information. LOPSTR 2004: 19-35
130		Elvira Albert, Germán Puebla, Manuel V. Hermenegildo: Abstraction-Carrying Code. LPAR 2004: 380-397
129		Jesús Correas, J. M. Gómez, Manuel Carro, Daniel Cabeza, Manuel V. Hermenegildo: A Generic Persistence Model for (C)LP Systems (and Two Useful Implementations). PADL 2004: 104-119
128		José F. Morales, Manuel Carro, Manuel V. Hermenegildo: Improved Compilation of Prolog to C Using Moded Types and Determinism Information. PADL 2004: 86-103
127		Germán Puebla, Jesús Correas, Manuel V. Hermenegildo, Francisco Bueno, Maria J. García de la Banda, Kim Marriott, Peter J. Stuckey: A Generic Framework for Context-Sensitive Analysis of Modular Programs. Program Development in Computational Logic 2004: 233-260
126		Elvira Albert, Germán Puebla, Manuel V. Hermenegildo: Experiments in abstract interpretation-based code certification for pervasive systems. SMC (2) 2004: 1125-1130
	2003
125		Jesús Correas, J. M. Gómez, Manuel Carro, Daniel Cabeza Gras, Manuel V. Hermenegildo: A Generic Persistence Model for (C)LP Systems. ICLP 2003: 481-482
124		Germán Puebla, Manuel V. Hermenegildo: Abstract specialization and its applications. PEPM 2003: 29-43
123		Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García: Program Development Using Abstract Interpretation (And The Ciao System Preprocessor). SAS 2003: 127-152
122		Daniel Cabeza, Manuel V. Hermenegildo: Distributed WWW Programming using (Ciao-)Prolog and the PiLLoW library CoRR cs.DC/0312031: (2003)
	2002
121		Manuel V. Hermenegildo, Germán Puebla: Static Analysis, 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002, Proceedings Springer 2002
120		Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García: Program Debugging and Validation Using Semantic Approximations and Partial Specifications. ICALP 2002: 69-72
119		Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García: Abstract Verification and Debugging of Constraint Logic Programs. International Workshop on Constraint Solving and Constraint Logic Programming 2002: 1-14
	2001
118		Susana Muñoz-Hernández, Juan José Moreno-Navarro, Manuel V. Hermenegildo: Efficient Negation Using Abstract Interpretation. LPAR 2001: 485-494
117		Gopal Gupta, Enrico Pontelli, Khayri A. M. Ali, Mats Carlsson, Manuel V. Hermenegildo: Parallel execution of prolog programs: a survey. ACM Trans. Program. Lang. Syst. 23(4): 472-602 (2001)
116		Leon Sterling, Lee Naish, Manuel V. Hermenegildo: Guest editor's introduction Special issue on Logic Programming and the Internet. TPLP 1(3): 249-250 (2001)
115		Daniel Cabeza Gras, Manuel V. Hermenegildo: Distributed WWW Programming using (Ciao-)Prolog and the PiLLoW library. TPLP 1(3): 251-282 (2001)
	2000
114		Pierre Deransart, Manuel V. Hermenegildo, Jan Maluszynski: Analysis and Visualization Tools for Constraint Programming, Constrain Debugging (DiSCiPl project) Springer 2000
113		Pierre Deransart, Manuel V. Hermenegildo, Jan Maluszynski: Introduction. Analysis and Visualization Tools for Constraint Programming 2000: 1-20
112		Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo: An Assertion Language for Constraint Logic Programs. Analysis and Visualization Tools for Constraint Programming 2000: 23-62
111		Manuel Carro, Manuel V. Hermenegildo: Tools for Search-Tree Visualisation: The APT Tool. Analysis and Visualization Tools for Constraint Programming 2000: 237-252
110		Manuel Carro, Manuel V. Hermenegildo: Tools for Constraint Visualisation: The VIFID/TRIFID Tool. Analysis and Visualization Tools for Constraint Programming 2000: 253-272
109		Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo: A Generic Processor for Program Validation and Debugging. Analysis and Visualization Tools for Constraint Programming 2000: 63-107
108		Daniel Cabeza Gras, Manuel V. Hermenegildo: A New Module System for Prolog. Computational Logic 2000: 131-148
107		Manuel V. Hermenegildo: A Documentation Generator for (C)LP Systems. Computational Logic 2000: 1345-1361
106		Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott, Germán Puebla, Peter J. Stuckey: A model for inter-module analysis and optimizing compilation. LOPSTR 2000
105		Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott, Germán Puebla, Peter J. Stuckey: A Model for Inter-module Analysis and Optimizing Compilation. LOPSTR (LNCS 2042: Selected Papers) 2000: 86-102
104		Carlos Carreras, Manuel V. Hermenegildo: Grid-Based Histogram Arithmetic for the Probabilistic Analysis of Functions. SARA 2000: 107-123
103		Manuel V. Hermenegildo, Germán Puebla, Kim Marriott, Peter J. Stuckey: Incremental analysis of constraint logic programs. ACM Trans. Program. Lang. Syst. 22(2): 187-223 (2000)
102		Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott: Independence in CLP languages. ACM Trans. Program. Lang. Syst. 22(2): 296-339 (2000)
101		Manuel V. Hermenegildo: Parallelizing irregular and pointer-based computations automatically: Perspectives from logic and constraint programming. Parallel Computing 26(13-14): 1685-1708 (2000)
	1999
100		Manuel Carro, Manuel V. Hermenegildo: Concurrency in Prolog Using Threads and a Shared Database. ICLP 1999: 320-334
99		Manuel V. Hermenegildo, Francisco Bueno, Germán Puebla, Pedro López-García: Program Analysis, Debugging, and Optimization Using the Ciao System Preprocessor. ICLP 1999: 52-66
98		Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo: Combined Static and Dynamic Assertion-Based Debugging of Constraint Logic Programs. LOPSTR 1999: 273-292
97		Germán Puebla, Manuel V. Hermenegildo, John P. Gallagher: An Integration of Partial Evaluation in a Generic Abstract Interpretation Framework. PEPM 1999: 75-84
96		Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo: Effectivness of Abstract Interpretation in Automatic Parallelization: A Case Study in Logic Programming. ACM Trans. Program. Lang. Syst. 21(2): 189-239 (1999)
95		Germán Puebla, Manuel V. Hermenegildo: Some Issues in Analysis and Specialization of Modular Ciao-Prolog Programs. Electr. Notes Theor. Comput. Sci. 30(2): 163-187 (1999)
94		Daniel Cabeza Gras, Manuel V. Hermenegildo: The Ciao Module System: A New Module System for Prolog. Electr. Notes Theor. Comput. Sci. 30(3): 122-142 (1999)
93		Daniel Cabeza Gras, Manuel V. Hermenegildo: The Ciao Modular, Standalone Compiler and Its Generic Program Processing Library. Electr. Notes Theor. Comput. Sci. 30(3): 144-162 (1999)
92		Manuel V. Hermenegildo: A System for Automatically Generating Documentation for (C)LP Programs. Electr. Notes Theor. Comput. Sci. 30(4): 289-307 (1999)
91		Kalyan Muthukumar, Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo: Automatic Compile-Time Parallelization of Logic Programs for Restricted, Goal Level, Independent and Parallelism. J. Log. Program. 38(2): 165-218 (1999)
90		Germán Puebla, Manuel V. Hermenegildo: Abstract Multiple Specialization and Its Application to Program Parallelization. J. Log. Program. 41(2-3): 279-316 (1999)
	1998
89		Manuel Carro, Manuel V. Hermenegildo: Some Design Issues in the Visualization of Constraint Logic Program Execution. APPIA-GULP-PRODE 1998: 71-86
88		Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo: A Framework for Assertion-Based Debugging in Constraint Logic Programming. CP 1998: 472
87		Francisco Bueno, Manuel V. Hermenegildo, Ugo Montanari, Francesca Rossi: Partial Order and Contextual Net Semantics for Atomic and Locally Atomic CC Programs. Sci. Comput. Program. 30(1-2): 51-82 (1998)
	1997
86		Francisco Bueno, Pierre Deransart, Wlodzimierz Drabent, Gérard Ferrand, Manuel V. Hermenegildo, Jan Maluszynski, Germán Puebla: On the Role of Semantic Approximations on Validation and Diagnosis of Contraint Logic Programs. AADEBUG 1997: 155-169
85		Manuel V. Hermenegildo: Automatic Parallelization of Irregular and Pointer-Based Computations: Perspectives from Logic and Constraint Programming. Euro-Par 1997: 31-45
84		Saumya K. Debray, Pedro López-García, Manuel V. Hermenegildo: Non-Failure Analysis for Logic Programs. ICLP 1997: 48-62
83		Saumya K. Debray, Pedro López-García, Manuel V. Hermenegildo, Nai-Wei Lin: Lower Bound Cost Estimation for Logic Programs. ILPS 1997: 291-305
82		Manuel V. Hermenegildo: Programming with Global Analysis (Abstract). ILPS 1997: 49-50
81		Manuel V. Hermenegildo: Some Challenges for Constraint Programming. Constraints 2(1): 63-69 (1997)
80		Michael Codish, Maurice Bruynooghe, Maria J. García de la Banda, Manuel V. Hermenegildo: Exploiting Goal Independence in the Analysis of Logic Programs. J. Log. Program. 32(3): 247-261 (1997)
	1996
79		Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott: Independence in Dynamically Scheduled Logic Languages. ALP 1996: 47-61
78		Manuel V. Hermenegildo, Francisco Bueno, Daniel Cabeza, Manuel Carro, Maria J. García de la Banda, Pedro López-García, Germán Puebla: The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems. APPIA-GULP-PRODE 1996: 105-110
77		Daniel Cabeza, Manuel V. Hermenegildo: Implementing Distributed Concurrent Constraint Execution in the CIAO System. APPIA-GULP-PRODE 1996: 67-78
76		Francisco Bueno, Daniel Cabeza Gras, Manuel V. Hermenegildo, Germán Puebla: Global Analysis of Standard Prolog Programs. ESOP 1996: 108-124
75		Kish Shen, Manuel V. Hermenegildo: Flexible Scheduling for Non-Deterministic, And-parallel Execution of Logic Programs. Euro-Par, Vol. II 1996: 635-639
74		M. J. Fernández, Manuel Carro, Manuel V. Hermenegildo: IDRA (IDeal Resource Allocation): Computing Ideal Speedups in Parallel Logic Programming. Euro-Par, Vol. II 1996: 724-733
73		Germán Puebla, Manuel V. Hermenegildo: Abstract Specialization and Its Application to Program Parallelization. LOPSTR 1996: 169-186
72		Germán Puebla, Manuel V. Hermenegildo: Automatic Optimization of Dynamic Scheduling in Logic Programs. PLILP 1996: 475-476
71		Maria J. García de la Banda, Francisco Bueno, Manuel V. Hermenegildo: Towards Independent And-Parallelism in CLP. PLILP 1996: 77-91
70		Germán Puebla, Manuel V. Hermenegildo: Optimized Algorithms for Incremental Analysis of Logic Programs. SAS 1996: 270-284
69		Manuel V. Hermenegildo: Some cCallenges for Constraint Programming. ACM Comput. Surv. 28(4es): 64 (1996)
68		Maria J. García de la Banda, Manuel V. Hermenegildo, Maurice Bruynooghe, Veroniek Dumortier, Gerda Janssens, Wim Simoens: Global Analysis of Constraint Logic Programs. ACM Trans. Program. Lang. Syst. 18(5): 564-614 (1996)
67		Enrico Pontelli, Gopal Gupta, Dongxing Tang, Manuel Carro, Manuel V. Hermenegildo: Improving the Efficiency of Nondeterministic Independent and-Parallel Systems. Comput. Lang. 22(2/3): 115-142 (1996)
66		Manuel V. Hermenegildo, Manuel Carro: Relating Data-Parallelism and (and-) Parallelism in Logic Programs. Comput. Lang. 22(2/3): 143-163 (1996)
65		Kish Shen, Manuel V. Hermenegildo: High-level characteristics of or- and independent and-parallelism in prolog. International Journal of Parallel Programming 24(5): 433-478 (1996)
64		Pedro López-García, Manuel V. Hermenegildo, Saumya K. Debray: A Methodology for Granularity-Based Control of Parallelism in Logic Programs. J. Symb. Comput. 21(4): 715-734 (1996)
	1995
63		Manuel V. Hermenegildo, S. Doaitse Swierstra: Programming Languages: Implementations, Logics and Programs, 7th International Symposium, PLILP'95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings Springer 1995
62		Manuel V. Hermenegildo, Manuel Carro: Relating Data-Parallelism and (And-) Parallelism in Logic Programs. Euro-Par 1995: 27-41
61		Manuel V. Hermenegildo, Daniel Cabeza Gras, Manuel Carro: Using Attributed Variables in the Implementation of Concurrent and Parallel Logic Programming Systems. ICLP 1995: 631-645
60		Manuel V. Hermenegildo, Pedro López-García: Efficient Term Size Computation for Granularity Control. ICLP 1995: 647-661
59		Manuel V. Hermenegildo, Germán Puebla, Kim Marriott, Peter J. Stuckey: Incremental Analysis of Logic Programs. ICLP 1995: 797-811
58		Enrico Pontelli, Gopal Gupta, Manuel V. Hermenegildo: &ACE: a high-performance parallel Prolog system. IPPS 1995: 564-571
57		Germán Puebla, Manuel V. Hermenegildo: Implementation of Multiple Specialization in Logic Programs. PEPM 1995: 77-87
56		Michael Codish, Anne Mulkers, Maurice Bruynooghe, Maria J. García de la Banda, Manuel V. Hermenegildo: Improving Abstract Interpretations by Combining Domains. ACM Trans. Program. Lang. Syst. 17(1): 28-44 (1995)
55		Manuel V. Hermenegildo, Francesca Rossi: Strict and Nonstrict Independent And-Parallelism in Logic Programs: Correctness, Efficiency, and Compile-Time Conditions. J. Log. Program. 22(1): 1-45 (1995)
54		Maurice Bruynooghe, Saumya K. Debray, Manuel V. Hermenegildo, Michael J. Maher: Guest Editors' Introduction: Special Section: Ten Years of Logic Programming. J. Log. Program. 23(2): 87-88 (1995)
	1994
53		Manuel V. Hermenegildo, Jaan Penjam: Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings Springer 1994
52		Francisco Bueno, Manuel V. Hermenegildo, Ugo Montanari, Francesca Rossi: From Eventual to Atomic Locally Atomic CC Programs: A Concurrent Semantics. ALP 1994: 114-132
51		Gopal Gupta, Manuel V. Hermenegildo, Enrico Pontelli, Vítor Santos Costa: ACE: And/Or-parallel Copying-based Execution of Logic Programs. ICLP 1994: 93-109
50		M. J. Fernández, Manuel Carro, Manuel V. Hermenegildo: IDRA (IDeal Resource Allocation): A Tool for Computing Ideal Speedups. ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs 1994: 107-122
49		Manuel V. Hermenegildo, Manuel Carro: A Note on Data-Parallelism and (And-Parallel) Prolog. ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs 1994: 49-64
48		Enrico Pontelli, Gopal Gupta, Manuel V. Hermenegildo: &ACE: the And-parallel Component of ACE (A Progress Report on ACE). ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs 1994: 65-78
47		Michael Codish, Maria J. García de la Banda, Maurice Bruynooghe, Manuel V. Hermenegildo: Goal Dependent versus Goal Independent Analysis of Logic Programs. LPAR 1994: 305-319
46		Carlos Carreras, Carlos A. López, Manuel V. Hermenegildo: Analytic Model of a Cache Only Memory Architecture. PARLE 1994: 336-350
45		Kim Marriott, Maria J. García de la Banda, Manuel V. Hermenegildo: Analyzing Logic Programs with Dynamic Scheduling. POPL 1994: 240-253
44		Manuel V. Hermenegildo: Some Methodological Issues in the Design of CIAO, a Generic, Parallel Concurrent Constraint Logic Programming System. PPCP 1994: 123-133
43		Ugo Montanari, Francesca Rossi, Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo: Towards a Concurrent Semantics based Analysis of CC and CLP. PPCP 1994: 151-161
42		Saumya K. Debray, Pedro López-García, Manuel V. Hermenegildo, Nai-Wei Lin: Estimating the Computational Cost of Logic Programs. SAS 1994: 255-265
41		Daniel Cabeza Gras, Manuel V. Hermenegildo: Extracting Non-Strict Independent And-Parallelism Using Sharing and Freeness Information. SAS 1994: 297-313
40		Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo: Effectiveness of Global Analysis in Strict Independence-Based Automatic Parallelization. SLP 1994: 320-336
39		Manuel V. Hermenegildo, Daniel Cabeza Gras, Manuel Carro: Using Attributed Variables in the Implementation of Parallel and Concurrent Logic Programming Systems. Workshop on Design and Impl. of Parallel Logic Programming Systems 1994: 42-53
38		Maurice Bruynooghe, Saumya K. Debray, Manuel V. Hermenegildo, Michael J. Maher: Guest Editor's Introduction. J. Log. Program. 19/20: 1-3 (1994)
	1993
37		Manuel Carro, Luis Manuel Gómez Henríquez, Manuel V. Hermenegildo: Some Paradigms for Visualizing Parallel Execution of Logic Programs. ICLP 1993: 184-200
36		Kish Shen, Manuel V. Hermenegildo: Divided We Stand: Parallel Distributed Stack Memory Management. ICLP-Workshops on Implementation of Logic Programming Systems 1993: 185-201
35		Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott: Independence in Constraint Logic Programs. ILPS 1993: 130-146
34		Maria J. García de la Banda, Manuel V. Hermenegildo: A Practical Approach to the Global Analysis of CLP Programs. ILPS 1993: 437-455
33		M. Olmedilla, Francisco Bueno, Manuel V. Hermenegildo: Automatic Exploitation of Non-Determinate Independent And-Parallelism in the Basic Andorra Model. LOPSTR 1993: 177-195
32		Michael Codish, Anne Mulkers, Maurice Bruynooghe, Maria J. García de la Banda, Manuel V. Hermenegildo: Improving Abstract Interpretations by Combining Domains. PEPM 1993: 194-205
31		Gopal Gupta, Manuel V. Hermenegildo, Vítor Santos Costa: And-Or Parallel Prolog: A Recomputation Based Approach. New Generation Comput. 11(3): 297-321 (1993)
	1992
30		Manuel V. Hermenegildo: The Role of Computational Logic as a Hinge Paradigm among Deduction, Problem Solving, Programming, and Parallelism. AIFIPP 1992: 207-221
29		Francisco Bueno, Manuel V. Hermenegildo: An Automatic Translation Scheme from Prolog to the Andorra Kernel Language. FGCS 1992: 759-769
28		Gopal Gupta, Manuel V. Hermenegildo: Recomputation based Implementations of And-Or Parallel Prolog. FGCS 1992: 770-782
27		Gopal Gupta, Manuel V. Hermenegildo, Vítor Santos Costa: Generalized Stack-copying for And-Or Parallel Execution of Full Prolog. IJCSLP Workshop on Concurrent and Parallel Implementations 1992: 0-
26		Luis Manuel Gómez Henríquez, Manuel Carro, Manuel V. Hermenegildo: Implementation of an Event Driven Scheme for Visualizing Parallel Execution of Logic Programs. IJCSLP Workshop on Concurrent and Parallel Implementations 1992
25		Herbert Kuchen, Juan José Moreno-Navarro, Manuel V. Hermenegildo: Independent AND-Parallel Implementation of Narrowing. PLILP 1992: 24-38
24		Maria J. García de la Banda, Manuel V. Hermenegildo: A Practical Application of Sharing and Freeness Inference. WSA 1992: 118-125
23		Kalyan Muthukumar, Manuel V. Hermenegildo: Compile-Time Derivation of Variable Dependency Using Abstract Interpretation. J. Log. Program. 13(2&3): 315-347 (1992)
22		Manuel V. Hermenegildo, Richard Warren, Saumya K. Debray: Global Flow Analysis as a Practical Compilation Tool. J. Log. Program. 13(4): 349-366 (1992)
	1991
21		Kalyan Muthukumar, Manuel V. Hermenegildo: Combined Determination of Sharing and Freeness of Program Variables through Abstract Interpretation. ICLP 1991: 49-63
20		Gopal Gupta, Manuel V. Hermenegildo: ACE: And/Or-parallel Copying-based Execution of Logic Programs. ICLP Workshop on Parallel Execution of Logic Programs 1991: 146-158
19		Kish Shen, Manuel V. Hermenegildo: A Simulation Study of Or- and and Independent And-parallelism. ISLP 1991: 135-151
18		Gopal Gupta, Vítor Santos Costa, Rong Yang, Manuel V. Hermenegildo: IDIOM: Integrating Dependent And-, Independent And-, and Or-parallelism. ISLP 1991: 152-166
17		Fosca Giannotti, Manuel V. Hermenegildo: A Technique for Recursive Invariance Detection and Selective Program Specification. PLILP 1991: 323-334
16		Manuel V. Hermenegildo, K. J. Greene: The &-Prolog System: Exploiting Independent And-Parallelism. New Generation Comput. 9(3/4): 233-256 (1991)
	1990
15		Kalyan Muthukumar, Manuel V. Hermenegildo: The DCG, UDG, and MEL Methods for Automatic Compile-time Parallelization of Logic Programs for Independent And-parallelism. ICLP 1990: 221-236
14		Manuel V. Hermenegildo, Francesca Rossi: Non-Strict Independent And-Parallelism. ICLP 1990: 237-252
13		Manuel V. Hermenegildo, K. J. Greene: &-Prolog and its Performance: Exploiting Independent And-Parallelism. ICLP 1990: 253-268
12		Saumya K. Debray, Nai-Wei Lin, Manuel V. Hermenegildo: Task Granularity Analysis in Logic Programs. PLDI 1990: 174-188
	1989
11		Kalyan Muthukumar, Manuel V. Hermenegildo: Complete and Efficient Methods for Supporting Side-effects in Independent/Restricted AND-Parallelism. ICLP 1989: 80-97
10		Kalyan Muthukumar, Manuel V. Hermenegildo: Determination of Variable Dependence Information through Abstract Interpretation. NACLP 1989: 166-185
9		Manuel V. Hermenegildo, Francesca Rossi: On the Correctness and Efficiency of Independent And-Parallelism in Logic Programs. NACLP 1989: 369-389
8		Manuel V. Hermenegildo, Evan Tick: Memory referencing characteristics and caching performance of AND-Parallel Prolog on shared-memory multiprocessors. New Generation Comput. 7(1): 37-58 (1989)
	1988
7		Adolfo Guzmán, Manuel V. Hermenegildo: Constructs and evaluations strategies for intelligent speculative parallelism - armageddon revisited. ACM Conference on Computer Science 1988: 558-566
6		Richard Warren, Manuel V. Hermenegildo, Saumya K. Debray: On the Practicality of Global Flow Analysis of Logic Programs. ICLP/SLP 1988: 684-699
5		Manuel V. Hermenegildo, Evan Tick: Memory Performance of AND-parallel Prolog on Shared-Memory Architectures. ICPP (2) 1988: 17-21
	1987
4		Manuel V. Hermenegildo: Relating Goal-Scheduling, Precedence, and Memory Management in AND-Parallel Execution of Logic Programs. ICLP 1987: 556-575
	1986
3		Manuel V. Hermenegildo: An Abstract Machine for Restricted AND-Parallel Execution of Logic Programs. ICLP 1986: 25-39
2		Manuel V. Hermenegildo, R. I. Nasr: Efficient Management of Backtracking in AND-Parallelism. ICLP 1986: 40-54
	1985
1		G. Jack Lipovski, Manuel V. Hermenegildo: B-Log: A Branch and Bound Methodology for the Parallel Execution of Logic Programs. ICPP 1985: 560-567

Coauthor Index

1	Elena S. Ackley	[180]
2	Elvira Albert	[126] [130] [132] [133] [135] [138] [140] [141] [143] [146] [149] [155] [168] [186] [197] [208]
3	Khayri A. M. Ali	[117]
4	Puri Arenas (Puri Arenas-Sánchez)	[155] [197]
5	Maria Garcia de la Banda (Maria J. García de la Banda)	[24] [32] [34] [35] [40] [43] [45] [47] [56] [68] [71] [78] [79] [80] [91] [96] [102] [105] [106] [127] [196]
6	Gilles Barthe	[204]
7	Maurice Bruynooghe	[32] [38] [47] [54] [56] [68] [80]
8	Francisco Bueno	[29] [33] [40] [43] [52] [71] [76] [78] [86] [87] [88] [91] [96] [98] [99] [105] [106] [109] [112] [119] [120] [123] [127] [131] [134] [137] [139] [142] [145] [150] [181] [195] [199] [210] [212]
9	Daniel Cabeza (Daniel Cabeza Gras)	[39] [41] [61] [76] [77] [78] [93] [94] [108] [115] [122] [125] [129] [136] [148] [156] [184]
10	Mats Carlsson	[117]
11	Carlos Carreras	[46] [104]
12	Manuel Carro	[26] [37] [39] [49] [50] [61] [62] [66] [67] [74] [78] [89] [100] [110] [111] [125] [128] [129] [147] [152] [154] [157] [159] [161] [162] [164] [170] [171] [174] [175] [178] [179] [181] [187] [188] [191] [193] [200] [201] [207] [209] [210] [211] [212] [215] [216] [217] [218]
13	Amadeo Casas	[156] [161] [164] [174] [179] [207] [209] [217]
14	Michael Codish	[32] [47] [56] [80]
15	Jesús Correas	[125] [127] [129] [145] [151] [172]
16	Vítor Santos Costa	[18] [27] [31] [51]
17	Saumya K. Debray	[6] [12] [22] [38] [42] [54] [64] [83] [84]
18	Pierre Deransart	[86] [113] [114]
19	Wlodzimierz Drabent (Wlodek Drabent)	[86]
20	Veroniek Dumortier	[68]
21	M. J. Fernández	[50] [74]
22	Gérard Ferrand	[86]
23	Stephanie Forrest	[180]
24	John P. Gallagher	[97]
25	Jacques Garrigue	[183]
26	Fosca Giannotti	[17]
27	J. M. Gómez	[125] [129]
28	K. J. Greene	[13] [16]
29	Gopal Gupta	[18] [20] [27] [28] [31] [48] [51] [58] [67] [117]
30	Pablo Chico de Guzmán	[175] [178] [187] [188] [193] [207] [209] [217] [218]
31	Adolfo Guzmán-Arenas (Adolfo Guzmán)	[7]
32	Rémy Haemmerlé	[212] [213]
33	Luis Manuel Gómez Henríquez	[26] [37]
34	Dragan Ivanovic	[191] [200] [201] [215] [216]
35	Gerda Janssens	[68]
36	Deepak Kapur	[153] [160] [173] [176] [182] [190]
37	Herbert Kuchen	[25]
38	César Kunz	[189]
39	Ondrej Lhoták	[177]
40	Nai-Wei Lin	[12] [42] [83]
41	G. Jack Lipovski	[1]
42	James Lipton	[136]
43	Carlos A. López	[46]
44	Pedro López-García	[42] [60] [64] [78] [83] [84] [99] [119] [120] [123] [131] [134] [135] [137] [143] [154] [159] [162] [165] [171] [181] [192] [195] [210] [212] [213] [214]
45	Michael J. Maher	[38] [54]
46	Jan Maluszynski	[86] [113] [114]
47	Kim Marriott	[35] [45] [59] [79] [102] [103] [105] [106] [127]
48	Mark Marron	[153] [160] [173] [176] [182] [190]
49	Mario Méndez-Lojo	[158] [163] [169] [173] [177] [185]
50	Edison Mera	[154] [159] [162] [165] [171] [192] [210] [212] [214]
51	Ugo Montanari	[43] [52] [87]
52	José F. Morales	[128] [147] [152] [157] [170] [181] [210] [212]
53	Juan José Moreno-Navarro	[25] [118]
54	Anne Mulkers	[32] [56]
55	Henk L. Muller	[157]
56	Susana Muñoz-Hernández	[118]
57	Kalyan Muthukumar	[10] [11] [15] [21] [23] [91]
58	Lee Naish	[116]
59	R. I. Nasr	[2]
60	Jorge A. Navas	[139] [142] [150] [158] [163] [165] [180] [185] [199]
61	Claudio Ochoa	[144]
62	M. Olmedilla	[33]
63	Jens Palsberg	[206]
64	Jaan Penjam	[53]
65	Pawel Pietrzak	[151] [166] [172]
66	Enrico Pontelli	[48] [51] [58] [67] [117]
67	Germán Puebla (German Puebla)	[57] [59] [70] [72] [73] [76] [78] [86] [88] [90] [95] [97] [98] [99] [103] [105] [106] [109] [112] [119] [120] [121] [123] [124] [126] [127] [130] [132] [133] [135] [137] [138] [140] [141] [143] [144] [145] [146] [147] [149] [151] [154] [155] [157] [159] [162] [168] [172] [181] [186] [197] [208] [210] [212]
68	Ricardo Rocha (Ricardo Jorge Gomes Lopes da Rocha)	[175]
69	Francesca Rossi	[9] [14] [43] [52] [55] [87]
70	Leonardo Scandolo	[189]
71	Torsten Schaub	[194] [198] [202] [203] [205]
72	Kish Shen	[19] [36] [65] [75]
73	Cláudio Silva	[175]
74	Wim Simoens	[68]
75	Darko Stefanovic	[153] [160] [173] [176] [182]
76	Leon Sterling	[116]
77	Alex Stivala	[196]
78	Peter J. Stuckey	[59] [103] [105] [106] [127] [196] [218]
79	S. Doaitse Swierstra	[63]
80	Dongxing Tang	[67]
81	Evan Tick	[5] [8]
82	Eric Trias	[180]
83	Teresa Trigo	[214]
84	Richard Warren	[6] [22]
85	Anthony Wirth (Anthony Ian Wirth)	[196]
86	Rong Yang	[18]

Colors in the list of coauthors

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page