io-port 06105557 Ball, Thomas; Bjørner, Nikolaj; de Moura, Leonardo; McMillan, Kenneth L.; Veanes, Margus

Donaldson, Alastair (ed.) et al., Model checking software. 19th international workshop, SPIN 2012, Oxford, UK, July 23‒24, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31758-3/pbk). Lecture Notes in Computer Science 7385, 1-6 (2012).

io-port 06079508 Passmore, Grant Olney; Paulson, Lawrence C.; de Moura, Leonardo

Jeuring, Johan (ed.) et al., Intelligent computer mathematics. 11th international conference, AISC 2012, 19th symposium, Calculemus 2012, 5th international workshop, DML 2012, 11th international conference, MKM 2012, systems and projects, held as part of CICM 2012, Bremen, Germany, July 8‒13, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31373-8/pbk). Lecture Notes in Computer Science 7362. Lecture Notes in Artificial Intelligence, 358-370 (2012).

io-port 06076918 Jovanović, Dejan; de Moura, Leonardo

Gramlich, Bernhard (ed.) et al., Automated reasoning. 6th international joint conference, IJCAR 2012, Manchester, UK, June 26‒29, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31364-6/pbk). Lecture Notes in Computer Science 7364. Lecture Notes in Artificial Intelligence, 339-354 (2012).

io-port 06062048 Bonacina, Maria Paola; Lynch, Christopher A.; de Moura, Leonardo

J. Autom. Reasoning 47, No. 2, 161-189 (2011).

io-port 05972929 de Moura, Leonardo

Salaün, Gwen (ed.) et al., Formal methods for industrial critical systems. 16th international workshop, FMICS 2011, Trento, Italy, August 29‒30, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24430-8/pbk). Lecture Notes in Computer Science 6959, 5 (2011).

io-port 05949351 de Moura, Leonardo

Lee, Jimmy (ed.), Principles and practice of constraint programming ‒ CP 2011. 17th international conference, CP 2011, Perugia, Italy, September 12‒16, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23785-0/pbk). Lecture Notes in Computer Science 6876, 1 (2011).

io-port 05940734 Hoder, Kryštof; Bjørner, Nikolaj; de Moura, Leonardo

Gopalakrishnan, Ganesh (ed.) et al., Computer aided verification. 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14‒20, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22109-5/pbk). Lecture Notes in Computer Science 6806, 457-462 (2011).

io-port 05934361 Jovanović, Dejan; de Moura, Leonardo

Bjørner, Nikolaj (ed.) et al., Automated deduction ‒ CADE-23. 23rd international conference on automated deduction, Wrocław, Poland, July 31 ‒ August 5, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22437-9/pbk). Lecture Notes in Computer Science 6803. Lecture Notes in Artificial Intelligence, 338-353 (2011).

io-port 05875462 Barrett, Clark; de Moura, Leonardo; Ranise, Silvio; Stump, Aaron; Tinelli, Cesare

Barner, Sharon (ed.) et al., Hardware and software: verification and testing. 6th international Haifa verification conference, HVC 2010, Haifa, Israel, October 4‒7, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-19582-2/pbk). Lecture Notes in Computer Science 6504, 3 (2011).

io-port 70118638 Jovanovic, Dejan; De Moura, Leonardo Mendonça

CADE, 338-353 (2011).

io-port 70316510 De Moura, Leonardo Mendonça

FMICS, 5 (2011).

io-port 70760417 Hoder, Krystof; Bjørner, Nikolaj; De Moura, Leonardo Mendonça

CAV, 457-462 (2011).

io-port 71017877 De Moura, Leonardo Mendonça

CP, 1 (2011).

io-port 05798927 Veanes, Margus; Bjørner, Nikolaj; de Moura, Leonardo

Fermüller, Christian G. (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10‒15, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-16241-1/pbk). Lecture Notes in Computer Science 6397, 640-654 (2010).

io-port 05785465 de Moura, Leonardo; Bjørner, Nikolaj

Giesl, Jürgen (ed.) et al., Automated reasoning. 5th international joint conference, IJCAR 2010, Edinburgh, UK, July 16‒19, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14202-4/pbk). Lecture Notes in Computer Science 6173. Lecture Notes in Artificial Intelligence, 400-411 (2010).

io-port 05711944 Piskac, Ruzica; de Moura, Leonardo; Bjørner, Nikolaj

J. Autom. Reasoning 44, No. 4, 401-424 (2010).

io-port 70117724 De Moura, Leonardo Mendonça; Bjørner, Nikolaj

IJCAR, 400-411 (2010).

io-port 70202960 Wintersteiger, Christoph M.; Hamadi, Youssef; De Moura, Leonardo Mendonça

FMCAD, 239-246 (2010).

io-port 70210559 Veanes, Margus; Bjørner, Nikolaj; De Moura, Leonardo Mendonça

LPAR (Yogyakarta), 640-654 (2010).

io-port 70748422 De Moura, Leonardo Mendonça; Lutz, Carsten; Schraefel, Monica M. C.; Nebel, Bernhard

KR (2010).