The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Pablo Chico de Guzmán" ( http://dblp.L3S.de/Authors/Pablo_Chico_de_Guzmán )

  Author page on DBLP  Author page in RDF  Community of Pablo Chico de Guzmán in ASPL-2

Publication years (Num. hits)
2008-2018 (15)
Publication types (Num. hits)
article(6) inproceedings(9)
Venues (Conferences, Journals, ...)
CoRR(4) PADL(4) ICLP(2) TPLP(2) FLOPS(1) ICWS(1) WISE (1)(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 17 occurrences of 7 keywords

Results
Found 16 publication records. Showing 15 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Pablo Chico de Guzmán, Felipe Gorostiaga, César Sánchez i2kit: A Tool for Immutable Infrastructure Deployments based on Lightweight Virtual Machines specialized to run Containers. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Pablo Chico de Guzmán, Felipe Gorostiaga, César Sánchez i2kit: A Deployment Tool with the Simplicity of Containers and the Security of Virtual Machines. Search on Bibsonomy WISE (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Pablo Chico de Guzmán, Felipe Gorostiaga, César Sánchez Pipekit: A Deployment Tool with Advanced Scheduling and Inter-Service Communication for Multi-Tier Applications. Search on Bibsonomy ICWS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo Supporting Pruning in Tabled LP. Search on Bibsonomy PADL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Pablo Chico de Guzmán, Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo A Segment-Swapping Approach for Executing Trapped Computations. Search on Bibsonomy PADL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo, Peter J. Stuckey A General Implementation Framework for Tabled CLP. Search on Bibsonomy FLOPS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Pablo Chico de Guzmán, Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo Parallel Backtracking with Answer Memoing for Independent And-Parallelism Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Pablo Chico de Guzmán, Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo Parallel backtracking with answer memoing for independent and-parallelism. Search on Bibsonomy TPLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Pablo Chico de Guzmán, Manuel Carro, David Scott Warren Swapping Evaluation: A Memory-Scalable Solution for Answer-On-Demand Tabling Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Pablo Chico de Guzmán, Manuel Carro, David Scott Warren Swapping evaluation: A memory-scalable solution for answer-on-demand tabling. Search on Bibsonomy TPLP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo A Program Transformation for Continuation Call-Based Tabled Execution Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo Towards a Complete Scheme for Tabled Execution Based on Program Transformation. Search on Bibsonomy PADL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Continuation-call tabling, Performance, Program transformation, Implementation, Tabled logic programming
1Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo A Tabling Implementation Based on Variables with Multiple Bindings. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Performance, Logic Programming, Implementation, Tabling, OR-Parallelism
1Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo, Cláudio Silva 0001, Ricardo Rocha 0001 An Improved Continuation Call-Based Implementation of Tabling. Search on Bibsonomy PADL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Performance, Program transformation, Implementation, Tabled logic programming
1Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Continuation-call tabling, Performance, Program transformation, Implementation, Tabled logic programming
Displaying result #1 - #15 of 15 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license