Michael Butler
About
Michael Butler has authored 99 papers that have received a total of 1.1k indexed citations.
This includes 49 papers in Computational Theory and Mathematics, 41 papers in Artificial Intelligence and 32 papers in Software. The topics of these papers are Formal Methods in Verification (48 papers), Advanced Software Engineering Methodologies (23 papers) and Model-Driven Software Engineering Techniques (17 papers). Michael Butler is often cited by papers focused on Formal Methods in Verification (48 papers), Advanced Software Engineering Methodologies (23 papers) and Model-Driven Software Engineering Techniques (17 papers) and collaborates with scholars based in United Kingdom, United States and Germany. Michael Butler's co-authors include Thai Son Hoang, Colin Snook, Yale N. Patt, H. J. Guggenheim and Corina Ĉırstea and has published in prestigious journals such as Foreign Affairs, Safety Science and Health Education Research
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by Enrique O Graue-Hernández Top authors papers by Nataša Bogavac‐Stanojević are co-authored with Top fields papers by Н. Б. Кузнецов are about Top countries impacted by papers by Fernanda Morais Ferreira Top authors papers by Y. Obi are co-authored with Top fields papers by S. Raju are about Top countries impacted by papers by Graham Wild Top authors papers by Azhar Ariffin are co-authored with