Laurent Mauborgne
About
Laurent Mauborgne has authored 17 papers that have received a total of 548 indexed citations.
This includes 11 papers in Computational Theory and Mathematics, 9 papers in Software and 8 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (11 papers), Software Testing and Debugging Techniques (6 papers) and Software Reliability and Analysis Research (6 papers). Laurent Mauborgne is often cited by papers focused on Formal Methods in Verification (11 papers), Software Testing and Debugging Techniques (6 papers) and Software Reliability and Analysis Research (6 papers) and collaborates with scholars based in France, Burundi and Spain. Laurent Mauborgne's co-authors include Antoine Miné, Patrick Cousot, Jérôme Ferêt, Xavier Rival and Radhia Cousot and has published in prestigious journals such as Journal of the ACM, SAE technical papers on CD-ROM/SAE technical paper series and Lecture notes in computer science
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Nicola J. Rolley are published in Top journals papers by Timothy J. Welsh are published in Top countries impacted by papers by Melanie Brewis Top fields papers by Catheryne Chiang are about Top authors papers by James Grana are co-authored with Top fields papers by A. V. Zelevinskii are about Top fields papers by Yasmine El-Shamayleh are about Top journals papers by Barbara Stoth are published in