Grégoire Sutre
About
Grégoire Sutre has authored 7 papers that have received a total of 81 indexed citations.
This includes 6 papers in Computational Theory and Mathematics, 3 papers in Artificial Intelligence and 3 papers in Software. The topics of these papers are Formal Methods in Verification (5 papers), Software Testing and Debugging Techniques (2 papers) and Logic, programming, and type systems (2 papers). Grégoire Sutre is often cited by papers focused on Formal Methods in Verification (5 papers), Software Testing and Debugging Techniques (2 papers) and Logic, programming, and type systems (2 papers) and collaborates with scholars based in France, United States and Belgium. Grégoire Sutre's co-authors include Jérôme Leroux, Thomas A. Henzinger, S. Purushothaman Iyer, Ranjit Jhala and Ph. Schnoebelen and has published in prestigious journals such as Theoretical Computer Science, Lecture notes in computer science and ACM SIGPLAN Notices
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Rupa S. Kanchi are about Top journals papers by Erik Meijer are published in Top countries impacted by papers by Lindsay Richardson Top fields papers by Wolfgang Baumeier are about Top countries impacted by papers by Chunliang Wang Top fields papers by Deanna Kerns are about Top journals papers by Caroline Chariau are published in Top fields papers by Michihiro Hide are about