Laurent Mounier
About
Laurent Mounier has authored 18 papers that have received a total of 251 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
Top countries impacted by papers by John Frosch Top fields papers by Sebastian Otten are about Top fields papers by Ayoze Castro are about Top fields papers by Su Myat Cho are about Top journals papers by Geng Huang are published in Top countries impacted by papers by Justin Millar Top journals papers by Yingxun Zhang are published in Top fields papers by Christian Høyer are about