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

Thomas Sewell

Affiliation pending

16H-index
38Paper Count
2.9KCitation Count
Published Papers 2
Publication Date
logo
errJournal of Automated Reasoning
IF0.8
err2025-12-05
err0
errOAAI
errAbrahamsson, Oskar; Myreen, Magnus O.; Kumar, Ramana; Sewell, Thomas
errShare
errSave
errCOMMUNICATIONS OF THE ACM
IF12.2
err2010-06-01
err161
PREAI
errKlein, Gerwin; Andronick, June; Elphinstone, Kevin; Heiser, Gernot; Cock, David; Derrin, Philip; Elkaduwe, Dhammika; Engelhardt, Kai; Kolanski, Rafal; Norrish, Michael; Sewell, Thomas; Tuch, Harvey; Winwood, Simon
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
G
Gernot Heiser
H-index: 47 · Papers: 265
G
Gerwin Klein
H-index: 29 · Papers: 161
M
Magnus O. Myreen
H-index: 24 · Papers: 89
M
Michael Norrish
H-index: 23 · Papers: 112
K
Kevin Elphinstone
H-index: 21 · Papers: 55
View more