dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Ernesto Pimentel (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


86no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio Brogi, Francisco Gutiérrez, Pablo López, Ernesto Pimentel, Razvan Popescu: Modelado de sistemas P2P con control de excepciones. CIbSE 2008: 31-44
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancisco Durán, Francisco Gutiérrez, Pablo López, Ernesto Pimentel: A formalization of the SMEPP model in Maude. MobiQuitous 2008
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio 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)
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoshua 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
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPablo 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)
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPablo López, Ernesto Pimentel: Proof-Theoretic Foundation of Hypothetical Reasoning. WFLP 2000: 268-282
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPablo López, Ernesto Pimentel: Hypothetical Reasoning with Substructural Logics. APPIA-GULP-PRODE 1999: 485-496
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPablo López, Ernesto Pimentel: Resource Management in Linear Logic Search Revisited. LPAR 1999: 304-319
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPablo López, Ernesto Pimentel: A Lazy Splitting System for Forum. APPIA-GULP-PRODE 1997: 247-258

Selection of 9 from 103 records - Ernesto Pimentel has 51 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page