Publications

There are also some preprints available from arXiv.org, see this link.

2015
Ken-ichi Kawarabayashi, Stephan Kreutzer
in Symp. on Theory of Computing (STOC), 2015.
Full version available from the arXiv: http://arxiv.org/abs/1411.5681
Saeed Akhoondian Amiri, Łukasz Kaiser, Stephan Kreutzer, Roman Rabinovich, and Sebastian Siebertz
in Symp. on Theoretical Aspects of Computer Science (STACS), 2015.
2014
Martin Grohe, Stephan Kreutzer and Sebastian Siebertz
in Proc. of ACM Symp. on Theory of Computing (STOC), 2014.
Full version available from the arXiv: http://arxiv.org/abs/1311.3899
Ken-ichi Kawarabayashi, Yusuke Kobayashi and Stephan Kreutzer
in Proc. of ACM Symp. on Theory of Computing (STOC), 2014.
Mikolaj Bojanczyk, Stephan Kreutzer and Christoph Dittmann
in Proc. of ACM/IEEE Symp. on Logic in Computer Science (LICS), 2014.
Full version available from the arXiv: http://arxiv.org/abs/1405.2234
Stephan Kreutzer and Nicole Schweikardt
in Proc. of ACM/IEEE Symp. on Logic in Computer Science (LICS), 2014.
Saeed Akhoondian Amiri, Ali Golshani, Stephan Kreutzer and Sebastian Siebertz
in Proc. of Computer Science Russia (CSR), 2014.
Ken-ichi Kawarabayashi and Stephan Kreutzer
in Proc. of ACM/SIAM Symposium on Discrete Algorithms (SODA), pp. 72-81, 2014.
2013
Martin Grohe, Stephan Kreutzer and Sebastian Siebertz
in Proc. of Foundations of Software Technology and Theoretical Computer Science (FSTTCS), pp. 21-40, 2013.
Cristian Riveros, Stephan Kreutzer
in ACM/IEEE Symp. on Logic in Computer Science (LICS), pp. 113-122, 2013.
Kord Eickmeyer, Ken-ichi Kawarabayashi, Stephan Kreutzer
in ACM/IEEE Symp. on Logic in Computer Science (LICS), pp. 134-142, 2013.
Graph Operations on Parity Games and Polynomial-Time Algorithms.
Christoph Dittmann, Stephan Kreutzer, Alexandru I. Tomescu
in Short Presentation at ACM/IEEE Symp. on Logic in Computer Science (LICS), 2013.
Full version available from arXiv: http://arxiv.org/abs/1208.1640
Ken-ichi Kawarabayashi, Marek Krcal, Daniel Kral, Stephan Kreutzer
in ACM/SIAM Symp. on Discrete Algorithms (SODA), pp. 365--377, 2013.
2012
Stephan Kreutzer
in Logical Methods in Computer Science 8(1), 2012.
Ken-ichi Kawarabayashi, Stephan Kreutzer, Bojan Mohar
in Discrete & Computational Geometry 47(4), pp. 731--755 , 2012.
Dietmar Berwanger, Anuj Dawar, Paul Hunter, Stephan Kreutzer, Jan Obdrzálek
in Journal of Combinatorial Theory, Series B 102(4), pp. 900--923, 2012.
Viktor Engelmann, Stephan Kreutzer, Sebastian Siebertz
in IEEE Symp. on Logic in Computer Science (LICS), pp. 275--284, 2012.
Stephan Kreutzer and Siamak Tazari
in Proc. of the 22nd ACM-SIAM Symposium on Discrete Algorithms (SODA), 2012.
2011
Martin Grohe and Stephan Kreutzer
in Model Theoretic Methods in Finite Combinatorics, Contemporary Mathematics vol. 588, American Mathematical Society, 2011.
Stephan Kreutzer
in Finite and Algorithmic Model Theory, London Mathematical Society Lecture Notes, No. 379, Cambridge University Press, 2011.
Stephan Kreutzer, Sebastian Ordyniak
Theoretical Computer Science (TCS) (in press), 2011.
Stephan Kreutzer
in Lectures in Game Theory for Computer Scientists, K. Apt and E. Grädel (eds.), Cambridge University Press, 2011.
DAG-width and Parity Games
Dietmar Berwanger, Anuj Dawar, Paul Hunter, Stephan Kreutzer, Jan Obdrzalek
Journal of Combinatorial Theory, Series B (accepted for publication), 2011.
Linkless and flat embeddings in the 3-space
Ken-ichi Kawarabayashi, Stephan Kreutzer, Bojan Mohar
Journal of Discrete and Computational Geometry (DCG) (accepted for publication), 2011.
2010
Ken-ichi Kawarabayashi, Stephan Kreutzer and Bojan Mohar
Symposium on Computational Geometry (SOCG), 2010..
Stephan Kreutzer, Siamak Tazari
Logic in Computer Science (LICS), 2010.
Stephan Kreutzer, Siamak Tazari
Symposium on Discrete Algorithms (SODA), 2010.
Roland Axelsson, Matthew Hague, Stephan Kreutzer, Martin Lange and Markus Latt
LPAR, 2010.
2009
Anuj Dawar, Stephan Kreutzer
Foundations of Software Technology and Theoretical Computer Science (FSTTCS), 2009.
Stephan Kreutzer
Proc. of the 18th EACSL Conference on Computer Science Logic (CSL), 2009.
Christoph Haase, Stephan Kreutzer, Joel Ouaknine and James Worrel
20th Intl. Conference on Concurrency Theory (CONCUR), 2009.
Stephan Kreutzer and Sebastian Ordyniak
34th International Workshop on Graph-Theoretic Concepts in Computer Science (WG), 2009.
2008
Anuj Dawar, Stephan Kreutzer
35th International Colloquium on Automata, Languages and Programming (ICALP), 2008.
Stephan Kreutzer
International Workshop on Exact and Parameterized Computation (IWPEC), 2008.
Isolde Adler, Martin Grohe, Stephan Kreutzer
SODA 2008.
Stephan Kreutzer and Sebastian Ordyniak
34th International Workshop on Graph-Theoretic Concepts in Computer Science (WG), 2008.
Paul Hunter and Stephan Kreutzer
Theoretical Computer Science (TCS) 399(3), 2008.
Stephan Kreutzer and Martin Lange
in Logic and Automata - History and Perspectives, Texts in Logic and Games, Vol. 2, Amsterdam University Press, 2008.
2007
Anuj Dawar, Martin Grohe, Stephan Kreutzer, Nicole Schweikardt
ICALP 2007
Stephan Kreutzer, Martin Otto, Nicole Schweikardt
ICALP 2007
Anuj Dawar, Martin Grohe, Stephan Kreutzer
LICS 2007.
Paul Hunter, Stephan Kreutzer
SODA 2007.
2006
Anuj Dawar, Erich Grädel, Stephan Kreutzer,
Theoretical Computer Science 350(2-3), ICALP 2004 Selected Paper issue, 171 - 187, 2006.
Anuj Dawar, Stephan Kreutzer
Theoretical Computer Science 379(1-2), pages 266-285, 2007.
Anuj Dawar, Martin Grohe, Stephan Kreutzer, Nicole Schweikardt
IEEE Symp. on Logic in Computer Science (LICS), 2006.
Dietmar Berwanger, Anuj Dawar, Paul Hunter, Stephan Kreutzer
STACS 2006.
2005
Martin Grohe, Stephan Kreutzer, Nicole Schweikardt
Symposium on Mathematical Foundations of Computer Science, Lecture Notes in Computer Science, 422-434, 2005.
Achim Blumensath, Stephan Kreutzer
Journal of Logic and Computation, 15(1), pages 59 - 74, 2005.
Julian Bradfield, Stephan Kreutzer
14th Annual Conference of the European Association for Computer Science Logic (CSL), Lecture Notes in Computer Science 3634, Springer-Verlag, 2005.
2004
Stephan Kreutzer
Annals of Pure and Applied Logic, LICS 2002 Selected Paper Issue, Volume 130, Issues 1-3, Pages 61-78, 2004.
Anuj Dawar, Erich Grädel, and Stephan Kreutzer,
ACM Transactions on Computational Logic (TOCL), 5(2), pages 282 - 315, 2004.
Anuj Dawar, Erich Grädel, Stephan Kreutzer
31st International Colloquium on Automata, Languages and Programming (ICALP), 2004..
The Complexity of Independence-Friendly Fixpoint Logic
Julian Bradfield, Stephan Kreutzer
Foundations of the Formal Sciences V - Infinite Games (FotFS V),2004..
2003
Dietmar Berwanger, Erich Grädel, Stephan Kreutzer
Proceedings of the 10th International Conference on Logic for Programming and Automated Reasoning, LPAR 2003, Almaty (M. Vardi and A. Voronkov, eds.), vol. 2850 of LNCS, pp. 226-240, Springer-Verlag, 2003..
Erich Grädel, Stephan Kreutzer
IEEE Symp. on Logic in Computer Science (LICS), 2003..
Stephan Kreutzer and Nicole Schweikardt
"it - Information Technology", Vol. 46, No. 3, pages 162-166, 2004.
Stephan Kreutzer
in "Ausgezeichnete Informatik Dissertationen 2003" (D. Wagner et al., ed.), vol. D-3 of Lecture Notes in Informatics - Dissertations, pp. 59-68, German Informatics Society (GI), 2003..
2002
Anuj Dawar, Stephan Kreutzer
Foundations of Software Technology and Theoretical Computer Science (FSTTCS), 2002.
Stephan Kreutzer
Annual Conference of the European Association for Computer Science Logic (CSL), 2002.
Stephan Kreutzer
Proceedings of the 17th IEEE Symp. on Logic in Computer Science (LICS), 2002.
2001
Stephan Kreutzer
Proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), LNAI 2250, 2001.
Anuj Dawar, Erich Grädel, Stephan Kreutzer
Proceedings of the 10th Annual Conference of the European Association for Computer Science Logic (CSL), 2001. © Springer Verlag ( LNCS series)
Stephan Kreutzer
Proceedings of the 8th International Conference on Database Theory (ICDT), 2001. © Springer Verlag ( LNCS series )
2000
Stephan Kreutzer
Proceedings of the 19th ACM Symp. on Principles of Database Systems (PODS), 2000.
1999
Erich Grädel, Stephan Kreutzer
Proceedings of CSL '99, Lecture Notes in Computer Science 1683, Springer 1999. © Springer Verlag (LNCS series )
Stephan Kreutzer
dissertation thesis, RWTH Aachen, 2002.
Stephan Kreutzer
diploma thesis, RWTH Aachen, 1999.