Cesare Tinelli

Cited by

	All	Since 2016
Citations	9792	4839
h-index	42	27
i10-index	88	62

1100

550

275

825

2002200320042005200620072008200920102011201220132014201520162017201820192020202129 53 89 129 154 231 285 361 435 490 554 615 583 772 904 929 892 1072 1014 21

Co-authors

Clark BarrettStanford UniversityVerified email at cs.stanford.edu
Andrew ReynoldsUniversity of IowaVerified email at uiowa.edu
Aaron StumpProfessor of Computer Science, The University of IowaVerified email at uiowa.edu
Morgan DetersSenior Research Scientist, NYUVerified email at cs.nyu.edu
Liana HadareanSynopsysVerified email at synopsys.com
Peter BaumgartnerData61|CSIROVerified email at data61.csiro.au
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
Silvio RaniseFBKVerified email at fbk.eu
Tim KingGoogle IncVerified email at google.com
Haniel BarbosaAssistant Professor of Computer Science at Universidade Federal de Minas GeraisVerified email at dcc.ufmg.br
Franz BaaderProfessor of Theoretical Computer Science, TU DresdenVerified email at tu-dresden.de
Dejan JovanovićSRI InternationalVerified email at sri.com
Temesghen KahsaiResearch Scientist at NASA Ames Research CenterVerified email at nasa.gov
Tianyi LiangTwo Sigma Investments LPVerified email at uiowa.edu
Sava KrsticResearch Scientist, Intel Corp.Verified email at intel.com
Alain MebsoutUniversity of IowaVerified email at uiowa.edu
Yeting GeTwo Sigma InvestmentsVerified email at twosigma.com
Aina NiemetzStanford UniversityVerified email at cs.stanford.edu
Mathias PreinerStanford UniversityVerified email at cs.stanford.edu

Cesare Tinelli

Professor of Computer Science, The University of Iowa

Verified email at uiowa.edu - Homepage

SMT Satisfiability Modulo Theories Automated Reasoning Model Checking Formal Verification


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Satisfiability modulo theories C Barrett, R Sebastiani, SA Seshia, C Tinelli Handbook of satisfiability 185, 825-885, 2009	1368*	2009
Satisfiability modulo theories C Barrett, C Tinelli Handbook of Model Checking, 305-343, 2018	1262	2018
The smt-lib standard: Version 2.0 C Barrett, A Stump, C Tinelli Proceedings of the 8th international workshop on satisfiability modulo …, 2010	984	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	971	2006
Cvc4 C Barrett, CL Conway, M Deters, L Hadarean, D Jovanović, T King, ... International Conference on Computer Aided Verification, 171-177, 2011	969	2011
Cvc3 C Barrett, C Tinelli International Conference on Computer Aided Verification, 298-302, 2007	606	2007
The satisfiability modulo theories library (SMT-LIB). www C Barrett, A Stump, C Tinelli SMT-LIB. org 15, 18-52, 2010	505	2010
DPLL(T): Fast Decision Procedures H Ganzinger, G Hagen, R Nieuwenhuis, A Oliveras, C Tinelli International Conference on Computer Aided Verification, 175-188, 2004	404	2004
A new correctness proof of the Nelson-Oppen combination procedure C Tinelli, M Harandi Frontiers of Combining Systems, 103-119, 1996	195	1996
StarExec: A cross-community infrastructure for logic solving A Stump, G Sutcliffe, C Tinelli International joint conference on automated reasoning, 367-373, 2014	149	2014
The smt-lib standard: Version 1.2 S Ranise, C Tinelli Technical report, Department of Computer Science, The University of Iowa …, 2006	143	2006
Abstract DPLL and abstract DPLL modulo theories R Nieuwenhuis, A Oliveras, C Tinelli International Conference on Logic for Programming Artificial Intelligence …, 2005	134	2005
A DPLL (T) theory solver for a theory of strings and regular expressions T Liang, A Reynolds, C Tinelli, C Barrett, M Deters International Conference on Computer Aided Verification, 646-662, 2014	120	2014
Splitting on demand in SAT modulo theories C Barrett, R Nieuwenhuis, A Oliveras, C Tinelli International Conference on Logic for Programming Artificial Intelligence …, 2006	120	2006
The model evolution calculus P Baumgartner, C Tinelli International Conference on Automated Deduction, 350-364, 2003	116	2003
A DPLL-based calculus for ground satisfiability modulo theories C Tinelli European Workshop on Logics in Artificial Intelligence, 308-319, 2002	116	2002
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	106	2008
Counterexample-guided quantifier instantiation for synthesis in SMT A Reynolds, M Deters, V Kuncak, C Tinelli, C Barrett International Conference on Computer Aided Verification, 198-216, 2015	104	2015
Unions of non-disjoint theories and combinations of satisfiability procedures C Tinelli, C Ringeissen Theoretical Computer Science 290 (1), 291-353, 2003	99	2003
Solving quantified verification conditions using satisfiability modulo theories Y Ge, C Barrett, C Tinelli International Conference on Automated Deduction, 167-182, 2007	89	2007

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

Upload PDF

Follow this author

Cited by

Co-authors