Leonardo Mendonça de Moura Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2013
j12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Christoph M. Wintersteiger, Youssef Hamadi, Leonardo Mendonça de Moura: Efficiently solving quantified bit-vector formulas. Formal Methods in System Design 42(1): 3-23 (2013)
j11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Clark Barrett, Morgan Deters, Leonardo Mendonça de Moura, Albert Oliveras, Aaron Stump: 6 Years of SMT-COMP. J. Autom. Reasoning 50(3): 243-277 (2013)
j10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Dejan Jovanovic, Leonardo Mendonça de Moura: Cutting to the Chase - Solving Linear Integer Arithmetic. J. Autom. Reasoning 51(1): 79-108 (2013)
c38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Leonardo Mendonça de Moura, Dejan Jovanovic: A Model-Constructing Satisfiability Calculus. VMCAI 2013: 1-12
2012
c37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Grant Olney Passmore, Lawrence C. Paulson, Leonardo Mendonça de Moura: Real Algebraic Strategies for MetiTarski Proofs. AISC/MKM/Calculemus 2012: 358-370
c36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Leonardo Mendonça de Moura: Regression Tests and the Inventor's Dilemma. COMPARE 2012: 1
c35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Dejan Jovanovic, Leonardo Mendonça de Moura: Solving Non-linear Arithmetic. IJCAR 2012: 339-354
c34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Thomas Ball, Nikolaj Bjørner, Leonardo Mendonça de Moura, Kenneth L. McMillan, Margus Veanes: Beyond First-Order Satisfaction: Fixed Points, Interpolants, Automata and Polynomials. SPIN 2012: 1-6
2011
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Leonardo Mendonça de Moura, Nikolaj Bjørner: Satisfiability modulo theories: introduction and applications. Commun. ACM 54(9): 69-77 (2011)
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Maria Paola Bonacina, Christopher Lynch, Leonardo Mendonça de Moura: On Deciding Satisfiability by Theorem Proving with Speculative Inferences. J. Autom. Reasoning 47(2): 161-189 (2011)
c33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Dejan Jovanovic, Leonardo Mendonça de Moura: Cutting to the Chase Solving Linear Integer Arithmetic. CADE 2011: 338-353
c32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Krystof Hoder, Nikolaj Bjørner, Leonardo Mendonça de Moura: μZ- An Efficient Engine for Fixed Points with Constraints. CAV 2011: 457-462
c31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Leonardo Mendonça de Moura: Orchestrating Satisfiability Engines. CP 2011: 1
c30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Leonardo Mendonça de Moura: Satisfiability at Microsoft. FMICS 2011: 5
2010
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ruzica Piskac, Leonardo Mendonça de Moura, Nikolaj Bjørner: Deciding Effectively Propositional Logic Using DPLL and Substitution Sets. J. Autom. Reasoning 44(4): 401-424 (2010)
c29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Leonardo Mendonça de Moura, Nikolaj Bjørner: Bugs, Moles and Skeletons: Symbolic Reasoning for Software Development. IJCAR 2010: 400-411
c28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Christoph M. Wintersteiger, Youssef Hamadi, Leonardo Mendonça de Moura: Efficiently solving quantified bit-vector formulas. FMCAD 2010: 239-246
c27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Clark Barrett, Leonardo Mendonça de Moura, Silvio Ranise, Aaron Stump, Cesare Tinelli: The SMT-LIB Initiative and the Rise of SMT - (HVC 2010 Award Talk). Haifa Verification Conference 2010: 3
c26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Leonardo Mendonça de Moura, Carsten Lutz, Monica M. C. Schraefel, Bernhard Nebel: Tutorial Presentations at the Twelfth International Conference on Principles of Knowledge Representation and Reasoning. KR 2010
c25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Margus Veanes, Nikolaj Bjørner, Leonardo Mendonça de Moura: Symbolic Automata Constraint Solving. LPAR (Yogyakarta) 2010: 640-654
2009
c24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Maria Paola Bonacina, Christopher Lynch, Leonardo Mendonça de Moura: On Deciding Satisfiability by DPLL(G+T) and Unsound Theorem Proving. CADE 2009: 35-50
c23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yeting Ge, Leonardo Mendonça de Moura: Complete Instantiation for Quantified Formulas in Satisfiabiliby Modulo Theories. CAV 2009: 306-320
c22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Christoph M. Wintersteiger, Youssef Hamadi, Leonardo Mendonça de Moura: A Concurrent Portfolio Approach to SMT Solving. CAV 2009: 715-720
c21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Leonardo Mendonça de Moura, Nikolaj Bjørner: Generalized, efficient array decision procedures. FMCAD 2009: 45-52
c20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Nikolaj Bjørner, Leonardo Mendonça de Moura: Tapas: Theory Combinations and Practical Applications. FORMATS 2009: 1-6
c19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Leonardo Mendonça de Moura, Nikolaj Bjørner: Satisfiability Modulo Theories: An Appetizer. SBMF 2009: 23-36
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Grant Olney Passmore, Leonardo Mendonça de Moura: Superfluous S-polynomials in Strategy-Independent Groebner Bases. SYNASC 2009: 45-53
2008
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Leonardo Mendonça de Moura, Nikolaj Bjørner: Model-based Theory Combination. Electr. Notes Theor. Comput. Sci. 198(2): 37-49 (2008)
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Leonardo Mendonça de Moura, Nikolaj Bjørner: Deciding Effectively Propositional Logic Using DPLL and Substitution Sets. IJCAR 2008: 410-425
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Leonardo Mendonça de Moura, Nikolaj Bjørner: Engineering DPLL(T) + Saturation. IJCAR 2008: 475-490
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Leonardo Mendonça de Moura, Nikolaj Bjørner: Proofs and Refutations, and Z3. LPAR Workshops 2008
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Leonardo Mendonça de Moura, Nikolaj Bjørner: Z3: An Efficient SMT Solver. TACAS 2008: 337-340
2007
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Clark W. Barrett, Leonardo Mendonça de Moura, Aaron Stump: Design and results of the 2nd annual satisfiability modulo theories competition (SMT-COMP 2006). Formal Methods in System Design 31(3): 221-239 (2007)
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Leonardo Mendonça de Moura: Invited talk: Developing Efficient SMT Solvers. ESARLT 2007
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Leonardo Mendonça de Moura, Nikolaj Bjørner: Efficient E-Matching for SMT Solvers. CADE 2007: 183-198
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Leonardo Mendonça de Moura, Bruno Dutertre, Natarajan Shankar: A Tutorial on Satisfiability Modulo Theories. CAV 2007: 20-36
2006
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Bruno Dutertre, Leonardo Mendonça de Moura: A Fast Linear-Arithmetic Solver for DPLL(T). CAV 2006: 81-94
2005
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Leonardo Mendonça de Moura, Harald Rueß, Natarajan Shankar: Justifying Equality. Electr. Notes Theor. Comput. Sci. 125(3): 69-85 (2005)
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Clark W. Barrett, Leonardo Mendonça de Moura, Aaron Stump: Design and Results of the First Satisfiability Modulo Theories Competition (SMT-COMP 2005). J. Autom. Reasoning 35(4): 373-390 (2005)
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Clark W. Barrett, Leonardo Mendonça de Moura, Aaron Stump: SMT-COMP: Satisfiability Modulo Theories Competition. CAV 2005: 20-23
2004
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Leonardo Mendonça de Moura, Sam Owre, Harald Rueß, John M. Rushby, Natarajan Shankar: The ICS Decision Procedures for Embedded Deduction. IJCAR 2004: 218-222
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Leonardo Mendonça de Moura, Harald Rueß: An Experimental Evaluation of Ground Decision Procedures. CAV 2004: 162-174
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Leonardo Mendonça de Moura, Sam Owre, Harald Rueß, John M. Rushby, Natarajan Shankar, Maria Sorea, Ashish Tiwari: SAL 2. CAV 2004: 496-500
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Grégoire Hamon, Leonardo Mendonça de Moura, John M. Rushby: Generating Efficient Test Sets with a Model Checker. SEFM 2004: 261-270
2003
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Leonardo Mendonça de Moura, Harald Rueß, Maria Sorea: Bounded Model Checking and Induction: From Refutation to Verification (Extended Abstract, Category A). CAV 2003: 14-26
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Harald Rueß, Leonardo Mendonça de Moura: Simulation and verification I: from simulation to verification (and back). Winter Simulation Conference 2003: 888-896
2002
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Leonardo Mendonça de Moura, Harald Rueß, Maria Sorea: Lazy Theorem Proving for Bounded Model Checking over Infinite Domains. CADE 2002: 438-455
1999
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Leonardo Mendonça de Moura, Carlos José Pereira de Lucena, Arndt von Staa: The Spider Environment. Softw., Pract. Exper. 29(2): 99-124 (1999)
1998
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ira D. Baxter, Andrew Yahin, Leonardo Mendonça de Moura, Marcelo Sant'Anna, Lorraine Bier: Clone Detection Using Abstract Syntax Trees. ICSM 1998: 368-377
1997
j1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Leonardo Mendonça de Moura, Carlos José Pereira de Lucena: O Ambiente Visual Spider para o Desenvolvimento de Aplicações para a Internet. RITA 4(2): 59-78 (1997)

Coauthor Index

1Thomas Ball
[c34]
2Clark W. Barrett (Clark Barrett)
[j11] [c27] [j5] [j3] [c9]
3Ira D. Baxter
[c1]
4Lorraine Bier
[c1]
5Nikolaj Bjørner
[c34] [j9] [c32] [j7] [c29] [c25] [c21] [c20] [c19] [j6] [c17] [c16] [c15] [c14] [c12]
6Maria Paola Bonacina
[j8] [c24]
7Morgan Deters
[j11]
8Bruno Dutertre
[c11] [c10]
9Yeting Ge
[c23]
10Youssef Hamadi
[j12] [c28] [c22]
11Grégoire Hamon
[c5]
12Krystof Hoder
[c32]
13Dejan Jovanovic
[j10] [c38] [c35] [c33]
14Carlos José Pereira de Lucena
[j2] [j1]
15Carsten Lutz
[c26]
16Christopher Lynch
[j8] [c24]
17Kenneth L. McMillan
[c34]
18Bernhard Nebel
[c26]
19Albert Oliveras
[j11]
20Sam Owre
[c8] [c6]
21Grant Olney Passmore
[c37] [c18]
22Lawrence C. Paulson
[c37]
23Ruzica Piskac
[j7]
24Silvio Ranise
[c27]
25Harald Ruess (Harald Rueß)
[j4] [c8] [c7] [c6] [c4] [c3] [c2]
26John M. Rushby
[c8] [c6] [c5]
27Marcelo Sant'Anna
[c1]
28Monica M. C. Schraefel (m. c. schraefel)
[c26]
29Natarajan Shankar
[c11] [j4] [c8] [c6]
30Maria Sorea
[c6] [c4] [c2]
31Arndt von Staa
[j2]
32Aaron Stump
[j11] [c27] [j5] [j3] [c9]
33Cesare Tinelli
[c27]
34Ashish Tiwari
[c6]
35Margus Veanes
[c34] [c25]
36Christoph M. Wintersteiger
[j12] [c28] [c22]
37Andrew Yahin
[c1]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Sun May 26 08:56:43 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page