Leonardo Mendonça de Moura
Publication Activity (10 Years)
Years Active: 1997-2016
Publications (10 Years): 3
Publications (10 Years): 3
Publications
- Leonardo Mendonça de Moura
- Leonardo Mendonça de Moura, Soonho Kong, Jeremy Avigad, Floris van Doorn, Jakob von Raumer
- Leonardo Mendonça de Moura, Jeremy Avigad, Soonho Kong, Cody Roux
- Andrew Reynolds, Cesare Tinelli, Leonardo Mendonça de Moura
- Leonardo Mendonça de Moura, Grant Olney Passmore
- Leonardo Mendonça de Moura, Grant Olney Passmore
- Clark W. Barrett, Morgan Deters, Leonardo Mendonça de Moura, Albert Oliveras, Aaron Stump
- Leonardo Mendonça de Moura, Dejan Jovanovic
- Dejan Jovanovic, Leonardo Mendonça de Moura
- Christoph M. Wintersteiger, Youssef Hamadi, Leonardo Mendonça de Moura
- Leonardo Mendonça de Moura, Dejan Jovanovic
- Dejan Jovanovic, Leonardo Mendonça de Moura
- Thomas Ball, Nikolaj Bjørner, Leonardo Mendonça de Moura, Kenneth L. McMillan, Margus Veanes
- Leonardo Mendonça de Moura
- Grant Olney Passmore, Lawrence C. Paulson, Leonardo Mendonça de Moura
- Leonardo Mendonça de Moura, Nikolaj Bjørner
- Dejan Jovanovic, Leonardo Mendonça de Moura
- Maria Paola Bonacina, Christopher Lynch, Leonardo Mendonça de Moura
- Krystof Hoder, Nikolaj Bjørner, Leonardo Mendonça de Moura
- Leonardo Mendonça de Moura
- Leonardo Mendonça de Moura
- Clark W. Barrett, Leonardo Mendonça de Moura, Silvio Ranise, Aaron Stump, Cesare Tinelli
- Christoph M. Wintersteiger, Youssef Hamadi, Leonardo Mendonça de Moura
- Margus Veanes, Nikolaj Bjørner, Leonardo Mendonça de Moura
- Leonardo Mendonça de Moura, Nikolaj Bjørner
- Leonardo Mendonça de Moura, Nikolaj Bjørner
- Ruzica Piskac, Leonardo Mendonça de Moura, Nikolaj Bjørner
- Grant Olney Passmore, Leonardo Mendonça de Moura
- Maria Paola Bonacina, Christopher Lynch, Leonardo Mendonça de Moura
- Leonardo Mendonça de Moura, Nikolaj Bjørner
- Nikolaj Bjørner, Leonardo Mendonça de Moura
- Christoph M. Wintersteiger, Youssef Hamadi, Leonardo Mendonça de Moura
- Leonardo Mendonça de Moura, Nikolaj Bjørner
- Yeting Ge, Leonardo Mendonça de Moura
- Leonardo Mendonça de Moura, Nikolaj Bjørner
- Leonardo Mendonça de Moura, Nikolaj Bjørner
- Leonardo Mendonça de Moura, Nikolaj Bjørner
- Leonardo Mendonça de Moura, Nikolaj Bjørner
- Leonardo Mendonça de Moura, Nikolaj Bjørner
- Leonardo Mendonça de Moura, Bruno Dutertre, Natarajan Shankar
- Clark W. Barrett, Leonardo Mendonça de Moura, Aaron Stump
- Leonardo Mendonça de Moura
- Leonardo Mendonça de Moura, Nikolaj Bjørner
- Bruno Dutertre, Leonardo Mendonça de Moura
- Clark W. Barrett, Leonardo Mendonça de Moura, Aaron Stump
- Leonardo Mendonça de Moura, Harald Rueß, Natarajan Shankar
- Clark W. Barrett, Leonardo Mendonça de Moura, Aaron Stump
- Leonardo Mendonça de Moura, Sam Owre, Harald Rueß, John M. Rushby, Natarajan Shankar, Maria Sorea, Ashish Tiwari
- Grégoire Hamon, Leonardo Mendonça de Moura, John M. Rushby
- Leonardo Mendonça de Moura, Harald Rueß
- Leonardo Mendonça de Moura, Sam Owre, Harald Rueß, John M. Rushby, Natarajan Shankar
- Leonardo Mendonça de Moura, Harald Rueß, Maria Sorea
- Harald Rueß, Leonardo Mendonça de Moura
- Leonardo Mendonça de Moura, Harald Rueß, Maria Sorea
- Marcus Fontoura, Christiano Braga, Leonardo Mendonça de Moura, Carlos Lucena
- Leonardo Mendonça de Moura, Carlos José Pereira de Lucena, Arndt von Staa
- Ira D. Baxter, Andrew Yahin, Leonardo Mendonça de Moura, Marcelo Sant'Anna, Lorraine Bier
- Leonardo Mendonça de Moura, Carlos José Pereira de Lucena
- Leonardo Mendonça de Moura, Carlos José Pereira de Lucena