Laurent Mounier
About
Laurent Mounier has authored 18 papers that have received a total of 252 indexed citations.
This includes 12 papers in Computational Theory and Mathematics, 10 papers in Software and 9 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (12 papers), Software Testing and Debugging Techniques (10 papers) and Security and Verification in Computing (5 papers). Laurent Mounier is often cited by papers focused on Formal Methods in Verification (12 papers), Software Testing and Debugging Techniques (10 papers) and Security and Verification in Computing (5 papers) and collaborates with scholars based in France. Laurent Mounier's co-authors include Jean-Claude Fernandez, Ylìès Falcone, Marius Bozga, Marie-Laure Potet and Susanne Graf and has published in prestigious journals such as Lecture notes in computer science, Science of Computer Programming and ACM Transactions on Embedded Computing Systems.
In The Last Decade
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by Takamichi Orihara Breakdown of academic impact, for papers by Stanley W. Jackson Breakdown of academic impact, for papers by Dean Kelley Breakdown of academic impact, for papers by H.A. Brandsma Breakdown of academic impact, for papers by G.L. Benveniste Breakdown of academic impact, for papers by Serena Brancati Breakdown of academic impact, for papers by Everton Rodolfo Behr Breakdown of academic impact, for papers by Meenakshi Aggarwal