Scholar
Cesare Tinelli
Google Scholar ID: wbZc9nUAAAAJ
Professor of Computer Science, The University of Iowa
Satisfiability Modulo Theories
Automated Reasoning
Theorem Proving
Model Checking
Formal Verification
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
16,294
H-index
51
i10-index
122
Publications
20
Co-authors
106
list available
Publications
4 items
Automated Reasoning with Nested Datatypes
2026
Cited
0
Solving Set Constraints with Comprehensions and Bounded Quantifiers
2025
Cited
0
Lean-SMT: An SMT tactic for discharging proof goals in Lean
2025
Cited
0
Towards SMT Solver Stability via Input Normalization
2024
Cited
0
Co-authors
9 total
Clark Barrett
Stanford University
Andrew Reynolds
University of Iowa, Amazon Web Services
Haniel Barbosa
Universidade Federal de Minas Gerais
Mathias Preiner
Stanford University
Yoni Zohar
Bar Ilan University
Albert Oliveras
Technical University of Catalonia
Peter Baumgartner
Data61|CSIRO
Dejan Jovanović
Amazon Web Services
