Pablo Chico de Guzmán Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2012
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo, Peter J. Stuckey: A General Implementation Framework for Tabled CLP. FLOPS 2012: 104-119
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
i3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
2010
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pablo Chico de Guzmán, Manuel Carro, David Scott Warren: Swapping evaluation: A memory-scalable solution for answer-on-demand tabling. TPLP 10(4-6): 401-416 (2010)
i2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pablo Chico de Guzmán, Manuel Carro, David Scott Warren: Swapping Evaluation: A Memory-Scalable Solution for Answer-On-Demand Tabling. CoRR abs/1007.3961 (2010)
2009
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo: A Tabling Implementation Based on Variables with Multiple Bindings. ICLP 2009: 190-204
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo: A Program Transformation for Continuation Call-Based Tabled Execution. CoRR abs/0901.3906 (2009)
2008
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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

Coauthor Index

1Manuel Carro
[c6] [c5] [j2] [i3] [j1] [i2] [c4] [c3] [i1] [c2] [c1]
2Amadeo Casas
[c5] [j2] [i3]
3Manuel V. Hermenegildo
[c6] [c5] [j2] [i3] [c4] [c3] [i1] [c2] [c1]
4Ricardo Rocha (Ricardo Jorge Gomes Lopes da Rocha)
[c1]
5Cláudio Silva
[c1]
6Peter J. Stuckey
[c6]
7David Scott Warren
[j1] [i2]
Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Sat May 25 10:52:22 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page