Yann Thierry-Mieg
About
Yann Thierry-Mieg has authored 7 papers that have received a total of 37 indexed citations.
This includes 5 papers in Computational Theory and Mathematics, 4 papers in Software and 2 papers in Computer Networks and Communications. The topics of these papers are Petri Nets in System Modeling (4 papers), Formal Methods in Verification (3 papers) and Model-Driven Software Engineering Techniques (3 papers). Yann Thierry-Mieg is often cited by papers focused on Petri Nets in System Modeling (4 papers), Formal Methods in Verification (3 papers) and Model-Driven Software Engineering Techniques (3 papers) and collaborates with scholars based in France. Yann Thierry-Mieg's co-authors include Béatrice Bérard, Fabrice Kordon, Laurent Pautet, Pascal Lafourcade and Yingying Zhang and has published in prestigious journals such as Distributed Computing, Fundamenta Informaticae and Electronic Notes in Theoretical Computer Science
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by Andrew Thomas are co-authored with Top fields papers by Mohit Kumar Divakar are about Top journals papers by Casey Dué are published in Top fields papers by Zhexuan Song are about Top fields papers by Kevin Bain are about Top journals papers by Martin Jan Mulder are published in Top fields papers by H. Lenhardt are about Top authors papers by Edwin F. Gildea are co-authored with