Cesare Tinelli

Cited by

	All	Since 2017
Citations	11719	5772
h-index	44	30
i10-index	96	68

1200

600

300

900

20022003200420052006200720082009201020112012201320142015201620172018201920202021202229 56 86 128 155 228 284 365 439 478 571 622 598 779 905 952 900 1089 1020 1151 656

Public access

View all

37 articles

0 articles

available

not available

Based on funding mandates

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 HadareanAmazon Web ServicesVerified email at amazon.com
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
Haniel BarbosaAssistant Professor of Computer Science at Universidade Federal de Minas GeraisVerified email at dcc.ufmg.br
Tim KingGoogle IncVerified email at google.com
Silvio RaniseFBKVerified email at fbk.eu
Aina NiemetzStanford UniversityVerified email at cs.stanford.edu
Mathias PreinerStanford UniversityVerified email at cs.stanford.edu
Andres NötzliStanford UniversityVerified email at stanford.edu
Tianyi LiangTwo Sigma Investments LPVerified email at uiowa.edu
Franz BaaderProfessor of Theoretical Computer Science, TU DresdenVerified email at tu-dresden.de
Dejan JovanovićAmazon Web ServicesVerified email at amazon.com
Temesghen KahsaiPrincipal Applied Scientist @ AmazonVerified email at amazon.com
Alain MebsoutUniversity of IowaVerified email at uiowa.edu
Sava KrsticResearch Scientist, Intel Corp.Verified email at intel.com

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	1698*	2009
Satisfiability modulo theories C Barrett, C Tinelli Handbook of Model Checking, 305-343, 2018	1645	2018
Cvc4 C Barrett, CL Conway, M Deters, L Hadarean, D Jovanović, T King, ... International Conference on Computer Aided Verification, 171-177, 2011	1266	2011
The smt-lib standard: Version 2.0 C Barrett, A Stump, C Tinelli Proceedings of the 8th international workshop on satisfiability modulo …, 2010	1209	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	1091	2006
Cvc3 C Barrett, C Tinelli International Conference on Computer Aided Verification, 298-302, 2007	627	2007
The satisfiability modulo theories library (SMT-LIB). www C Barrett, A Stump, C Tinelli SMT-LIB. org 15, 18-52, 2010	613	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	431	2004
A new correctness proof of the Nelson-Oppen combination procedure C Tinelli, M Harandi Frontiers of Combining Systems, 103-119, 1996	198	1996
StarExec: A cross-community infrastructure for logic solving A Stump, G Sutcliffe, C Tinelli International joint conference on automated reasoning, 367-373, 2014	191	2014
The smt-lib standard: Version 1.2 S Ranise, C Tinelli Technical report, Department of Computer Science, The University of Iowa …, 2006	149	2006
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	148	2014
Abstract DPLL and abstract DPLL modulo theories R Nieuwenhuis, A Oliveras, C Tinelli International Conference on Logic for Programming Artificial Intelligence …, 2005	141	2005
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	137	2015
Splitting on demand in SAT modulo theories C Barrett, R Nieuwenhuis, A Oliveras, C Tinelli International Conference on Logic for Programming Artificial Intelligence …, 2006	126	2006
A DPLL-based calculus for ground satisfiability modulo theories C Tinelli European Workshop on Logics in Artificial Intelligence, 308-319, 2002	125	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	124	2008
The model evolution calculus P Baumgartner, C Tinelli International Conference on Automated Deduction, 350-364, 2003	118	2003
Unions of non-disjoint theories and combinations of satisfiability procedures C Tinelli, C Ringeissen Theoretical Computer Science 290 (1), 291-353, 2003	106	2003
The Kind 2 model checker A Champion, A Mebsout, C Sticksel, C Tinelli International Conference on Computer Aided Verification, 510-517, 2016	98	2016

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