Mikaël Mayer
About
Mikaël Mayer has authored 13 papers that have received a total of 147 indexed citations.
This includes 8 papers in Information Systems, 7 papers in Artificial Intelligence and 7 papers in Software. The topics of these papers are Software Engineering Research (8 papers), Logic, programming, and type systems (5 papers) and Software Testing and Debugging Techniques (4 papers). Mikaël Mayer is often cited by papers focused on Software Engineering Research (8 papers), Logic, programming, and type systems (5 papers) and Software Testing and Debugging Techniques (4 papers) and collaborates with scholars based in Switzerland, United States and France. Mikaël Mayer's co-authors include Viktor Kunčak, Philippe Suter, Ružica Piskač, Sumit Gulwani and Benjamin G. Zorn and has published in prestigious journals such as Communications of the ACM, ACM SIGPLAN Notices and International Journal on Software Tools for Technology Transfer
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by Fatih Çağatay Akyön are co-authored with Top countries impacted by papers by Semaria Solomon Top authors papers by Allison L. Powell are co-authored with Top journals papers by Akshat Shrivastava are published in Top countries impacted by papers by Linda N. Groat Top countries impacted by papers by A. B. Davis Top authors papers by Haseeb Rahman are co-authored with Top authors papers by Thomas Engler are co-authored with