Béatrice Bérard
About
Béatrice Bérard has authored 26 papers that have received a total of 319 indexed citations.
This includes 21 papers in Computational Theory and Mathematics, 13 papers in Artificial Intelligence and 9 papers in Software. The topics of these papers are Formal Methods in Verification (20 papers), Petri Nets in System Modeling (12 papers) and Logic, programming, and type systems (8 papers). Béatrice Bérard is often cited by papers focused on Formal Methods in Verification (20 papers), Petri Nets in System Modeling (12 papers) and Logic, programming, and type systems (8 papers) and collaborates with scholars based in France, Canada and Australia. Béatrice Bérard's co-authors include Serge Haddad, Didier Lime, Antoine Petit, John Mullins and Yann Thierry-Mieg and has published in prestigious journals such as International Journal of Production Research, Theoretical Computer Science and Information and Computation
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Ashutosh Kumar Arya are published in Top countries impacted by papers by Necdet Özalp Top countries impacted by papers by Sebastian Radej Top countries impacted by papers by Irene Fernández Top countries impacted by papers by Marzieh Khakifirooz Top authors papers by Irshad Hussain are co-authored with Top fields papers by Chen Qu are about Top journals papers by Parveen Shah are published in