Laurent Fribourg
About
Laurent Fribourg has authored 51 papers that have received a total of 312 indexed citations.
This includes 37 papers in Computational Theory and Mathematics, 15 papers in Control and Systems Engineering and 14 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (33 papers), Petri Nets in System Modeling (12 papers) and Logic, programming, and type systems (11 papers). Laurent Fribourg is often cited by papers focused on Formal Methods in Verification (33 papers), Petri Nets in System Modeling (12 papers) and Logic, programming, and type systems (11 papers) and collaborates with scholars based in France, Germany and Italy. Laurent Fribourg's co-authors include Antoine Girard, Étienne André, Ludovic Chamoin, Marie Duflot and Jeremy Sproston and has published in prestigious journals such as IEEE Transactions on Automatic Control, Automatica and Theoretical Computer Science
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by Dankang Li are co-authored with Top journals papers by A. Derbin are published in Top countries impacted by papers by John Uhr Top journals papers by Dmitriy Zanin are published in Top fields papers by Simon Pietro Romano are about Top journals papers by Saeid Bashirian are published in Top journals papers by Hengjing Tang are published in Top fields papers by Reginaldo José Donatelli are about