Pablo López

Publication Activity (10 Years)

Years Active: 1997-2016
Publications (10 Years): 1

Top Topics

Personal Health

Social Networks

Cloud Computing

Top Venues

Publications

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