| 2018 | ICWS | Pipekit: A Deployment Tool with Advanced Scheduling and Inter-Service Communication for Multi-Tier Applications. | Pablo Chico de Guzmn, Felipe Gorostiaga, Csar Snchez |
| 2018 | WISE | i2kit: A Deployment Tool with the Simplicity of Containers and the Security of Virtual Machines. | Pablo Chico de Guzmn, Felipe Gorostiaga, Csar Snchez |
| 2013 | PADL | Supporting Pruning in Tabled LP. | Pablo Chico de Guzmn, Manuel Carro, Manuel V. Hermenegildo |
| 2012 | FLOPS | A General Implementation Framework for Tabled CLP. | Pablo Chico de Guzmn, Manuel Carro, Manuel V. Hermenegildo, Peter J. Stuckey |
| 2012 | PADL | A Segment-Swapping Approach for Executing Trapped Computations. | Pablo Chico de Guzmn, Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo |
| 2009 | ICLP | A Tabling Implementation Based on Variables with Multiple Bindings. | Pablo Chico de Guzmn, Manuel Carro, Manuel V. Hermenegildo |
| 2009 | PADL | Towards a Complete Scheme for Tabled Execution Based on Program Transformation. | Pablo Chico de Guzmn, Manuel Carro, Manuel V. Hermenegildo |
| 2008 | ICLP | A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation. | Pablo Chico de Guzmn, Manuel Carro, Manuel V. Hermenegildo |
| 2008 | PADL | An Improved Continuation Call-Based Implementation of Tabling. | Pablo Chico de Guzmn, Manuel Carro, Manuel V. Hermenegildo, Cludio Silva, Ricardo Rocha |