M. V. Boom
发表
M. V. Boom,
M. Vanden Boom,
2007
.
S. Cameron,
J. Petke,
S. Golodetz,
2018,
2018 IEEE International Conference on Applied System Invention (ICASI).
M. V. Boom,
P. Bourhis,
Michael Benedikt,
2017
.
Michael Benedikt,
Balder ten Cate,
Michael Vanden Boom,
2014,
CSL-LICS.
Denis Kuperberg,
Michael Vanden Boom,
M. V. Boom,
2012,
ICALP.
Christof Löding,
Thomas Colcombet,
Denis Kuperberg,
2013,
CSL.
Michael Vanden Boom,
M. V. Boom,
2012
.
Michael Benedikt,
Antoine Amarilli,
Michael Vanden Boom,
2016,
IJCAI.
Michael Benedikt,
Gabriele Puppis,
Balder ten Cate,
2015,
ACM Trans. Comput. Log..
M. V. Boom,
P. Bourhis,
Michael Benedikt,
2017,
Log. Methods Comput. Sci..