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

Théo Winterhalter

Nantes Université

8H-index
25Paper Count
270Citation Count
Published Papers 3
Publication Date
logo
errJournal of Automated Reasoning
IF0.8
err2026-04-11
err0
PREAI
errLeray, Yann; Gilbert, Gaetan; Tabareau, Nicolas; Winterhalter, Theo
errShare
errSave
errProceedings of the ACM on Programming Languages-PACMPL
IF2.8
err2026-01-01
err0
PREAI
errRosain, Johann; Diaz, Tomas; Maillard, Kenji; Sozeau, Matthieu; Tabareau, Nicolas; Tanter, Eric; Winterhalter, Theo
errShare
errSave
errIEEE TRANSACTIONS ON COMPUTERS
IF3.8
err2018-03-01
err6
errOAAI
errGuerrini, Eleonora; Imbert, Laurent; Winterhalter, Theo
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
É
Éric Tanter
H-index: 30 · Papers: 240
N
Nicolas Tabareau
H-index: 21 · Papers: 127
L
Laurent Imbert
H-index: 19 · Papers: 86
M
Matthieu Sozeau
H-index: 17 · Papers: 60
K
Kenji Maillard
H-index: 9 · Papers: 41
View more