Clark Barrett

Geciteerd door

	Alles	Sinds 2016
Citaties	9867	5500
h-index	41	28
i10-index	86	66

1600

800

400

1200

1999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202128 28 39 94 77 156 231 224 234 241 286 313 373 393 440 470 618 705 819 1023 1340 1544 42

Medeauteurs

Cesare TinelliProfessor of Computer Science, The University of IowaGeverifieerd e-mailadres voor uiowa.edu
Andrew ReynoldsUniversity of IowaGeverifieerd e-mailadres voor uiowa.edu
Aaron StumpProfessor of Computer Science, The University of IowaGeverifieerd e-mailadres voor uiowa.edu
David DillProfessor, Emeritus, of Computer Science, Stanford UniversityGeverifieerd e-mailadres voor stanford.edu
Morgan DetersSenior Research Scientist, NYUGeverifieerd e-mailadres voor cs.nyu.edu
Guy KatzThe Hebrew University of JerusalemGeverifieerd e-mailadres voor cs.huji.ac.il
Tim KingGoogle IncGeverifieerd e-mailadres voor google.com
Dejan JovanovićSRI InternationalGeverifieerd e-mailadres voor sri.com
Mykel J. KochenderferAssociate Professor, Stanford UniversityGeverifieerd e-mailadres voor stanford.edu
Kyle David JulianReceived Ph.D. at Stanford UniversityGeverifieerd e-mailadres voor stanford.edu
Liana HadareanSynopsysGeverifieerd e-mailadres voor synopsys.com
Leonardo de MouraSenior Principal Researcher at MicrosoftGeverifieerd e-mailadres voor microsoft.com
Jeremy LevittMentor Graphics CorporationGeverifieerd e-mailadres voor mentor.com
Yeting GeTwo Sigma InvestmentsGeverifieerd e-mailadres voor twosigma.com
Haniel BarbosaAssistant Professor of Computer Science at Universidade Federal de Minas GeraisGeverifieerd e-mailadres voor dcc.ufmg.br
Albert OliverasTechnical University of CataloniaGeverifieerd e-mailadres voor lsi.upc.edu
Tianyi LiangTwo Sigma Investments LPGeverifieerd e-mailadres voor uiowa.edu
Aina NiemetzStanford UniversityGeverifieerd e-mailadres voor cs.stanford.edu
Mathias PreinerStanford UniversityGeverifieerd e-mailadres voor cs.stanford.edu
Eshan SinghStanford UniversityGeverifieerd e-mailadres voor stanford.edu

Clark Barrett

Stanford University

Geverifieerd e-mailadres voor cs.stanford.edu - Homepage

Formal Methods Satisfiability Modulo Theories Automated Reasoning Verification Security


Titel Sorteren op citaties Sorteren op jaar Sorteren op titel	Geciteerd door Geciteerd door	Jaar
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
CVC4 C Barrett, C Conway, M Deters, L Hadarean, D Jovanović, T King, ... Computer aided verification, 171-177, 2011	969	2011
Reluplex: An efficient SMT solver for verifying deep neural networks G Katz, C Barrett, DL Dill, K Julian, MJ Kochenderfer International Conference on Computer Aided Verification, 97-117, 2017	780	2017
CVC3 C Barrett, C Tinelli Computer Aided Verification, 298-302, 2007	606	2007
The satisfiability modulo theories library (SMT-LIB) C Barrett, A Stump, C Tinelli SMT-LIB. org 15, 18-52, 2010	505	2010
CVC Lite: A new implementation of the cooperating validity checker C Barrett, S Berezin International Conference on Computer Aided Verification, 515-518, 2004	380	2004
CVC: A cooperating validity checker A Stump, CW Barrett, DL Dill International Conference on Computer Aided Verification, 500-504, 2002	273	2002
Validity checking for combinations of theories with equality C Barrett, D Dill, J Levitt International Conference on Formal Methods in Computer-Aided Design, 187-201, 1996	265	1996
Checking satisfiability of first-order formulas by incremental translation to SAT CW Barrett, DL Dill, A Stump International Conference on Computer Aided Verification, 236-249, 2002	211	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	195	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	171	1998
Adversarial transformation networks: Learning to generate adversarial examples S Baluja, I Fischer arXiv preprint arXiv:1703.09387, 2017	152	2017
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
SMT-COMP: Satisfiability modulo theories competition C Barrett, L De Moura, A Stump International Conference on Computer Aided Verification, 20-23, 2005	118	2005
An industrially effective environment for formal hardware verification CJH Seger, RB Jones, JW O'Leary, T Melham, MD Aagaard, C Barrett, ... IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2005	115	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	104	2015
Deepsafe: A data-driven approach for assessing robustness of neural networks D Gopinath, G Katz, CS Păsăreanu, C Barrett International Symposium on Automated Technology for Verification and …, 2018	96*	2018
6 years of SMT-COMP C Barrett, M Deters, L De Moura, A Oliveras, A Stump Journal of Automated Reasoning 50 (3), 243-277, 2013	94	2013

Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.

Artikelen 1–20

Citaties per jaar

Dubbele citaties

Samengevoegde citaties

Medeauteurs toevoegenMedeauteurs

PDF uploaden

Deze auteur volgen

Geciteerd door

Medeauteurs