Pablo López

16 papers B 3C 2Journal 2Unranked 9
YearRankTypeTitle / Venue / Authors
2016 J jnl
Integrated, reliable and cloud-based personal health record: A scoping review.
CoRR
Jesus Romero, Pablo López, José Luis Vázquez Noguera, Cristian Cappo, Diego P. Pinto-Roa, Cynthia Villalba
2011 — conf
An Adaptive Neural Network-Based Method for Tile Replacement in a Web Map Cache.
ICCSA (1)
Ricardo García Martín, Juan Pablo de Castro Fernández, María Jesús Verdú, Elena Verdú, Luisa M. Regueras, Pablo López
2011 — conf
On the Formal Analysis of P2P Algorithms with aSMoL and Maude.
CIbSE
Francisco Durán, Francisco Gutiérrez, Pablo López, Ernesto Pimentel
2008 C conf
A formalization of the SMEPP model in Maude.
MobiQuitous
Francisco Durán, Francisco Gutiérrez, Pablo López, Ernesto Pimentel
2008 — conf
Modelado de sistemas P2P con control de excepciones.
CIbSE
Antonio Brogi, Francisco Gutiérrez, Pablo López, Ernesto Pimentel, Razvan Popescu
2007 — conf
A Service-Oriented Model for Embedded Peer-to-Peer Systems.
FOCLASA
Antonio Brogi, Razvan Popescu, Francisco Gutiérrez, Pablo López, Ernesto Pimentel
2006 J jnl
Basic skeletons in llc.
Parallel Comput.
Antonio J. Dorta, Pablo López, Francisco de Sande
2006 — conf
Generation of Microlensing Magnification Patterns with High Performance Computing Techniques.
PARA
Pablo López, Antonio J. Dorta, Evencio Mediavilla, Francisco de Sande
2005 C conf
Monadic concurrent linear logic programming.
PPDP
Pablo López, Frank Pfenning, Jeff Polakow, Kevin Watkins
2004 B conf
Implementing Efficient Resource Management for Linear Logic Programming.
LPAR
Pablo López, Jeff Polakow
2002 B conf
A Tag-Frame System of Resource Management for Proof Search in Linear-Logic Programming.
CSL
Joshua S. Hodas, Pablo López, Jeffrey Polakow, Lubomira Stoilova, Ernesto Pimentel
2002 — conf
Isolating Resource Consumption in Linear Logic Proof Search.
LFM
Pablo López, Ernesto Pimentel, Joshua S. Hodas, Jeffrey Polakow, Lubomira Stoilova
2000 — conf
Proof-Theoretic Foundation of Hypothetical Reasoning.
WFLP
Pablo López, Ernesto Pimentel
1999 — conf
Hypothetical Reasoning with Substructural Logics.
APPIA-GULP-PRODE
Pablo López, Ernesto Pimentel
1999 B conf
Resource Management in Linear Logic Search Revisited.
LPAR
Pablo López, Ernesto Pimentel
1997 — conf
A Lazy Splitting System for Forum.
APPIA-GULP-PRODE
Pablo López, Ernesto Pimentel