Pablo Chico de Guzmán

	2012
11		Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo, Peter J. Stuckey: A General Implementation Framework for Tabled CLP. FLOPS 2012: 104-119
10		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
9		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)
8		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
7		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)
6		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)
	2009
5		Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo: A Tabling Implementation Based on Variables with Multiple Bindings. ICLP 2009: 190-204
4		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
3		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
2		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
1		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

1	Manuel Carro	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11]
2	Amadeo Casas	[8] [9] [10]
3	Manuel V. Hermenegildo	[1] [2] [3] [4] [5] [8] [9] [10] [11]
4	Ricardo Rocha (Ricardo Jorge Gomes Lopes da Rocha)	[1]
5	Cláudio Silva	[1]
6	Peter J. Stuckey	[11]
7	David Scott Warren	[6] [7]

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page