Elaine Pimentel
Publication Activity (10 Years)
Years Active: 2002-2024
Publications (10 Years): 45
Publications (10 Years): 45
Publications
- Victor Nascimento, Luiz Carlos Pereira, Elaine Pimentel
- Eben Blaisdell, Max I. Kanovich, Stepan L. Kuznetsov, Elaine Pimentel, Andre Scedrov
- Sonia Marin, Luiz Carlos Pereira, Elaine Pimentel, Emerson Sales
- Sonia Marin, Dale Miller, Elaine Pimentel, Marco Volpe
- Bruno Xavier, Carlos Olarte, Elaine Pimentel
- Elaine Pimentel, Luiz Carlos Pereira, Valeria de Paiva
- Sonia Marin, Luiz Carlos Pereira, Elaine Pimentel, Emerson Sales
- Sonia Marin, Luiz Carlos Pereira, Elaine Pimentel, Emerson Sales
- Carlos Olarte, Elaine Pimentel, Bruno Xavier
- Sonia Marin, Luiz Carlos Pereira, Elaine Pimentel, Emerson SalesEcumenical modal logic. CoRR (2020)
- Kaustuv Chaudhuri, Joëlle Despeyroux, Carlos Olarte, Elaine Pimentel
- Elaine Pimentel, Revantha Ramanayake, Björn Lellmann
- Björn Lellmann, Elaine Pimentel
- Timo Lang, Carlos Olarte, Elaine Pimentel, Christian G. Fermüller
- Timo Lang, Carlos Olarte, Elaine Pimentel, Christian G. Fermüller
- Elaine Pimentel
- Carlos Olarte, Elaine Pimentel, Camilo Rocha
- Cláudia Nalon, Daniele Nantes Sobrinho, Elaine Pimentel, João MarcosBrasilia Spring on Automated Reasoning. ACM SIGLOG News 5 (1) (2018)
- Carlos Olarte, Elaine Pimentel, Camilo Rueda
- Elaine Pimentel
- Carlos Olarte, Valeria de Paiva, Elaine Pimentel, Giselle Reis
- Carlos Olarte, Elaine Pimentel, Camilo Rueda
- Björn Lellmann, Elaine Pimentel
- Vivek Nigam, Carlos Olarte, Elaine Pimentel
- Carlos Olarte, Elaine Pimentel
- Björn Lellmann, Carlos Olarte, Elaine Pimentel
- Joëlle Despeyroux, Carlos Olarte, Elaine Pimentel
- Vivek Nigam, Elaine Pimentel, Giselle Reis
- Joëlle Despeyroux, Carlos Olarte, Elaine Pimentel
- Björn Lellmann, Elaine Pimentel
- Carlos Olarte, Elaine Pimentel, Vivek Nigam
- Elaine Pimentel, Vivek Nigam, João Neto
- Elaine Pimentel, Carlos Olarte, Vivek Nigam
- Carlos Olarte, Elaine Pimentel
- Valeria de Paiva, Mario R. F. Benevides, Vivek Nigam, Elaine Pimentel
- Elaine Pimentel, Carlos Olarte, Vivek Nigam
- Carlos Olarte, Vivek Nigam, Elaine Pimentel
- Vivek Nigam, Carlos Olarte, Elaine Pimentel
- Dale Miller, Elaine Pimentel
- Elaine Pimentel, Simona Ronchi Della Rocca, Luca Roversi
- Luca Paolini, Elaine Pimentel, Simona Ronchi Della Rocca
- Mauricio Ayala-Rincón, Elaine Pimentel, Fairouz Kamareddine
- Vivek Nigam, Elaine Pimentel, Giselle Reis
- Belo Horizonte, Elaine Pimentel, Mario R. F. Benevides
- Luca Paolini, Elaine Pimentel, Simona Ronchi Della Rocca
- Elaine Pimentel, Dale Miller
- Luca Paolini, Elaine Pimentel, Simona Ronchi Della Rocca
- Ruy J. G. B. de Queiroz, Elaine Pimentel, Lucília Figueiredo
- Dale Miller, Elaine Pimentel