Michael Vanden Boom
发表
Michael Vanden Boom,
M. V. Boom,
2012
.
Michael Vanden Boom,
2011,
MFCS.
Denis Kuperberg,
Michael Vanden Boom,
M. V. Boom,
2012,
ICALP.
Michael Benedikt,
Balder ten Cate,
Michael Vanden Boom,
2015,
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science.
Denis Kuperberg,
Michael Vanden Boom,
2011,
FSTTCS.
Thomas Colcombet,
Michael Benedikt,
Balder ten Cate,
2015,
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science.
Michael Benedikt,
Michael Vanden Boom,
Pierre Bourhis,
2019,
Log. Methods Comput. Sci..
Thomas Colcombet,
Achim Blumensath,
Pawel Parys,
2014,
CSL-LICS.
Julia F. Knight,
Michael Vanden Boom,
Sara Miller,
2007,
J. Symb. Log..
Michael Benedikt,
Michael Vanden Boom,
Pierre Bourhis,
2016,
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Michael Benedikt,
Michael Vanden Boom,
Pierre Bourhis,
2017,
ICALP.
Michael Benedikt,
Balder ten Cate,
Michael Vanden Boom,
2014,
CSL-LICS.
Michael Benedikt,
Antoine Amarilli,
Michael Vanden Boom,
2016,
IJCAI.
Christof Löding,
Thomas Colcombet,
Denis Kuperberg,
2013,
CSL.
Michael Benedikt,
Gabriele Puppis,
Balder ten Cate,
2015,
ACM Trans. Comput. Log..