A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation. - Pablo Chico de Guzmán; Manuel Carro; Manuel V. Hermenegildo (ICLP, 2008)

An Improved Continuation Call-Based Implementation of Tabling. - Pablo Chico de Guzmán; Manuel Carro; Manuel V. Hermenegildo; Cláudio Silva 001; Ricardo Rocha 001 (PADL, 2008)

A Tabling Implementation Based on Variables with Multiple Bindings. - Pablo Chico de Guzmán; Manuel Carro; Manuel V. Hermenegildo (ICLP, 2009)

Towards a Complete Scheme for Tabled Execution Based on Program Transformation. - Pablo Chico de Guzmán; Manuel Carro; Manuel V. Hermenegildo (PADL, 2009)

A Program Transformation for Continuation Call-Based Tabled Execution - Pablo Chico de Guzmán; Manuel Carro; Manuel V. Hermenegildo (CoRR, 2009)

Swapping evaluation: A memory-scalable solution for answer-on-demand tabling. - Pablo Chico de Guzmán; Manuel Carro; David Scott Warren (Theory Pract. Log. Program., 2010)

Parallel backtracking with answer memoing for independent and-parallelism. - Pablo Chico de Guzmán; Amadeo Casas; Manuel Carro; Manuel V. Hermenegildo (Theory Pract. Log. Program., 2011)

A General Implementation Framework for Tabled CLP. - Pablo Chico de Guzmán; Manuel Carro; Manuel V. Hermenegildo; Peter J. Stuckey (FLOPS, 2012)

A Segment-Swapping Approach for Executing Trapped Computations. - Pablo Chico de Guzmán; Amadeo Casas; Manuel Carro; Manuel V. Hermenegildo (PADL, 2012)

Estrategias Avanzadas de Tabulación y Paralelismo en Programas Lógicos = Advanced Evaluation Strategies for Tabling and Parallelism in Logic Programs. - Pablo Chico de Guzmán (2012)

Supporting Pruning in Tabled LP. - Pablo Chico de Guzmán; Manuel Carro; Manuel V. Hermenegildo (PADL, 2013)

Pipekit: A Deployment Tool with Advanced Scheduling and Inter-Service Communication for Multi-Tier Applications. - Pablo Chico de Guzmán; Felipe Gorostiaga; César Sánchez 001 (ICWS, 2018)

i2kit: A Deployment Tool with the Simplicity of Containers and the Security of Virtual Machines. - Pablo Chico de Guzmán; Felipe Gorostiaga; César Sánchez 001 (WISE (1), 2018)

i2kit: A Tool for Immutable Infrastructure Deployments based on Lightweight Virtual Machines specialized to run Containers. - Pablo Chico de Guzmán; Felipe Gorostiaga; César Sánchez 001 (CoRR, 2018)