The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Leonardo Mendonça de Moura: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Leonardo Mendonça de Moura, Sam Owre, Harald Rueß, John M. Rushby, Natarajan Shankar
    The ICS Decision Procedures for Embedded Deduction. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2004, pp:218-222 [Conf]
  2. Leonardo Mendonça de Moura, Harald Rueß, Maria Sorea
    Lazy Theorem Proving for Bounded Model Checking over Infinite Domains. [Citation Graph (0, 0)][DBLP]
    CADE, 2002, pp:438-455 [Conf]
  3. Clark W. Barrett, Leonardo Mendonça de Moura, Aaron Stump
    SMT-COMP: Satisfiability Modulo Theories Competition. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:20-23 [Conf]
  4. Bruno Dutertre, Leonardo Mendonça de Moura
    A Fast Linear-Arithmetic Solver for DPLL(T). [Citation Graph (0, 0)][DBLP]
    CAV, 2006, pp:81-94 [Conf]
  5. Leonardo Mendonça de Moura, Sam Owre, Harald Rueß, John M. Rushby, Natarajan Shankar, Maria Sorea, Ashish Tiwari
    SAL 2. [Citation Graph (0, 0)][DBLP]
    CAV, 2004, pp:496-500 [Conf]
  6. Leonardo Mendonça de Moura, Harald Rueß
    An Experimental Evaluation of Ground Decision Procedures. [Citation Graph (0, 0)][DBLP]
    CAV, 2004, pp:162-174 [Conf]
  7. Leonardo Mendonça de Moura, Harald Rueß, Maria Sorea
    Bounded Model Checking and Induction: From Refutation to Verification (Extended Abstract, Category A). [Citation Graph (0, 0)][DBLP]
    CAV, 2003, pp:14-26 [Conf]
  8. Ira D. Baxter, Andrew Yahin, Leonardo Mendonça de Moura, Marcelo Sant'Anna, Lorraine Bier
    Clone Detection Using Abstract Syntax Trees. [Citation Graph (0, 0)][DBLP]
    ICSM, 1998, pp:368-377 [Conf]
  9. Grégoire Hamon, Leonardo Mendonça de Moura, John M. Rushby
    Generating Efficient Test Sets with a Model Checker. [Citation Graph (0, 0)][DBLP]
    SEFM, 2004, pp:261-270 [Conf]
  10. Harald Rueß, Leonardo Mendonça de Moura
    Simulation and verification I: from simulation to verification (and back). [Citation Graph (0, 0)][DBLP]
    Winter Simulation Conference, 2003, pp:888-896 [Conf]
  11. Clark W. Barrett, Leonardo Mendonça de Moura, Aaron Stump
    Design and Results of the First Satisfiability Modulo Theories Competition (SMT-COMP 2005). [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2005, v:35, n:4, pp:373-390 [Journal]
  12. Leonardo Mendonça de Moura, Carlos José Pereira de Lucena
    O Ambiente Visual Spider para o Desenvolvimento de Aplicações para a Internet. [Citation Graph (0, 0)][DBLP]
    RITA, 1997, v:4, n:2, pp:59-78 [Journal]
  13. Leonardo Mendonça de Moura, Carlos José Pereira de Lucena, Arndt von Staa
    The Spider Environment. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1999, v:29, n:2, pp:99-124 [Journal]
  14. Leonardo Mendonça de Moura, Nikolaj Bjørner
    Efficient E-Matching for SMT Solvers. [Citation Graph (0, 0)][DBLP]
    CADE, 2007, pp:183-198 [Conf]
  15. Leonardo Mendonça de Moura, Bruno Dutertre, Natarajan Shankar
    A Tutorial on Satisfiability Modulo Theories. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:20-36 [Conf]

  16. Engineering DPLL(T) + Saturation. [Citation Graph (, )][DBLP]


  17. Deciding Effectively Propositional Logic Using DPLL and Substitution Sets. [Citation Graph (, )][DBLP]


  18. Invited talk: Developing Efficient SMT Solvers. [Citation Graph (, )][DBLP]


  19. On Deciding Satisfiability by DPLL(G+T) and Unsound Theorem Proving. [Citation Graph (, )][DBLP]


  20. Bugs, Moles and Skeletons: Symbolic Reasoning for Software Development. [Citation Graph (, )][DBLP]


  21. A Concurrent Portfolio Approach to SMT Solving. [Citation Graph (, )][DBLP]


  22. Complete Instantiation for Quantified Formulas in Satisfiabiliby Modulo Theories. [Citation Graph (, )][DBLP]


  23. Generalized, efficient array decision procedures. [Citation Graph (, )][DBLP]


  24. Tapas: Theory Combinations and Practical Applications. [Citation Graph (, )][DBLP]


  25. Tutorial Presentations at the Twelfth International Conference on Principles of Knowledge Representation and Reasoning. [Citation Graph (, )][DBLP]


  26. Proofs and Refutations, and Z3. [Citation Graph (, )][DBLP]


  27. Z3: An Efficient SMT Solver. [Citation Graph (, )][DBLP]


  28. Satisfiability Modulo Theories: An Appetizer. [Citation Graph (, )][DBLP]


  29. Model-based Theory Combination. [Citation Graph (, )][DBLP]


Search in 0.039secs, Finished in 0.040secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002