Guillaume Brat
About
Guillaume Brat has authored 30 papers that have received a total of 848 indexed citations.
This includes 15 papers in Computational Theory and Mathematics, 12 papers in Software and 8 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (15 papers), Software Testing and Debugging Techniques (11 papers) and Software Reliability and Analysis Research (6 papers). Guillaume Brat is often cited by papers focused on Formal Methods in Verification (15 papers), Software Testing and Debugging Techniques (11 papers) and Software Reliability and Analysis Research (6 papers) and collaborates with scholars based in United States, United Kingdom and Belgium. Guillaume Brat's co-authors include Arnaud Venet, Dimitra Giannakopoulou, Yıldıray Yıldız, Willem Visser and Ritchie Lee and has published in prestigious journals such as Journal of Guidance Control and Dynamics, Lecture notes in computer science and ACM SIGPLAN Notices
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Tim Rowland are about Top countries impacted by papers by Kaisong Yuan Top fields papers by Elena Riccardi are about Top countries impacted by papers by Anne Burke Top countries impacted by papers by Dexin Feng Top authors papers by Yichao Xu are co-authored with Top authors papers by Rui Benfeitas are co-authored with Top authors papers by Robert J. Kayton are co-authored with