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

Carlos Olarte

centre national de la recherche scientifique (cnrs)

14H-index
112Paper Count
567Citation 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
errJournal of Logical and Algebraic Methods in Programming
IF1.2
err2025-10-01
err0
PREAI
errOlarte, Carlos; Ramirez, Carlos; Rocha, Camilo; Valencia, Frank
errShare
errSave
errIEEE TRANSACTIONS ON RELIABILITY
IF5.7
err2024-06-01
err0
PREAI
errArias, Jaime; Olarte, Carlos; Petrucci, Laure; Masko, Lukasz; Penczek, Wojciech; Sidoruk, Teofil
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
W
Wojciech Penczek
H-index: 26 · Papers: 221
F
Frank Valencia
H-index: 20 · Papers: 123
L
Laure Petrucci
H-index: 19 · Papers: 191
M
Marcelo E. Coniglio
H-index: 18 · Papers: 172
C
Camilo Rocha
H-index: 14 · Papers: 101
View more