Pablo López

	2011
14		Ricardo García, Juan Pablo de Castro, 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: 76-91
	2008
13		Antonio Brogi, Francisco Gutiérrez, Pablo López, Ernesto Pimentel, Razvan Popescu: Modelado de sistemas P2P con control de excepciones. CIbSE 2008: 31-44
12		Francisco Durán, Francisco Gutiérrez, Pablo López, Ernesto Pimentel: A formalization of the SMEPP model in Maude. MobiQuitous 2008
11		Antonio Brogi, Razvan Popescu, Francisco Gutiérrez, Pablo López, Ernesto Pimentel: A Service-Oriented Model for Embedded Peer-to-Peer Systems. Electr. Notes Theor. Comput. Sci. 194(4): 5-22 (2008)
	2006
10		Pablo López, Antonio J. Dorta, Evencio Mediavilla, Francisco de Sande: Generation of Microlensing Magnification Patterns with High Performance Computing Techniques. PARA 2006: 351-360
9		Antonio J. Dorta, Pablo López, Francisco de Sande: Basic skeletons in llc. Parallel Computing 32(7-8): 491-506 (2006)
	2005
8		Pablo López, Frank Pfenning, Jeff Polakow, Kevin Watkins: Monadic concurrent linear logic programming. PPDP 2005: 35-46
	2004
7		Pablo López, Jeff Polakow: Implementing Efficient Resource Management for Linear Logic Programming. LPAR 2004: 528-543
	2002
6		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: 167-182
5		Pablo López, Ernesto Pimentel, Joshua S. Hodas, Jeffrey Polakow, Lubomira Stoilova: Isolating Resource Consumption in Linear Logic Proof Search. Electr. Notes Theor. Comput. Sci. 70(2): 1-10 (2002)
	2000
4		Pablo López, Ernesto Pimentel: Proof-Theoretic Foundation of Hypothetical Reasoning. WFLP 2000: 268-282
	1999
3		Pablo López, Ernesto Pimentel: Hypothetical Reasoning with Substructural Logics. APPIA-GULP-PRODE 1999: 485-496
2		Pablo López, Ernesto Pimentel: Resource Management in Linear Logic Search Revisited. LPAR 1999: 304-319
	1997
1		Pablo López, Ernesto Pimentel: A Lazy Splitting System for Forum. APPIA-GULP-PRODE 1997: 247-258

Coauthor Index

1	Antonio Brogi	[11] [13]
2	Juan Pablo de Castro	[14]
3	Antonio J. Dorta	[9] [10]
4	Francisco Durán	[12]
5	Ricardo García	[14]
6	Francisco Gutiérrez	[11] [12] [13]
7	Joshua S. Hodas	[5] [6]
8	Evencio Mediavilla	[10]
9	Frank Pfenning	[8]
10	Ernesto Pimentel	[1] [2] [3] [4] [5] [6] [11] [12] [13]
11	Jeff Polakow (Jeffrey Polakow)	[5] [6] [7] [8]
12	Razvan Popescu	[11] [13]
13	Luisa M. Regueras	[14]
14	Francisco de Sande	[9] [10]
15	Lubomira Stoilova	[5] [6]
16	Elena Verdú (Elena Verdú Pérez)	[14]
17	María Jesús Verdú (María Jesús Verdú Pérez)	[14]
18	Kevin Watkins	[8]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page