Michael Vanden Boom

20 papers A* 5B 2Journal 8Unranked 4
YearRankTypeTitle / Venue / Authors
2022 J jnl
CoRR
Antoine Amarilli, Michael Benedikt, Pierre Bourhis, Michael Vanden Boom
2021 J jnl
ACM Trans. Comput. Log.
Michael Benedikt, Pierre Bourhis, Balder ten Cate, Gabriele Puppis, Michael Vanden Boom
2019 J jnl
Log. Methods Comput. Sci.
Michael Benedikt, Pierre Bourhis, Michael Vanden Boom
2018 J jnl
J. Artif. Intell. Res.
Antoine Amarilli, Michael Benedikt, Pierre Bourhis, Michael Vanden Boom
2017 A* conf
ICALP
Michael Benedikt, Pierre Bourhis, Michael Vanden Boom
2017 J jnl
CoRR
Michael Benedikt, Pierre Bourhis, Michael Vanden Boom
2016 A* conf
LICS
Michael Benedikt, Pierre Bourhis, Michael Vanden Boom
2016 J jnl
ACM Trans. Comput. Log.
Michael Benedikt, Balder ten Cate, Michael Vanden Boom
2016 A* conf
IJCAI
Antoine Amarilli, Michael Benedikt, Pierre Bourhis, Michael Vanden Boom
2016 J jnl
CoRR
Antoine Amarilli, Michael Benedikt, Pierre Bourhis, Michael Vanden Boom
2015 A* conf
LICS
Michael Benedikt, Balder ten Cate, Michael Vanden Boom
2015 A* conf
LICS
Michael Benedikt, Balder ten Cate, Thomas Colcombet, Michael Vanden Boom
2014 conf
CSL-LICS
Michael Benedikt, Balder ten Cate, Michael Vanden Boom
2014 conf
CSL-LICS
Achim Blumensath, Thomas Colcombet, Denis Kuperberg, Pawel Parys, Michael Vanden Boom
2013 B conf
CSL
Thomas Colcombet, Denis Kuperberg, Christof Löding, Michael Vanden Boom
2012 conf
ICALP (2)
Denis Kuperberg, Michael Vanden Boom
2012
Michael Vanden Boom
2011 conf
FSTTCS
Denis Kuperberg, Michael Vanden Boom
2011 B conf
MFCS
Michael Vanden Boom
2007 J jnl
J. Symb. Log.
Julia F. Knight, Sara Miller, Michael Vanden Boom