Leonardo de Moura

Cited by

	All	Since 2020
Citations	24613	9582
h-index	48	31
i10-index	83	53

2200

1100

550

1650

2003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202568 150 215 256 344 432 607 742 815 961 1178 1321 1355 1534 1499 1541 1618 1663 1819 1836 1976 2106 179

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
Sebastian UllrichKarlsruhe Institute of TechnologyVerified email at kit.edu
Daniel SelsamOpenAIVerified email at openai.com
Aaron StumpJohn R. and Pamela Egan Chair, Computer Science, Boston CollegeVerified email at bc.edu
Dejan JovanovićAmazon Web ServicesVerified email at amazon.com
Sam OwreSRI InternationalVerified email at sri.com
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	11517	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	2038	1998
A fast linear-arithmetic solver for DPLL (T) B Dutertre, L De Moura International Conference on Computer Aided Verification, 81-94, 2006	999	2006
Satisfiability modulo theories: introduction and applications L De Moura, N Bjørner Communications of the ACM 54 (9), 69-77, 2011	951	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	894	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	786	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	531	2018
Solving non-linear arithmetic D Jovanović, L De Moura International Joint Conference on Automated Reasoning, 339-354, 2012	384	2012
Efficient E-matching for SMT solvers L De Moura, N Bjørner Automated Deduction–CADE-21: 21st International Conference on Automated …, 2007	382	2007
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	375	2004
Complete instantiation for quantified formulas in satisfiabiliby modulo theories Y Ge, L De Moura Computer Aided Verification: 21st International Conference, CAV 2009 …, 2009	337	2009
Satisfiability modulo theories: An appetizer L De Moura, N Bjørner Brazilian Symposium on Formal Methods, 23-36, 2009	312	2009
The Lean 4 theorem prover and programming language L Moura, S Ullrich Automated Deduction–CADE 28: 28th International Conference on Automated …, 2021	262	2021
Bounded model checking and induction: From refutation to verification L De Moura, H Rueß, M Sorea Computer Aided Verification, 14-26, 2003	231*	2003
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	184	2009
A model-constructing satisfiability calculus L De Moura, D Jovanović International Workshop on Verification, Model Checking, and Abstract …, 2013	168	2013
SMT-COMP: Satisfiability modulo theories competition C Barrett, L De Moura, A Stump Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005	165	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	149	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