Leonardo de Moura
About
Leonardo de Moura has authored 21 papers that have received a total of 519 indexed citations.
This includes 17 papers in Computational Theory and Mathematics, 16 papers in Artificial Intelligence and 9 papers in Software. The topics of these papers are Formal Methods in Verification (15 papers), Logic, programming, and type systems (14 papers) and Software Testing and Debugging Techniques (6 papers). Leonardo de Moura is often cited by papers focused on Formal Methods in Verification (15 papers), Logic, programming, and type systems (14 papers) and Software Testing and Debugging Techniques (6 papers) and collaborates with scholars based in United States, Germany and United Kingdom. Leonardo de Moura's co-authors include Nikolaj Bjørner, Clark Barrett, Aaron Stump, Dejan Jovanović and Cesare Tinelli and has published in prestigious journals such as Communications of the ACM, Lecture notes in computer science and Journal of Automated Reasoning
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by Deborah J. Bathke Top authors papers by Jeremy Agte are co-authored with Top countries impacted by papers by T Francus Top countries impacted by papers by Mervi K Mäyränpää Top countries impacted by papers by Dušan G. Antonović Top journals papers by AK Sullivan are published in Top fields papers by Tuan Van Huynh are about Top fields papers by Tobias Hansen are about