Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Elaine Pimentel
2010 – today
- 2013
[j8]Dale Miller, Elaine Pimentel: A formal framework for specifying sequent calculus proof systems. Theor. Comput. Sci. 474: 98-116 (2013)- [c5]Vivek Nigam, Carlos Olarte, Elaine Pimentel: A General Proof System for Modalities in Concurrent Constraint Programming. CONCUR 2013: 410-424
- 2012
- [j7]Elaine Pimentel, Simona Ronchi Della Rocca, Luca Roversi: Intersection Types from a Proof-theoretic Perspective. Fundam. Inform. 121(1-4): 253-274 (2012)
- [c4]Carlos Olarte, Elaine Pimentel, Camilo Rueda, Néstor Cataño: A linear concurrent constraint approach for the automatic verification of access permissions. PPDP 2012: 207-216
- 2011
- [j6]Vivek Nigam, Elaine Pimentel, Giselle Reis: Specifying Proof Systems in Linear Logic with Subexponentials. Electr. Notes Theor. Comput. Sci. 269: 109-123 (2011)
- [j5]Luca Paolini, Elaine Pimentel, Simona Ronchi Della Rocca: Strong normalization from an unusual point of view. Theor. Comput. Sci. 412(20): 1903-1915 (2011)
- [j4]Mauricio Ayala-Rincón, Elaine Pimentel, Fairouz Kamareddine: Preface. Theor. Comput. Sci. 412(37): 4851-4852 (2011)
- [e2]Simona Ronchi Della Rocca, Elaine Pimentel (Eds.): Proceedings 6th Workshop on Logical and Semantic Frameworks with Applications. EPTCS 81, 2011
- 2010
- [e1]Elaine Pimentel, Betti Venneri, Joe Wells (Eds.): Proceedings Fifth Workshop on Intersection Types and Related Systems. EPTCS 45, 2010
2000 – 2009
- 2009
- [j3]Belo Horizonte, Elaine Pimentel, Mario R. F. Benevides: Preface. Electr. Notes Theor. Comput. Sci. 247: 1-3 (2009)
- 2006
- [c3]Luca Paolini, Elaine Pimentel, Simona Ronchi Della Rocca: An Operational Characterization of Strong Normalization. FoSSaCS 2006: 367-381
- 2005
- [j2]Luca Paolini, Elaine Pimentel, Simona Ronchi Della Rocca: Lazy Strong Normalization. Electr. Notes Theor. Comput. Sci. 136: 103-116 (2005)
- [c2]
- 2003
- [j1]Ruy J. G. B. de Queiroz, Elaine Pimentel, Lucília Figueiredo: Preface. Electr. Notes Theor. Comput. Sci. 84: 229-231 (2003)
- 2002
- [c1]Dale Miller, Elaine Pimentel: Using Linear Logic to Reason about Sequent Systems. TABLEAUX 2002: 2-23
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:06 CEST by the dblp team