Mikaël Mayer
发表
Ruzica Piskac,
Sumit Gulwani,
Mikaël Mayer,
2015,
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering.
Sumit Gulwani,
Oleksandr Polozov,
Rishabh Singh,
2015,
UIST.
Viktor Kuncak,
Mikaël Mayer,
2013,
Onward!.
Sumit Gulwani,
Viktor Kuncak,
Ravichandhran Madhavan,
2015
.
Mikaël Mayer,
M. Mayer,
2017
.
Viktor Kuncak,
Mikaël Mayer,
Jad Hamza,
2017,
ECOOP.
Ruzica Piskac,
Viktor Kuncak,
Philippe Suter,
2010,
CAV.
Mikaël Mayer,
Jad Hamza,
2016,
ArXiv.
Viktor Kuncak,
Mikaël Mayer,
Jad Hamza,
2017,
Dagstuhl Artifacts Ser..
Ruzica Piskac,
Viktor Kuncak,
Philippe Suter,
2010,
PLDI '10.
Ruzica Piskac,
Viktor Kuncak,
Philippe Suter,
2012,
Commun. ACM.
Ruzica Piskac,
Viktor Kuncak,
Philippe Suter,
2011,
International Journal on Software Tools for Technology Transfer.
Viktor Kuncak,
Ravi Chugh,
Mikaël Mayer,
2018,
Proc. ACM Program. Lang..
Ruzica Piskac,
Viktor Kuncak,
Philippe Suter,
2010,
CAV 2010.
Viktor Kuncak,
Mikaël Mayer,
Jad Hamza,
2017,
ArXiv.
Sumit Gulwani,
Viktor Kuncak,
Ravichandhran Madhavan,
2015,
OOPSLA.
Ravichandhran Madhavan,
Mikaël Mayer,
2016,
SCALA@SPLASH.
Ravi Chugh,
Mikaël Mayer,
2019,
Bx@PLW.