- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| c11 |      | 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: 76-91 |
| 2008 | ||
| j3 | | 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) |
| c10 |  | Antonio Brogi, Francisco Gutiérrez, Pablo López, Ernesto Pimentel, Razvan Popescu: Modelado de sistemas P2P con control de excepciones. CIbSE 2008: 31-44 |
| c9 | | Francisco Durán, Francisco Gutiérrez, Pablo López, Ernesto Pimentel: A formalization of the SMEPP model in Maude. MobiQuitous 2008 |
| 2006 | ||
| j2 | | Antonio J. Dorta, Pablo López, Francisco de Sande: Basic skeletons in llc. Parallel Computing 32(7-8): 491-506 (2006) |
| c8 | | 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 |
| 2005 | ||
| c7 | | Pablo López, Frank Pfenning, Jeff Polakow, Kevin Watkins: Monadic concurrent linear logic programming. PPDP 2005: 35-46 |
| 2004 | ||
| c6 | | Pablo López, Jeff Polakow: Implementing Efficient Resource Management for Linear Logic Programming. LPAR 2004: 528-543 |
| 2002 | ||
| j1 | | 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) |
| c5 | | 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 |
| 2000 | ||
| c4 | | Pablo López, Ernesto Pimentel: Proof-Theoretic Foundation of Hypothetical Reasoning. WFLP 2000: 268-282 |
| 1999 | ||
| c3 | | Pablo López, Ernesto Pimentel: Hypothetical Reasoning with Substructural Logics. APPIA-GULP-PRODE 1999: 485-496 |
| c2 | | Pablo López, Ernesto Pimentel: Resource Management in Linear Logic Search Revisited. LPAR 1999: 304-319 |
| 1997 | ||
| c1 | | |
| 1 | Antonio Brogi | |
| 2 | Antonio J. Dorta | |
| 3 | Francisco Durán | |
| 4 | Juan Pablo de Castro Fernández (Juan Pablo de Castro) | |
| 5 | Francisco Gutiérrez | |
| 6 | Joshua S. Hodas | |
| 7 | Ricardo García Martín | |
| 8 | Evencio Mediavilla | |
| 9 | Frank Pfenning | |
| 10 | Ernesto Pimentel | |
| 11 | Jeff Polakow (Jeffrey Polakow) | |
| 12 | Razvan Popescu | |
| 13 | Luisa M. Regueras | |
| 14 | Francisco de Sande | |
| 15 | Lubomira Stoilova | |
| 16 | Elena Verdú (Elena Verdú Pérez) | |
| 17 | María Jesús Verdú (María Jesús Verdú Pérez) | |
| 18 | Kevin Watkins |
Colors in the list of coauthors
Last update Thu May 23 10:21:45 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page