Mieke Massink
About
Mieke Massink has authored 56 papers that have received a total of 539 indexed citations.
This includes 28 papers in Computational Theory and Mathematics, 17 papers in Artificial Intelligence and 12 papers in Software. The topics of these papers are Formal Methods in Verification (24 papers), Petri Nets in System Modeling (13 papers) and Model-Driven Software Engineering Techniques (8 papers). Mieke Massink is often cited by papers focused on Formal Methods in Verification (24 papers), Petri Nets in System Modeling (13 papers) and Model-Driven Software Engineering Techniques (8 papers) and collaborates with scholars based in Italy, United Kingdom and The Netherlands. Mieke Massink's co-authors include Diego Latella, Michele Loreti, Rocco De Nicola, Joost-Pieter Katoen and Stefania Gnesi and has published in prestigious journals such as ACM Computing Surveys, Theoretical Computer Science and Computer Graphics Forum
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by František Brumerčík Top fields papers by Chris Tucker are about Top authors papers by Eduardo Almeida Neves are co-authored with Top fields papers by Anita Kochhar are about Top authors papers by Yasuhiro Nariyuki are co-authored with Top journals papers by David Bradley are published in Top countries impacted by papers by Jürgen Garloff Top fields papers by Benjamin Enriquez are about