-
with Carsten Lutz, Fabio Papacchini, and Frank Wolter
IJCAI-ECAI 2018, p. 1861-1867
-
with Carsten Lutz, Fabio Papacchini, and Frank Wolter
PODS 2017, p. 185-199
(Best Paper Award)
-
with Carsten Lutz, Fabio Papacchini, and Frank Wolter
DL 2017
-
with Phokion G. Kolaitis
LICS 2017, p. 1-12
-
with Julio Lemos and Frank Wolter
AAAI 2017, p. 1142-1148
-
with Julio Lemos and Frank Wolter
DL 2016
-
with Carsten Lutz, Ana Ozaki, and Frank Wolter
IJCAI 2015, p. 3048-3054
-
with Georg Gottlob, Clemens Kupke, and Thomas Lukasiewicz
KR 2014
-
Data Exchange, Integration, and Streams. DFU, Volume 5, p. 161-184, 2013
-
with Georg Gottlob, Clemens Kupke, and Thomas Lukasiewicz
PODS 2013, p. 225-236
-
with Martin Grohe, Berit Grußien, and Bastian Laubner
Logical Methods in Computer Science 9(1), paper 11, 2013
Also part of the Special Issue for CSL 2011
-
with Georg Gottlob, Clemens Kupke, and Thomas Lukasiewicz
AAAI 2012, p. 757-764.
See here for the poster.
This work was also presented at DL 2012.
-
ICDT 2012, p. 222-235
-
Logical Methods in Computer Science 7(3), paper 9, 2011
Also part of the Special Issue for ICDT 2010
-
with Martin Grohe, Berit Grußien, and Bastian Laubner
CSL 2011, p. 277-291
-
with Leonid Libkin, and Nicole Schweikardt
ACM Transactions on Database Systems 36(2), article 14, 2011
-
PhD thesis, Goethe-Universität Frankfurt am Main, Germany, 2010
Also published at Logos Verlag Berlin, ISBN 978-3-8325-2735-8
-
ICDT 2010, p. 143-154 (Best Student Paper Award)
-
with Nicole Schweikardt
Logic and the Foundations of Game and Decision Theory - LOFT 8, p. 61-85, 2010
-
with Martin Grohe, and Nicole Schweikardt
Journal of the ACM 56(3), article 12, 2009,
Special Section for PODS 2006
-
with Nicole Schweikardt
Theoretical Computer Science 401(1-3), p. 191-205, 2008
-
with Nicole Schweikardt
PODS 2007, p. 113-122
-
with Martin Grohe, and Nicole Schweikardt
PODS 2006, p. 243-252
-
with Arfst Nickelsen
MFCS 2005, p. 422-434
-
Diploma Thesis (comparable to MSc thesis), Technische Universität Berlin, 2005