Mikaël Mayer

13 papers and 148 indexed citations i.

Mikaël Mayer has authored 13 papers that have received a total of 148 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 Formal Methods in Verification (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 Formal Methods in Verification (4 papers) and collaborates with scholars based in Switzerland, United States and France. Mikaël Mayer's co-authors include Viktor Kunčak, Ružica Piskač, Philippe Suter, Sumit Gulwani and Ravi Chugh and has published in prestigious journals such as Communications of the ACM, ACM SIGPLAN Notices and International Journal on Software Tools for Technology Transfer.