L. D. Moura
发表
Nikolaj Bjørner,
Leonardo Mendonça de Moura,
L. D. Moura,
2008,
TACAS.
L. D. Moura,
N. Bjørner,
2007
.
L. D. Moura,
2002
.
L. D. Moura,
B. Dutertre,
2006
.
Nikolaj Bjørner,
Leonardo Mendonça de Moura,
L. D. Moura,
2008,
SMT@CAV.
Nikolaj Bjørner,
Leonardo Mendonça de Moura,
L. D. Moura,
2007,
CADE.
Bruno Dutertre,
Leonardo Mendonça de Moura,
L. D. Moura,
2006,
CAV.
Nikolaj Bjørner,
Leonardo Mendonça de Moura,
Krystof Hoder,
2011,
CAV.
David L. Dill,
Percy Liang,
Matthew Lamm,
2018,
ICLR.
Nikolaj Bjørner,
Leonardo Mendonça de Moura,
L. D. Moura,
2009,
2009 Formal Methods in Computer-Aided Design.
Leonardo Mendonça de Moura,
Yeting Ge,
L. D. Moura,
2009,
CAV.
Jeremy Avigad,
Soonho Kong,
Leonardo Mendonça de Moura,
2015,
CADE.
Soonho Kong,
L. D. Moura,
J. Avigad,
2016
.
Aaron Stump,
Leonardo Mendonça de Moura,
Clark W. Barrett,
2005,
CAV.
Nikolaj Bjørner,
Margus Veanes,
Leonardo Mendonça de Moura,
2010,
LPAR.
Leonardo Mendonça de Moura,
Grant Olney Passmore,
L. D. Moura,
2013,
CADE.
C. Barrett,
L. D. Moura,
P. Fontaine,
2014
.
Ruzica Piskac,
Nikolaj Bjørner,
Leonardo Mendonça de Moura,
2010,
Journal of Automated Reasoning.
L. D. Moura,
N. Bjørner,
R. Piskac,
2008
.
Nikolaj Bjørner,
Leonardo Mendonça de Moura,
L. D. Moura,
2008,
IJCAR.
Nikolaj Bjørner,
Leonardo Mendonça de Moura,
L. D. Moura,
2011,
Commun. ACM.
L. D. Moura,
N. Bjørner,
2009
.
L. D. Moura,
N. Bjørner,
N. Tillmann,
2008
.
L. D. Moura,
D. Jovanovi,
2013
.
N. Shankar,
L. D. Moura,
S. Owre,
2005
.
Paul B. Jackson,
L. D. Moura,
G. Passmore,
2010
.
L. D. Moura,
N. Bjørner,
2011,
Commun. ACM.
Domagoj Babic,
Leonardo Mendonça de Moura,
Clark Barrett,
2008
.
L. D. Moura,
I. Baxter,
Marcelo Sant'Anna,
1998,
Proceedings. International Conference on Software Maintenance (Cat. No. 98CB36272).
L. D. Moura,
G. Passmore,
2009
.
Jeremy Avigad,
Soonho Kong,
Floris van Doorn,
2015
.
Patrice Godefroid,
Leonardo de Moura,
Daniel Selsam,
2020,
ArXiv.
Cody Roux,
Jeremy Avigad,
Soonho Kong,
2015,
ArXiv.
Clark W. Barrett,
Aaron Stump,
L. D. Moura,
2013,
Journal of Automated Reasoning.
Nikolaj Bjørner,
Margus Veanes,
Thomas Ball,
2012,
SPIN.
Harald Rueß,
Leonardo de Moura,
L. D. Moura,
2003,
WSC '03.
Natarajan Shankar,
Leonardo de Moura,
Sam Owre,
2003
.
Maria Paola Bonacina,
Leonardo Mendonça de Moura,
Christopher Lynch,
2011,
Journal of Automated Reasoning.
Daan Leijen,
Ben Zorn,
Leonardo de Moura,
2019,
APLAS.
Natarajan Shankar,
Bruno Dutertre,
Leonardo Mendonça de Moura,
2007,
CAV.
Leonardo Mendonça de Moura,
Dejan Jovanovic,
L. D. Moura,
2013,
VMCAI.
Nikolaj Bjørner,
Leonardo Mendonça de Moura,
L. D. Moura,
2009,
SBMF.
Nikolaj Bjørner,
Leonardo Mendonça de Moura,
L. D. Moura,
2009,
FORMATS.
Maria Paola Bonacina,
Leonardo Mendonça de Moura,
Christopher Lynch,
2009,
CADE.
Youssef Hamadi,
Leonardo Mendonça de Moura,
Christoph M. Wintersteiger,
2009,
CAV.
Nikolaj Bjørner,
Leonardo Mendonça de Moura,
L. D. Moura,
2014,
Tractability.
Aaron Stump,
Leonardo Mendonça de Moura,
Clark W. Barrett,
2005,
Journal of Automated Reasoning.
Leonardo Mendonça de Moura,
Dejan Jovanovic,
L. D. Moura,
2012,
ACCA.
Leonardo de Moura,
Sebastian Ullrich,
L. D. Moura,
2021,
CADE.
Leonardo Mendonça de Moura,
John M. Rushby,
Grégoire Hamon,
2004,
Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004..
Nikolaj Bjørner,
Lev Nachmanson,
Christoph M. Wintersteiger,
2018,
SETSS.
Leonardo de Moura,
Gregoire Hamon,
L. D. Moura,
2005
.
Youssef Hamadi,
Leonardo Mendonça de Moura,
Christoph M. Wintersteiger,
2010,
Formal Methods in Computer Aided Design.
Lawrence C. Paulson,
Leonardo Mendonça de Moura,
Grant Olney Passmore,
2012,
AISC/MKM/Calculemus.
Nikolaj Bjørner,
Leonardo Mendonça de Moura,
L. D. Moura,
2008,
LPAR Workshops.
Sebastian Ullrich,
Leonardo de Moura,
Daniel Selsam,
2020,
ArXiv.
Jeremy Avigad,
Jared Roesch,
Leonardo de Moura,
2017,
Proc. ACM Program. Lang..
Harald Ruess,
Maria Sorea,
Leonardo Mendonça de Moura,
2002,
CADE.
Cesare Tinelli,
Andrew Reynolds,
Leonardo Mendonça de Moura,
2014,
2014 Formal Methods in Computer-Aided Design (FMCAD).
Natarajan Shankar,
Harald Ruess,
Leonardo Mendonça de Moura,
2004,
IJCAR.
Natarajan Shankar,
Bruno Dutertre,
Leonardo de Moura,
2007
.
Cesare Tinelli,
Silvio Ranise,
Aaron Stump,
2010,
Haifa Verification Conference.
L. D. Moura,
I. Baxter,
Yo-Cheng Chang,
1998,
Proceedings. International Conference on Software Maintenance (Cat. No. 98CB36272).
Sebastian Ullrich,
Leonardo de Moura,
L. D. Moura,
2019,
IFL.
Leonardo Mendonça de Moura,
Grant Olney Passmore,
L. D. Moura,
2013,
Automated Reasoning and Mathematics.
Leonardo Mendonça de Moura,
Dejan Jovanovic,
L. D. Moura,
2011,
Journal of Automated Reasoning.
Bruno Dutertre,
Leonardo de Moura,
L. D. Moura,
2006
.
Leonardo Mendonça de Moura,
Grant Olney Passmore,
L. D. Moura,
2009,
2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.
Paul B. Jackson,
Leonardo Mendonça de Moura,
Grant Olney Passmore,
2010,
Decision Procedures in Software, Hardware and Bioware.
L. D. Moura,
G. Passmore,
M Bonacina,
2013,
Automated Reasoning and Mathematics.
L. D. Moura,
Sebastian Ullrich,
2019,
IFL.
Ashish Tiwari,
Natarajan Shankar,
Harald Ruess,
2004,
CAV.
Harald Ruess,
Maria Sorea,
Leonardo de Moura,
2003,
CAV.
John Rushby,
Natarajan Shankar,
Harald Rueß,
2003
.
Aaron Stump,
Leonardo Mendonça de Moura,
Clark W. Barrett,
2007,
Formal Methods Syst. Des..