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 journals papers by Ayman Moawad are published in Top fields papers by Muhammad Saleem are about Top countries impacted by papers by Diego Vega Top fields papers by Hannah Thinyane are about Top authors papers by Mehdi Aghagolzadeh are co-authored with Top journals papers by Seth Green are published in Top countries impacted by papers by B. Sell Top authors papers by Pierre Laurent are co-authored with