Leonardo Mendonça de Moura

	2009
27		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
26		Yeting Ge, Leonardo Mendonça de Moura: Complete Instantiation for Quantified Formulas in Satisfiabiliby Modulo Theories. CAV 2009: 306-320
25		Christoph M. Wintersteiger, Youssef Hamadi, Leonardo Mendonça de Moura: A Concurrent Portfolio Approach to SMT Solving. CAV 2009: 715-720
24		Nikolaj Bjørner, Leonardo Mendonça de Moura: Tapas: Theory Combinations and Practical Applications. FORMATS 2009: 1-6
23		Leonardo Mendonça de Moura, Nikolaj Bjørner: Satisfiability Modulo Theories: An Appetizer. SBMF 2009: 23-36
	2008
22		Leonardo Mendonça de Moura, Nikolaj Bjørner: Deciding Effectively Propositional Logic Using DPLL and Substitution Sets. IJCAR 2008: 410-425
21		Leonardo Mendonça de Moura, Nikolaj Bjørner: Engineering DPLL(T) + Saturation. IJCAR 2008: 475-490
20		Leonardo Mendonça de Moura, Nikolaj Bjørner: Proofs and Refutations, and Z3. LPAR Workshops 2008
19		Leonardo Mendonça de Moura, Nikolaj Bjørner: Z3: An Efficient SMT Solver. TACAS 2008: 337-340
18		Leonardo Mendonça de Moura, Nikolaj Bjørner: Model-based Theory Combination. Electr. Notes Theor. Comput. Sci. 198(2): 37-49 (2008)
	2007
17		Leonardo Mendonça de Moura, Nikolaj Bjørner: Efficient E-Matching for SMT Solvers. CADE 2007: 183-198
16		Leonardo Mendonça de Moura, Bruno Dutertre, Natarajan Shankar: A Tutorial on Satisfiability Modulo Theories. CAV 2007: 20-36
15		Leonardo Mendonça de Moura: Invited talk: Developing Efficient SMT Solvers. ESARLT 2007
14		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)
	2006
13		Bruno Dutertre, Leonardo Mendonça de Moura: A Fast Linear-Arithmetic Solver for DPLL(T). CAV 2006: 81-94
	2005
12		Clark W. Barrett, Leonardo Mendonça de Moura, Aaron Stump: SMT-COMP: Satisfiability Modulo Theories Competition. CAV 2005: 20-23
11		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)
	2004
10		Leonardo Mendonça de Moura, Harald Rueß: An Experimental Evaluation of Ground Decision Procedures. CAV 2004: 162-174
9		Leonardo Mendonça de Moura, Sam Owre, Harald Rueß, John M. Rushby, Natarajan Shankar, Maria Sorea, Ashish Tiwari: SAL 2. CAV 2004: 496-500
8		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
7		Grégoire Hamon, Leonardo Mendonça de Moura, John M. Rushby: Generating Efficient Test Sets with a Model Checker. SEFM 2004: 261-270
	2003
6		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
5		Harald Rueß, Leonardo Mendonça de Moura: Simulation and verification I: from simulation to verification (and back). Winter Simulation Conference 2003: 888-896
	2002
4		Leonardo Mendonça de Moura, Harald Rueß, Maria Sorea: Lazy Theorem Proving for Bounded Model Checking over Infinite Domains. CADE 2002: 438-455
	1999
3		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
2		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
1		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

1	Clark W. Barrett (Clark Barrett)	[11] [12] [14]
2	Ira D. Baxter	[2]
3	Lorraine Bier	[2]
4	Nikolaj Bjørner	[17] [18] [19] [20] [21] [22] [23] [24]
5	Maria Paola Bonacina	[27]
6	Bruno Dutertre	[13] [16]
7	Yeting Ge	[26]
8	Youssef Hamadi	[25]
9	Grégoire Hamon	[7]
10	Carlos José Pereira de Lucena	[1] [3]
11	Christopher Lynch	[27]
12	Sam Owre	[8] [9]
13	Harald Rueß	[4] [5] [6] [8] [9] [10]
14	John M. Rushby	[7] [8] [9]
15	Marcelo Sant'Anna	[2]
16	Natarajan Shankar	[8] [9] [16]
17	Maria Sorea	[4] [6] [9]
18	Arndt von Staa	[3]
19	Aaron Stump	[11] [12] [14]
20	Ashish Tiwari	[9]
21	Christoph M. Wintersteiger	[25]
22	Andrew Yahin	[2]

Colors in the list of coauthors