Mickaël Randour
About
Mickaël Randour has authored 15 papers that have received a total of 91 indexed citations.
This includes 13 papers in Computational Theory and Mathematics, 6 papers in Artificial Intelligence and 4 papers in Management Science and Operations Research. The topics of these papers are Formal Methods in Verification (12 papers), Petri Nets in System Modeling (5 papers) and Computability, Logic, AI Algorithms (5 papers). Mickaël Randour is often cited by papers focused on Formal Methods in Verification (12 papers), Petri Nets in System Modeling (5 papers) and Computability, Logic, AI Algorithms (5 papers) and collaborates with scholars based in Belgium, France and Denmark. Mickaël Randour's co-authors include Jean-François Raskin, Véronique Bruyère, Patricia Bouyer, Ocan Sankur and Emmanuel Filiot and has published in prestigious journals such as Lecture notes in computer science, Information and Computation and Acta Informatica
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by L. A. Galin are co-authored with Top fields papers by Kirsi O. Lorentz are about Top fields papers by Ricardo Bebczuk are about Top journals papers by Srinivas Sridharan are published in Top fields papers by Elmer S. Miller are about Top fields papers by L. Abe are about Top journals papers by Colette Beaune are published in Top countries impacted by papers by P. Gerlach