Éric Badouel
About
Éric Badouel has authored 22 papers that have received a total of 274 indexed citations.
This includes 16 papers in Computational Theory and Mathematics, 12 papers in Artificial Intelligence and 6 papers in Management Information Systems. The topics of these papers are Petri Nets in System Modeling (11 papers), Formal Methods in Verification (9 papers) and Logic, programming, and type systems (7 papers). Éric Badouel is often cited by papers focused on Petri Nets in System Modeling (11 papers), Formal Methods in Verification (9 papers) and Logic, programming, and type systems (7 papers) and collaborates with scholars based in France, Cameroon and Italy. Éric Badouel's co-authors include Philippe Darondeau, Benoı̂t Caillaud, Luca Bernardinello, Jean-Baptiste Raclet and Loı̈c Hélouët and has published in prestigious journals such as Theoretical Computer Science, Lecture notes in computer science and Information and Computation
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by Walter L. Johnson Top countries impacted by papers by Ruibo Li Top countries impacted by papers by William E. Bloomer Top journals papers by Ellen Jones are published in Top fields papers by Shuhei Yamada are about Top fields papers by Sally Coates are about Top fields papers by M. Fabregate are about Top countries impacted by papers by Rune Andersen