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

James D. Mitchell

nantes universite

17H-index
141Paper Count
765Citation Count
Published Papers 3
Publication Date
logo
errPROCEEDINGS OF THE 15TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2026
IF0
err2026-01-01
err0
PREAI
errCirpons, Reinis; Hivert, Florent; Mahboubi, Assia; Melquiond, Guillaume; Mitchell, James D.; Smith, Finn
errShare
errSave
errMATHEMATICS OF COMPUTATION
IF2.1
err2025-12-01
err0
PREAI
errAnagnostopoulou-Merkouri, Marina; Cirpons, Reinis; Mitchell, James D.; Tsalakou, Maria
errShare
errSave
errSemigroup Forum
IF0.7
err2025-12-01
err0
PREAI
errDolinka, Igor; FitzGerald, D. G.; Mitchell, James D.
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
G
Guillaume Melquiond
H-index: 22 · Papers: 138
F
Florent Hivert
H-index: 15 · Papers: 95
I
Igor Dolinka
H-index: 14 · Papers: 101
D
D. G. FitzGerald
H-index: 11 · Papers: 39
A
A. Mahboubi
H-index: 1 · Papers: 4
View more