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

Cesare Tinelli

university of iowa

39H-index
200Paper Count
8.1KCitation Count
Published Papers 4
Publication Date
logo
errPROCEEDINGS OF THE 15TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2026
IF0
err2026-01-01
err0
PREAI
errMascarenhas, Tomaz; Khan, Harun; Mohamed, Abdalrhman; Reynolds, Andrew; Barbosa, Haniel; Barrett, Clark; Tinelli, Cesare
errShare
errSave
errCOMMUNICATIONS OF THE ACM
IF12.2
err2023-09-22
err3
PREAI
errBarbosa, Haniel; Barrett, Clark; Cook, Byron; Dutertre, Bruno; Kremer, Gereon; Lachnitt, Hanna; Niemetz, Aina; Notzli, Andres; Ozdemir, Alex; Preiner, Mathias; Reynolds, Andrew; Tinelli, Cesare; Zohar, Yoni
errShare
errSave
errartificial intelligence review
IF4.6
err2008-03-01
err24
errOAAI
errBaumgartner, Peter; Tinelli, Cesare
errShare
errSave
errIEEE INTELLIGENT SYSTEMS
IF6.1
err2006-11-01
err14
PREAI
errBeckert, Bernhard; Hoare, Tony; Hahnle, Reiner; Smith, Douglas R.; Green, Cordell; Ranise, Silvio; Tinelli, Cesare; Ball, Thomas; Rajamani, Sriram K.
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
S
Sriram K. Rajamani
H-index: 55 · Papers: 209
T
Thomas Ball
H-index: 55 · Papers: 193
C
Clark Barrett
H-index: 42 · Papers: 290
B
Byron Cook
H-index: 42 · Papers: 143
R
Reiner Hähnle
H-index: 34 · Papers: 281
View more