dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Manuel V. Hermenegildo (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


219Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo, Peter J. Stuckey: A General Implementation Framework for Tabled CLP. FLOPS 2012: 104-119
218Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPablo Chico de Guzmán, Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo: A Segment-Swapping Approach for Executing Trapped Computations. PADL 2012: 138-152
209Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPablo 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)
207Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPablo 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)
193Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo: A Tabling Implementation Based on Variables with Multiple Bindings. ICLP 2009: 190-204
188Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo: Towards a Complete Scheme for Tabled Execution Based on Program Transformation. PADL 2009: 224-238
187Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo: A Program Transformation for Continuation Call-Based Tabled Execution CoRR abs/0901.3906: (2009)
178Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPablo 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
175Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPablo 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

Selection of 9 from 219 records - Manuel V. Hermenegildo has 86 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page