Elaine Pimentel

发表

Elaine Pimentel, Elaine Pimentel, 2018, WoLLIC.

Elaine Pimentel, Betti Venneri, Joseph M. Wells, 2011 .

Elaine Pimentel, Luca Roversi, Simona Ronchi Della Rocca, 2012, Fundam. Informaticae.

Elaine Pimentel, Vivek Nigam, Giselle Reis, 2016, J. Log. Comput..

Christian G. Fermüller, Elaine Pimentel, Carlos Olarte, 2019, TABLEAUX.

Elaine Pimentel, Carlos Olarte, Björn Lellmann, 2017, LPAR.

Mario R. F. Benevides, Elaine Pimentel, Belo Horizonte, 2008, LSFA.

Elaine Pimentel, Carlos Olarte, Joëlle Despeyroux, 2016, LSFA.

Elaine Pimentel, Sonia Marin, Luiz Carlos Pereira, 2020, DaLí.

Tiziano Dalmonte, Nicola Olivetti, Elaine Pimentel, 2020, J. Log. Comput..

Elaine Pimentel, Vivek Nigam, Carlos Olarte, 2017, Theor. Comput. Sci..

Elaine Pimentel, Carlos Olarte, Elaine Pimentel, 2017, Theor. Comput. Sci..

Elaine Pimentel, Carlos Olarte, Joëlle Despeyroux, 2016, ArXiv.

Dale Miller, Elaine Pimentel, Elaine Pimentel, 2013, Theor. Comput. Sci..

Elaine Pimentel, Simona Ronchi Della Rocca, Luca Paolini, 2006, FoSSaCS.

Elaine Pimentel, Vivek Nigam, João Neto, 2015, LSFA.

Elaine Pimentel, Dale Miller, 2002, TABLEAUX.

Elaine Pimentel, Carlos Olarte, Bruno Xavier, 2020, LSFA.

Elaine Pimentel, Vivek Nigam, Carlos Olarte, 2014, LSFA.

Elaine Pimentel, Vivek Nigam, Giselle Reis, 2010, LSFA.

Elaine Pimentel, Cláudia Nalon, João Marcos, 2018, SIGL.

Elaine Pimentel, Carlos Olarte, 2014, LSFA.

Tiziano Dalmonte, Nicola Olivetti, Elaine Pimentel, 2020, LFCS.

Elaine Pimentel, Vivek Nigam, Carlos Olarte, 2013, CONCUR.

Elaine Pimentel, Kaustuv Chaudhuri, Carlos Olarte, 2019, Math. Struct. Comput. Sci..

Elaine Pimentel, Vivek Nigam, Carlos Olarte, 2014, Theory Pract. Log. Program..

Elaine Pimentel, Luiz Carlos Pereira, Valeria de Paiva, 2019, Synthese.

Elaine Pimentel, Simona Ronchi Della Rocca, Luca Paolini, 2011, Theor. Comput. Sci..

Elaine Pimentel, Carlos Olarte, Björn Lellmann, 2016, LSFA.

Elaine Pimentel, Björn Lellmann, Björn Lellmann, 2015, LPAR.

Camilo Rueda, Elaine Pimentel, Carlos Olarte, 2018, Theory Pract. Log. Program..

Dale Miller, Elaine Pimentel, 2005, LPAR.

Elaine Pimentel, Carlos Olarte, Camilo Rocha, 2021, J. Log. Algebraic Methods Program..

Elaine Pimentel, Valeria de Paiva, Carlos Olarte, 2019, Linearity-TLLA@FLoC.

Elaine Pimentel, Carlos Olarte, Camilo Rocha, 2018, WRLA@ETAPS.

Elaine Pimentel, Vivek Nigam, Carlos Olarte, 2015, Theor. Comput. Sci..

Elaine Pimentel, Björn Lellmann, Björn Lellmann, 2017, ACM Trans. Comput. Log..

Elaine Pimentel, Simona Ronchi Della Rocca, Luca Paolini, 2005, Electron. Notes Theor. Comput. Sci..

Mario R. F. Benevides, Elaine Pimentel, Valeria de Paiva, 2014, Electron. Notes Theor. Comput. Sci..

Elaine Pimentel, Revantha Ramanayake, Björn Lellmann, 2019, TABLEAUX.

Elaine Pimentel, Vivek Nigam, Carlos Olarte, 2021, FSCD.

Elaine Pimentel, Luca Roversi, Simona Ronchi Della Rocca, 2004 .