logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
E

Elaine Pimentel

cnrs - institute for information sciences & technologies (ins2i)

12H-index
84Paper Count
417Citation Count
Published Papers 3
Publication Date
logo
errAUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2025
IF0
err2026-01-01
err0
errOAAI
errLeme, Renato; Olarte, Carlos; Pimentel, Elaine; Coniglio, Marcelo Esteban
errShare
errSave
errAUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2025
IF0
err2026-01-01
err0
PREAI
errBarroso-Nascimento, Victor; Piotrovskaya, Ekaterina; Pimentel, Elaine
errShare
errSave
errSYNTHESE
IF1.3
err2025-10-01
err2
PREAI
errBarroso-Nascimento, Victor; Pereira, Luiz Carlos; Pimentel, Elaine
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
M
Marcelo E. Coniglio
H-index: 18 · Papers: 172
C
Carlos Olarte
H-index: 14 · Papers: 112
L
Luiz Carlos Pereira
H-index: 9 · Papers: 79
R
Renato Reis Leme
H-index: 2 · Papers: 10
V
Victor Barroso-Nascimento
H-index: 1 · Papers: 7
View more