| 2008 |
|---|
| 11 | EE | 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 | EE | 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 | EE | Antonio J. Dorta,
Pablo López,
Francisco de Sande:
Basic skeletons in llc.
Parallel Computing 32(7-8): 491-506 (2006) |
| 2005 |
|---|
| 8 | EE | Pablo López,
Frank Pfenning,
Jeff Polakow,
Kevin Watkins:
Monadic concurrent linear logic programming.
PPDP 2005: 35-46 |
| 2004 |
|---|
| 7 | EE | Pablo López,
Jeff Polakow:
Implementing Efficient Resource Management for Linear Logic Programming.
LPAR 2004: 528-543 |
| 2002 |
|---|
| 6 | EE | 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 | EE | 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): (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 |
