Elaine Pimentel

	2006
5		Luca Paolini, Elaine Pimentel, Simona Ronchi Della Rocca: An Operational Characterization of Strong Normalization. FoSSaCS 2006: 367-381
	2005
4		Elaine Pimentel, Dale Miller: On the Specification of Sequent Systems. LPAR 2005: 352-366
3		Luca Paolini, Elaine Pimentel, Simona Ronchi Della Rocca: Lazy Strong Normalization. Electr. Notes Theor. Comput. Sci. 136: 103-116 (2005)
	2003
2		Ruy J. G. B. de Queiroz, Elaine Pimentel, Lucília Figueiredo: Preface. Electr. Notes Theor. Comput. Sci. 84: (2003)
	2002
1		Dale Miller, Elaine Pimentel: Using Linear Logic to Reason about Sequent Systems. TABLEAUX 2002: 2-23

Coauthor Index

1	Lucília Figueiredo	[2]
2	Dale Miller	[1] [4]
3	Luca Paolini	[3] [5]
4	Ruy J. G. B. de Queiroz	[2]
5	Simona Ronchi Della Rocca	[3] [5]

Colors in the list of coauthors