Clark Barrett

Cited by

	All	Since 2018
Citations	14449	8477
h-index	45	32
i10-index	116	91

2100

1050

525

1575

2001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202340 95 81 144 217 236 225 237 241 307 360 398 438 482 619 701 827 986 1268 1543 1798 2060 800

Public access

View all

49 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Cesare TinelliProfessor of Computer Science, The University of IowaVerified email at uiowa.edu
Andrew ReynoldsUniversity of Iowa, Amazon Web ServicesVerified email at uiowa.edu
Aaron StumpProfessor of Computer Science, The University of IowaVerified email at uiowa.edu
David L. DillProfessor, Emeritus, of Computer Science, Stanford UniversityVerified email at stanford.edu
Guy KatzThe Hebrew University of JerusalemVerified email at cs.huji.ac.il
Morgan DetersSenior Research Scientist, NYUVerified email at cs.nyu.edu
Mykel J. KochenderferAssociate Professor, Stanford UniversityVerified email at stanford.edu
Tim KingGoogle IncVerified email at google.com
Kyle David JulianReceived Ph.D. at Stanford UniversityVerified email at stanford.edu
Haoze WuPhD Student, Stanford UniversityVerified email at stanford.edu
Dejan JovanovićAmazon Web ServicesVerified email at amazon.com
Liana HadareanAmazon Web ServicesVerified email at amazon.com
Haniel BarbosaAssistant Professor of Computer Science at Universidade Federal de Minas GeraisVerified email at dcc.ufmg.br
Mathias PreinerStanford UniversityVerified email at cs.stanford.edu
Aina NiemetzStanford UniversityVerified email at cs.stanford.edu
Andres NötzliStanford UniversityVerified email at stanford.edu
Yoni ZoharBar Ilan UniversityVerified email at biu.ac.il
Makai MannTechnical Staff, MIT Lincoln LaboratoryVerified email at ll.mit.edu
Subhasish MitraWilliam E. Ayer Professor, Stanford UniversityVerified email at stanford.edu
Leonardo de MouraAmazon Web ServicesVerified email at amazon.com

Clark Barrett

Stanford University

Verified email at cs.stanford.edu - Homepage

Formal Methods Satisfiability Modulo Theories Automated Reasoning Verification Security


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	1910*	2009
Satisfiability Modulo Theories C Barrett, C Tinelli Handbook of Model Checking, 305-343, 2018	1849	2018
Reluplex: An efficient SMT solver for verifying deep neural networks G Katz, C Barrett, DL Dill, K Julian, MJ Kochenderfer Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017	1719	2017
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
The satisfiability modulo theories library (SMT-LIB) C Barrett, A Stump, C Tinelli SMT-LIB. org 15, 18-52, 2010	689	2010
CVC Lite: A new implementation of the cooperating validity checker: Category B C Barrett, S Berezin Computer Aided Verification: 16th International Conference, CAV 2004, Boston …, 2004	390	2004
The marabou framework for verification and analysis of deep neural networks G Katz, DA Huang, D Ibeling, K Julian, C Lazarus, R Lim, P Shah, ... Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019	385	2019
Algorithms for verifying deep neural networks C Liu, T Arnon, C Lazarus, C Strong, C Barrett, MJ Kochenderfer Foundations and Trends® in Optimization 4 (3-4), 244-404, 2021	287	2021
CVC: A cooperating validity checker A Stump, CW Barrett, DL Dill Computer Aided Verification: 14th International Conference, CAV 2002 …, 2002	274	2002
Validity checking for combinations of theories with equality C Barrett, D Dill, J Levitt Formal Methods in Computer-Aided Design: First International Conference …, 1996	268	1996
Checking satisfiability of first-order formulas by incremental translation to SAT CW Barrett, DL Dill, A Stump Computer Aided Verification: 14th International Conference, CAV 2002 …, 2002	218	2002
A decision procedure for an extensional theory of arrays A Stump, CW Barrett, DL Dill, J Levitt Proceedings 16th Annual IEEE Symposium on Logic in Computer Science, 29-37, 2001	214	2001
A decision procedure for bit-vector arithmetic CW Barrett, DL Dill, JR Levitt Proceedings of the 35th Annual Design Automation Conference, 522-527, 1998	184	1998
Provably minimally-distorted adversarial examples N Carlini, G Katz, C Barrett, DL Dill arXiv preprint arXiv:1709.10207, 2017	176	2017
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
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
SMT-COMP: Satisfiability modulo theories competition C Barrett, L De Moura, A Stump Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005	135	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
Towards proving the adversarial robustness of deep neural networks G Katz, C Barrett, DL Dill, K Julian, MJ Kochenderfer arXiv preprint arXiv:1709.02802, 2017	128	2017

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