Cesare Tinelli
Scholar

Cesare Tinelli

Google Scholar ID: wbZc9nUAAAAJ
Professor of Computer Science, The University of Iowa
Satisfiability Modulo TheoriesAutomated ReasoningTheorem ProvingModel CheckingFormal Verification
Citations & Impact
All-time
Citations
16,294
 
H-index
51
 
i10-index
122
 
Publications
20
 
Co-authors
106
list available
Contact
No contact links provided.
Resume (English only)