Cesare Tinelli

Cited by

	All	Since 2018
Citations	12689	5793
h-index	45	30
i10-index	103	69

1200

600

300

900

200220032004200520062007200820092010201120122013201420152016201720182019202020212022202332 53 91 134 152 221 268 310 428 478 560 617 602 772 900 960 897 1093 1039 1133 1175 453

Public access

View all

38 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Clark BarrettStanford UniversityVerified email at cs.stanford.edu
Andrew ReynoldsUniversity of Iowa, Amazon Web ServicesVerified email at uiowa.edu
Morgan DetersSenior Research Scientist, NYUVerified email at cs.nyu.edu
Liana HadareanAmazon Web ServicesVerified email at amazon.com
Aaron StumpProfessor of Computer Science, The University of IowaVerified email at uiowa.edu
Haniel BarbosaAssistant Professor of Computer Science at Universidade Federal de Minas GeraisVerified email at dcc.ufmg.br
Robert NieuwenhuisProfessor of Computer Science, Tech. Univ. Catalonia (UPC), BarcelonaVerified email at cs.upc.edu
Albert OliverasTechnical University of CataloniaVerified email at lsi.upc.edu
Peter BaumgartnerData61|CSIROVerified email at data61.csiro.au
Mathias PreinerStanford UniversityVerified email at cs.stanford.edu
Aina NiemetzStanford UniversityVerified email at cs.stanford.edu
Tim KingGoogle IncVerified email at google.com
Andres NötzliStanford UniversityVerified email at stanford.edu
Dejan JovanovićAmazon Web ServicesVerified email at amazon.com
Franz BaaderProfessor of Theoretical Computer Science, TU DresdenVerified email at tu-dresden.de
Silvio RaniseFBKVerified email at fbk.eu
Tianyi LiangTwo Sigma Investments LPVerified email at uiowa.edu
Yoni ZoharBar Ilan UniversityVerified email at biu.ac.il
Temesghen KahsaiPrincipal Applied Scientist @ AmazonVerified email at amazon.com
Alain MebsoutUniversity of IowaVerified email at uiowa.edu

Cesare Tinelli

Professor of Computer Science, The University of Iowa

Verified email at uiowa.edu - Homepage

Satisfiability Modulo Theories Automated Reasoning Theorem Proving Model Checking Formal Verification


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
CVC3: (Tool Paper) C Barrett, C Tinelli Computer Aided Verification: 19th International Conference, CAV 2007, Berlin …, 2007	1940*	2007
Satisfiability modulo theories C Barrett, R Sebastiani, SA Seshia, C Tinelli Handbook of satisfiability 185, 825-885, 2009	1911*	2009
Satisfiability modulo theories C Barrett, C Tinelli Handbook of Model Checking, 305-343, 2018	1849	2018
The smt-lib standard: Version 2.0 C Barrett, A Stump, C Tinelli Proceedings of the 8th international workshop on satisfiability modulo …, 2010	1332	2010
Solving SAT and SAT Modulo Theories: From an abstract Davis--Putnam--Logemann--Loveland procedure to DPLL(T) R Nieuwenhuis, A Oliveras, C Tinelli Journal of the ACM (JACM) 53 (6), 937-977, 2006	1138	2006
The satisfiability modulo theories library (SMT-LIB). www C Barrett, A Stump, C Tinelli SMT-LIB. org 15, 18-52, 2010	689	2010
DPLL(T): Fast Decision Procedures H Ganzinger, G Hagen, R Nieuwenhuis, A Oliveras, C Tinelli Computer Aided Verification: 16th International Conference, CAV 2004, Boston …, 2004	455	2004
StarExec: A cross-community infrastructure for logic solving A Stump, G Sutcliffe, C Tinelli Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as …, 2014	210	2014
A new correctness proof of the Nelson-Oppen combination procedure C Tinelli, M Harandi Frontiers of Combining Systems: First International Workshop, Munich, March …, 1996	210	1996
A DPLL(T) Theory Solver for a Theory of Strings and Regular Expressions T Liang, A Reynolds, C Tinelli, C Barrett, M Deters Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014	155	2014
The smt-lib standard: Version 1.2 S Ranise, C Tinelli Technical report, Department of Computer Science, The University of Iowa …, 2006	153	2006
Counterexample-guided quantifier instantiation for synthesis in SMT A Reynolds, M Deters, V Kuncak, C Tinelli, C Barrett Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015	149	2015
Abstract DPLL and abstract DPLL modulo theories R Nieuwenhuis, A Oliveras, C Tinelli Logic for Programming, Artificial Intelligence, and Reasoning: 11th …, 2005	147	2005
Splitting on demand in SAT modulo theories C Barrett, R Nieuwenhuis, A Oliveras, C Tinelli Logic for Programming, Artificial Intelligence, and Reasoning: 13th …, 2006	129	2006
Scaling up the formal verification of Lustre programs with SMT-based techniques G Hagen, C Tinelli 2008 Formal Methods in Computer-Aided Design, 1-9, 2008	128	2008
A DPLL-based calculus for ground satisfiability modulo theories C Tinelli Logics in Artificial Intelligence: 8th European Conference, JELIA 2002 …, 2002	125	2002
The model evolution calculus P Baumgartner, C Tinelli CADE 2741, 350-364, 2003	118	2003
The Kind 2 Model Checker A Champion, A Mebsout, C Sticksel, C Tinelli Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016	117	2016
cvc5: A versatile and industrial-strength SMT solver H Barbosa, C Barrett, M Brain, G Kremer, H Lachnitt, M Mann, ... Tools and Algorithms for the Construction and Analysis of Systems: 28th …, 2022	116	2022
Unions of non-disjoint theories and combinations of satisfiability procedures C Tinelli, C Ringeissen Theoretical Computer Science 290 (1), 291-353, 2003	112	2003

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors