Search the dblp DataBase

Publications of Author

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