É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 fields papers by Yanxue Wu are about Top journals papers by David W. Hewson are published in Top countries impacted by papers by Sandiswa Figlan Top countries impacted by papers by Nomi S. Weiss‐Laxer Top fields papers by Yechiel Sweed are about Top journals papers by Juan Manuel López Gómez are published in Top countries impacted by papers by Peter Abramenko Top fields papers by R. Allen Ligon are about