Leonardo de Moura - Concepedia

Author

Leonardo de Moura

Also Known As

Baanen, Anne, Johansson, Moa, Koopmann, Patrick, L. Moura, L. de Moura, Leonardo De Moura, Leonardo Moura, Leonardo de Moura, MOURA, L., Moura, Leonardo De

Publications

13.4K

Citations

H-Index

Concepts

All Affiliations

Microsoft (United States)New York University SRI International Microsoft Research (United Kingdom)Menlo School

About

Leonardo de Moura is an author at Microsoft (United States) specializing in engineering, computer science, and formal methods.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	21	25	3.2K
2	Computer Science	21	25	3.2K
3	Computer Engineering	9	9	1.7K
4	Systems Engineering	5	5	282
5	Data Science	1	1	189

Leonardo de Moura

Publications

3.9K

Citations

H-Index

Page 1

	Year	Citations
Clone detection using abstract syntax trees Ira D. Baxter, A. Yahin, Leonardo de Moura, Software MaintenanceEngineeringClone DetectionCompiler TechnologyVerification	2002	1.3K
Satisfiability modulo theories Leonardo de Moura, Nikolaj Bjørner Communications of the ACM Decision ProcedureEngineeringAutomated ReasoningProof ComplexityVerification	2011	615
The YICES SMT Solver Bruno Dutertre, Leonardo de Moura	2006	478
Learning a SAT Solver from Single-Bit Supervision Daniel Selsam, Matthew Lamm, Benedikt Bünz, arXiv (Cornell University) Artificial IntelligenceEngineeringMachine LearningNeural NetworkComputational Complexity	2018	189
Generalized, efficient array decision procedures Leonardo de Moura, Nikolaj Bjørner Mathematical ProgrammingEngineeringAnalysis Of AlgorithmComputational ComplexityEmpirical Algorithmics	2009	131
The SAL Language Manual Leonardo de Moura, Sam Owre, Natarajan Shankar EngineeringVerificationSoftware EngineeringSal FrameworkSal Language Manual	2003	96
Generating efficient test sets with a model checker Grégoire Hamon, Leonardo de Moura, John Rushby Software Engineering and Formal Methods EngineeringVerificationTest Data GenerationSoftware AnalysisFormal Verification	2004	94
Deciding Effectively Propositional Logic Using DPLL and Substitution Sets Ružica Piskač, Leonardo de Moura, Nikolaj Bjørner Journal of Automated Reasoning Substitution SetsEngineeringAutomated ReasoningPropositional LogicDynamic Logic	2009	85
A metaprogramming framework for formal verification Gabriel Ebner, Sebastian Ullrich, Jared Roesch, Proceedings of the ACM on Programming Languages EngineeringVerificationSoftware EngineeringObject LanguageSoftware Analysis	2017	79
Model-based Theory Combination Leonardo de Moura, Nikolaj Bjørner Electronic Notes in Theoretical Computer Science Mathematical ProgrammingEngineeringModeling MethodComputational Model TheoryComputational Complexity	2008	75

Page 1