M. Mayer
发表
Ruzica Piskac,
Viktor Kuncak,
Philippe Suter,
2010,
CAV 2010.
Viktor Kuncak,
Mikaël Mayer,
Jad Hamza,
2017,
ArXiv.
Mikaël Mayer,
M. Mayer,
2017
.
Viktor Kuncak,
Mikaël Mayer,
Jad Hamza,
2017,
Dagstuhl Artifacts Ser..
Sumit Gulwani,
Oleksandr Polozov,
Rishabh Singh,
2015,
UIST.
Auke Jan Ijspeert,
Alexander Spröwitz,
Stéphane Bonardi,
2010,
2010 IEEE/RSJ International Conference on Intelligent Robots and Systems.
Ruzica Piskac,
Viktor Kuncak,
Philippe Suter,
2011,
International Journal on Software Tools for Technology Transfer.
Ruzica Piskac,
Viktor Kuncak,
Philippe Suter,
2012,
Commun. ACM.
Ruzica Piskac,
Viktor Kuncak,
Philippe Suter,
2010,
PLDI '10.
R. Piskac,
Philippe Suter,
M. Mayer,
2013
.
Mikaël Mayer,
M. Mayer,
2010
.
Mikaël Mayer,
M. Mayer,
2010
.
Viktor Kuncak,
Ravi Chugh,
Mikaël Mayer,
2018,
Proc. ACM Program. Lang..
Sumit Gulwani,
Viktor Kuncak,
Ravichandhran Madhavan,
2015,
OOPSLA.
Sumit Gulwani,
Viktor Kuncak,
Ravichandhran Madhavan,
2015
.