Leonardo de Moura

Cited by

	All	Since 2019
Citations	23798	10427
h-index	48	33
i10-index	82	54

2000

1000

500

1500

200320042005200620072008200920102011201220132014201520162017201820192020202120222023202468 149 216 254 345 432 607 735 816 961 1171 1318 1355 1526 1487 1536 1614 1665 1812 1821 1964 1545

Public access

View all

2 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Nikolaj BjornerMicrosoft ResearchVerified email at cs.stanford.edu
Bruno DutertreAmazon Web ServicesVerified email at amazon.com
Harald RuessfortissVerified email at fortiss.org
Natarajan ShankarSRI International Computer Science LaboratoryVerified email at csl.sri.com
John RushbySRI InternationalVerified email at csl.sri.com
Clark BarrettStanford UniversityVerified email at cs.stanford.edu
Jeremy AvigadProfessor of Philosophy and Mathematical Sciences, Carnegie Mellon UniversityVerified email at cmu.edu
Daniel SelsamOpenAIVerified email at openai.com
Dejan JovanovićAmazon Web ServicesVerified email at amazon.com
Sam OwreSRI InternationalVerified email at sri.com
Sebastian UllrichKarlsruhe Institute of TechnologyVerified email at kit.edu
Aaron StumpProfessor of Computer Science, The University of IowaVerified email at uiowa.edu
Soonho KongAmazon Web ServicesVerified email at amazon.com
Grant Olney PassmoreImandra Inc. and Clare Hall, University of CambridgeVerified email at cl.cam.ac.uk
Christoph M. WintersteigerImandraVerified email at imandra.ai
Ira BaxterCTO Semantic DesignsVerified email at semdesigns.com
Percy LiangAssociate Professor of Computer Science, Stanford UniversityVerified email at cs.stanford.edu
Ashish TiwariComputer Scientist, SRI International; Researcher MicrosoftVerified email at csl.sri.com
Floris van DoornUniversity of BonnVerified email at math.uni-bonn.de
Jakob von RaumerKarlsruhe Institute of TechnologyVerified email at von-raumer.de

Leonardo de Moura

Amazon Web Services

Verified email at amazon.com - Homepage

Automated Reasoning Theorem Proving Constraint Solving SAT SMT


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Z3: An efficient SMT solver L De Moura, N Bjørner International conference on Tools and Algorithms for the Construction and …, 2008	11074	2008
Clone detection using abstract syntax trees ID Baxter, A Yahin, L Moura, M Sant'Anna, L Bier Proceedings. International Conference on Software Maintenance (Cat. No …, 1998	2006	1998
A fast linear-arithmetic solver for DPLL (T) B Dutertre, L De Moura International Conference on Computer Aided Verification, 81-94, 2006	990	2006
Satisfiability modulo theories: introduction and applications L De Moura, N Bjørner Communications of the ACM 54 (9), 69-77, 2011	924	2011
The yices smt solver B Dutertre, L De Moura Tool paper at http://yices. csl. sri. com/tool-paper. pdf 2 (2), 1-2, 2006	886	2006
The Lean theorem prover (system description) L De Moura, S Kong, J Avigad, F Van Doorn, J von Raumer Automated Deduction-CADE-25: 25th International Conference on Automated …, 2015	725	2015
Learning a SAT solver from single-bit supervision D Selsam, M Lamm, B Bünz, P Liang, L de Moura, DL Dill arXiv preprint arXiv:1802.03685, 2018	495	2018
Solving non-linear arithmetic D Jovanović, L De Moura International Joint Conference on Automated Reasoning, 339-354, 2012	379	2012
SAL 2 L De Moura, S Owre, H Rueß, J Rushby, N Shankar, M Sorea, A Tiwari Computer Aided Verification: 16th International Conference, CAV 2004, Boston …, 2004	374	2004
Efficient E-matching for SMT solvers L De Moura, N Bjørner Automated Deduction–CADE-21: 21st International Conference on Automated …, 2007	369	2007
Complete instantiation for quantified formulas in satisfiabiliby modulo theories Y Ge, L De Moura Computer Aided Verification: 21st International Conference, CAV 2009 …, 2009	328	2009
Satisfiability modulo theories: An appetizer L De Moura, N Bjørner Brazilian Symposium on Formal Methods, 23-36, 2009	309	2009
Bounded model checking and induction: From refutation to verification L De Moura, H Rueß, M Sorea Computer Aided Verification, 14-26, 2003	229*	2003
The Lean 4 theorem prover and programming language L Moura, S Ullrich Automated Deduction–CADE 28: 28th International Conference on Automated …, 2021	208	2021
Lazy theorem proving for bounded model checking over infinite domains L De Moura, H Rueß, M Sorea International Conference on Automated Deduction, 438-455, 2002	191	2002
Generating efficient test sets with a model checker G Hamon, L De Moura, J Rushby Proceedings of the Second International Conference on Software Engineering …, 2004	185	2004
Generalized, efficient array decision procedures L De Moura, N Bjørner 2009 Formal Methods in Computer-Aided Design, 45-52, 2009	179	2009
A model-constructing satisfiability calculus L De Moura, D Jovanović International Workshop on Verification, Model Checking, and Abstract …, 2013	162	2013
SMT-COMP: Satisfiability modulo theories competition C Barrett, L De Moura, A Stump Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005	155	2005
The SAL language manual L De Moura, S Owre, N Shankar Computer Science Laboratory, SRI International, Menlo Park, Tech. Rep. CSL-01-01, 2003	148	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