Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Stephan Kreutzer
@article{DBLP:journals/jctb/GiannopoulouKW24,
author = {Archontia C. Giannopoulou and
Stephan Kreutzer and
Sebastian Wiederrecht},
title = {Excluding a planar matching minor in bipartite graphs},
journal = {J. Comb. Theory, Ser. {B}},
volume = {164},
pages = {161--221},
year = {2024},
url = {https://doi.org/10.1016/j.jctb.2023.09.003},
doi = {10.1016/J.JCTB.2023.09.003},
timestamp = {Sun, 31 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jctb/GiannopoulouKW24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-13716,
author = {Dario Cavallaro and
Ken{-}ichi Kawarabayashi and
Stephan Kreutzer},
title = {Edge-Disjoint Paths in Eulerian Digraphs},
journal = {CoRR},
volume = {abs/2402.13716},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.13716},
doi = {10.48550/ARXIV.2402.13716},
eprinttype = {arXiv},
eprint = {2402.13716},
timestamp = {Fri, 22 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-13716.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soda/KawarabayashiKK23,
author = {Ken{-}ichi Kawarabayashi and
Stephan Kreutzer and
O{-}joung Kwon and
Qiqin Xie},
editor = {Nikhil Bansal and
Viswanath Nagarajan},
title = {A half-integral Erd{\H{o}}s-P{\'{o}}sa theorem for directed odd
cycles},
booktitle = {Proceedings of the 2023 {ACM-SIAM} Symposium on Discrete Algorithms,
{SODA} 2023, Florence, Italy, January 22-25, 2023},
pages = {3043--3062},
publisher = {{SIAM}},
year = {2023},
url = {https://doi.org/10.1137/1.9781611977554.ch118},
doi = {10.1137/1.9781611977554.CH118},
timestamp = {Fri, 17 Feb 2023 09:28:57 +0100},
biburl = {https://dblp.org/rec/conf/soda/KawarabayashiKK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-16816,
author = {Maximilian Gorsky and
Ken{-}ichi Kawarabayashi and
Stephan Kreutzer and
Sebastian Wiederrecht},
title = {Packing even directed circuits quarter-integrally},
journal = {CoRR},
volume = {abs/2311.16816},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2311.16816},
doi = {10.48550/ARXIV.2311.16816},
eprinttype = {arXiv},
eprint = {2311.16816},
timestamp = {Wed, 29 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-16816.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/GajarskyGK22,
author = {Jakub Gajarsk{\'{y}} and
Maximilian Gorsky and
Stephan Kreutzer},
editor = {Florin Manea and
Alex Simpson},
title = {Differential Games, Locality, and Model Checking for {FO} Logic of
Graphs},
booktitle = {30th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2022,
February 14-19, 2022, G{\"{o}}ttingen, Germany (Virtual Conference)},
series = {LIPIcs},
volume = {216},
pages = {22:1--22:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.CSL.2022.22},
doi = {10.4230/LIPICS.CSL.2022.22},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/GajarskyGK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BonnetDGKMST22,
author = {{\'{E}}douard Bonnet and
Jan Dreier and
Jakub Gajarsk{\'{y}} and
Stephan Kreutzer and
Nikolas M{\"{a}}hlmann and
Pierre Simon and
Szymon Torunczyk},
editor = {Christel Baier and
Dana Fisman},
title = {Model Checking on Interpretations of Classes of Bounded Local Cliquewidth},
booktitle = {{LICS} '22: 37th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, Haifa, Israel, August 2 - 5, 2022},
pages = {54:1--54:13},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3531130.3533367},
doi = {10.1145/3531130.3533367},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BonnetDGKMST22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soda/GiannopoulouKKK22,
author = {Archontia C. Giannopoulou and
Ken{-}ichi Kawarabayashi and
Stephan Kreutzer and
O{-}joung Kwon},
editor = {Joseph (Seffi) Naor and
Niv Buchbinder},
title = {Directed Tangle Tree-Decompositions and Applications},
booktitle = {Proceedings of the 2022 {ACM-SIAM} Symposium on Discrete Algorithms,
{SODA} 2022, Virtual Conference / Alexandria, VA, USA, January 9 -
12, 2022},
pages = {377--405},
publisher = {{SIAM}},
year = {2022},
url = {https://doi.org/10.1137/1.9781611977073.19},
doi = {10.1137/1.9781611977073.19},
timestamp = {Tue, 12 Apr 2022 11:24:56 +0200},
biburl = {https://dblp.org/rec/conf/soda/GiannopoulouKKK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-13014,
author = {{\'{E}}douard Bonnet and
Jan Dreier and
Jakub Gajarsk{\'{y}} and
Stephan Kreutzer and
Nikolas M{\"{a}}hlmann and
Pierre Simon and
Szymon Torunczyk},
title = {Model Checking on Interpretations of Classes of Bounded Local Cliquewidth},
journal = {CoRR},
volume = {abs/2202.13014},
year = {2022},
url = {https://arxiv.org/abs/2202.13014},
eprinttype = {arXiv},
eprint = {2202.13014},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-13014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-00703,
author = {Archontia C. Giannopoulou and
Stephan Kreutzer and
Sebastian Wiederrecht},
title = {Excluding a Planar Matching Minor in Bipartite Graphs},
journal = {CoRR},
volume = {abs/2106.00703},
year = {2021},
url = {https://arxiv.org/abs/2106.00703},
eprinttype = {arXiv},
eprint = {2106.00703},
timestamp = {Fri, 11 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-00703.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/EickmeyerHKKMPQ20,
author = {Kord Eickmeyer and
Jan van den Heuvel and
Ken{-}ichi Kawarabayashi and
Stephan Kreutzer and
Patrice Ossona de Mendez and
Michal Pilipczuk and
Daniel A. Quiroz and
Roman Rabinovich and
Sebastian Siebertz},
title = {Model-Checking on Ordered Structures},
journal = {{ACM} Trans. Comput. Log.},
volume = {21},
number = {2},
pages = {11:1--11:28},
year = {2020},
url = {https://doi.org/10.1145/3360011},
doi = {10.1145/3360011},
timestamp = {Wed, 30 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/EickmeyerHKKMPQ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/GajarskyKNMPST20,
author = {Jakub Gajarsk{\'{y}} and
Stephan Kreutzer and
Jaroslav Nesetril and
Patrice Ossona de Mendez and
Michal Pilipczuk and
Sebastian Siebertz and
Szymon Torunczyk},
title = {First-Order Interpretations of Bounded Expansion Classes},
journal = {{ACM} Trans. Comput. Log.},
volume = {21},
number = {4},
pages = {29:1--29:41},
year = {2020},
url = {https://doi.org/10.1145/3382093},
doi = {10.1145/3382093},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/GajarskyKNMPST20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soda/GiannopoulouKKK20,
author = {Archontia C. Giannopoulou and
Ken{-}ichi Kawarabayashi and
Stephan Kreutzer and
O{-}joung Kwon},
editor = {Shuchi Chawla},
title = {The Directed Flat Wall Theorem},
booktitle = {Proceedings of the 2020 {ACM-SIAM} Symposium on Discrete Algorithms,
{SODA} 2020, Salt Lake City, UT, USA, January 5-8, 2020},
pages = {239--258},
publisher = {{SIAM}},
year = {2020},
url = {https://doi.org/10.1137/1.9781611975994.15},
doi = {10.1137/1.9781611975994.15},
timestamp = {Thu, 15 Jul 2021 13:48:53 +0200},
biburl = {https://dblp.org/rec/conf/soda/GiannopoulouKKK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/GajarskyK20,
author = {Jakub Gajarsk{\'{y}} and
Stephan Kreutzer},
editor = {Christophe Paul and
Markus Bl{\"{a}}ser},
title = {Computing Shrub-Depth Decompositions},
booktitle = {37th International Symposium on Theoretical Aspects of Computer Science,
{STACS} 2020, March 10-13, 2020, Montpellier, France},
series = {LIPIcs},
volume = {154},
pages = {56:1--56:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.STACS.2020.56},
doi = {10.4230/LIPICS.STACS.2020.56},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/GajarskyK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-11345,
author = {Jakub Gajarsk{\'{y}} and
Maximilian Gorsky and
Stephan Kreutzer},
title = {Differential games, locality and model checking for {FO} logic of
graphs},
journal = {CoRR},
volume = {abs/2007.11345},
year = {2020},
url = {https://arxiv.org/abs/2007.11345},
eprinttype = {arXiv},
eprint = {2007.11345},
timestamp = {Wed, 29 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-11345.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2009-13184,
author = {Archontia C. Giannopoulou and
Ken{-}ichi Kawarabayashi and
Stephan Kreutzer and
O{-}joung Kwon},
title = {The canonical directed tree decomposition and its applications to
the directed disjoint paths problem},
journal = {CoRR},
volume = {abs/2009.13184},
year = {2020},
url = {https://arxiv.org/abs/2009.13184},
eprinttype = {arXiv},
eprint = {2009.13184},
timestamp = {Wed, 30 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-13184.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/AmiriKMR19,
author = {Saeed Akhoondian Amiri and
Stephan Kreutzer and
D{\'{a}}niel Marx and
Roman Rabinovich},
title = {Routing with congestion in acyclic digraphs},
journal = {Inf. Process. Lett.},
volume = {151},
year = {2019},
url = {https://doi.org/10.1016/j.ipl.2019.105836},
doi = {10.1016/J.IPL.2019.105836},
timestamp = {Fri, 07 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/AmiriKMR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/talg/KreutzerRS19,
author = {Stephan Kreutzer and
Roman Rabinovich and
Sebastian Siebertz},
title = {Polynomial Kernels and Wideness Properties of Nowhere Dense Graph
Classes},
journal = {{ACM} Trans. Algorithms},
volume = {15},
number = {2},
pages = {24:1--24:19},
year = {2019},
url = {https://doi.org/10.1145/3274652},
doi = {10.1145/3274652},
timestamp = {Fri, 07 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/talg/KreutzerRS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soda/HatzelKK19,
author = {Meike Hatzel and
Ken{-}ichi Kawarabayashi and
Stephan Kreutzer},
editor = {Timothy M. Chan},
title = {Polynomial Planar Directed Grid Theorem},
booktitle = {Proceedings of the Thirtieth Annual {ACM-SIAM} Symposium on Discrete
Algorithms, {SODA} 2019, San Diego, California, USA, January 6-9,
2019},
pages = {1465--1484},
publisher = {{SIAM}},
year = {2019},
url = {https://doi.org/10.1137/1.9781611975482.89},
doi = {10.1137/1.9781611975482.89},
timestamp = {Thu, 15 Jul 2021 13:49:01 +0200},
biburl = {https://dblp.org/rec/conf/soda/HatzelKK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/KreutzerMMRS19,
author = {Stephan Kreutzer and
Irene Muzi and
Patrice Ossona de Mendez and
Roman Rabinovich and
Sebastian Siebertz},
editor = {Rolf Niedermeier and
Christophe Paul},
title = {Algorithmic Properties of Sparse Digraphs},
booktitle = {36th International Symposium on Theoretical Aspects of Computer Science,
{STACS} 2019, March 13-16, 2019, Berlin, Germany},
series = {LIPIcs},
volume = {126},
pages = {46:1--46:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.STACS.2019.46},
doi = {10.4230/LIPICS.STACS.2019.46},
timestamp = {Fri, 07 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/KreutzerMMRS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Kreutzer18,
author = {Stephan Kreutzer},
title = {The Presburger Award 2018 - Laudatio for Aleksander Madry},
journal = {Bull. {EATCS}},
volume = {125},
year = {2018},
url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/541},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eatcs/Kreutzer18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamdm/GroheKRSS18,
author = {Martin Grohe and
Stephan Kreutzer and
Roman Rabinovich and
Sebastian Siebertz and
Konstantinos S. Stavropoulos},
title = {Coloring and Covering Nowhere Dense Graphs},
journal = {{SIAM} J. Discret. Math.},
volume = {32},
number = {4},
pages = {2467--2481},
year = {2018},
url = {https://doi.org/10.1137/18M1168753},
doi = {10.1137/18M1168753},
timestamp = {Fri, 07 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamdm/GroheKRSS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/AtseriasKN18,
author = {Albert Atserias and
Stephan Kreutzer and
Marc Noy},
editor = {Ioannis Chatzigiannakis and
Christos Kaklamanis and
D{\'{a}}niel Marx and
Donald Sannella},
title = {On Zero-One and Convergence Laws for Graphs Embeddable on a Fixed
Surface},
booktitle = {45th International Colloquium on Automata, Languages, and Programming,
{ICALP} 2018, July 9-13, 2018, Prague, Czech Republic},
series = {LIPIcs},
volume = {107},
pages = {116:1--116:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2018.116},
doi = {10.4230/LIPICS.ICALP.2018.116},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/icalp/AtseriasKN18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/GajarskyKNMPST18,
author = {Jakub Gajarsk{\'{y}} and
Stephan Kreutzer and
Jaroslav Nesetril and
Patrice Ossona de Mendez and
Michal Pilipczuk and
Sebastian Siebertz and
Szymon Torunczyk},
editor = {Ioannis Chatzigiannakis and
Christos Kaklamanis and
D{\'{a}}niel Marx and
Donald Sannella},
title = {First-Order Interpretations of Bounded Expansion Classes},
booktitle = {45th International Colloquium on Automata, Languages, and Programming,
{ICALP} 2018, July 9-13, 2018, Prague, Czech Republic},
series = {LIPIcs},
volume = {107},
pages = {126:1--126:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2018.126},
doi = {10.4230/LIPICS.ICALP.2018.126},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/GajarskyKNMPST18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/18/KreutzerK18,
author = {Stephan Kreutzer and
O{-}joung Kwon},
editor = {J{\o}rgen Bang{-}Jensen and
Gregory Z. Gutin},
title = {Digraphs of Bounded Width},
booktitle = {Classes of Directed Graphs},
series = {Springer Monographs in Mathematics},
pages = {405--466},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-71840-8\_9},
doi = {10.1007/978-3-319-71840-8\_9},
timestamp = {Mon, 16 Sep 2019 14:43:17 +0200},
biburl = {https://dblp.org/rec/books/sp/18/KreutzerK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1810-02389,
author = {Jakub Gajarsk{\'{y}} and
Stephan Kreutzer and
Jaroslav Nesetril and
Patrice Ossona de Mendez and
Michal Pilipczuk and
Sebastian Siebertz and
Szymon Torunczyk},
title = {First-order interpretations of bounded expansion classes},
journal = {CoRR},
volume = {abs/1810.02389},
year = {2018},
url = {http://arxiv.org/abs/1810.02389},
eprinttype = {arXiv},
eprint = {1810.02389},
timestamp = {Tue, 30 Oct 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-02389.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1812-08003,
author = {Kord Eickmeyer and
Jan van den Heuvel and
Ken{-}ichi Kawarabayashi and
Stephan Kreutzer and
Patrice Ossona de Mendez and
Michal Pilipczuk and
Daniel A. Quiroz and
Roman Rabinovich and
Sebastian Siebertz},
title = {Model-Checking on Ordered Structures},
journal = {CoRR},
volume = {abs/1812.08003},
year = {2018},
url = {http://arxiv.org/abs/1812.08003},
eprinttype = {arXiv},
eprint = {1812.08003},
timestamp = {Wed, 30 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1812-08003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/combinatorics/KreutzerOSZW17,
author = {Stephan Kreutzer and
Sang{-}il Oum and
Paul D. Seymour and
Dominic van der Zypen and
David R. Wood},
title = {Majority Colourings of Digraphs},
journal = {Electron. J. Comb.},
volume = {24},
number = {2},
pages = {2},
year = {2017},
url = {https://doi.org/10.37236/6410},
doi = {10.37236/6410},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/combinatorics/KreutzerOSZW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Kreutzer17,
author = {Stephan Kreutzer},
title = {The Presburger Award for Young Scientists 2018 - Call for Nominations},
journal = {Bull. {EATCS}},
volume = {123},
year = {2017},
url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/503},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eatcs/Kreutzer17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/endm/GiannopoulouKW17,
author = {Archontia C. Giannopoulou and
Stephan Kreutzer and
Sebastian Wiederrecht},
title = {Matching Connectivity: On the Structure of Graphs with Perfect Matchings},
journal = {Electron. Notes Discret. Math.},
volume = {61},
pages = {505--511},
year = {2017},
url = {https://doi.org/10.1016/j.endm.2017.06.080},
doi = {10.1016/J.ENDM.2017.06.080},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/endm/GiannopoulouKW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/GroheKS17,
author = {Martin Grohe and
Stephan Kreutzer and
Sebastian Siebertz},
title = {Deciding First-Order Properties of Nowhere Dense Graphs},
journal = {J. {ACM}},
volume = {64},
number = {3},
pages = {17:1--17:32},
year = {2017},
url = {https://doi.org/10.1145/3051095},
doi = {10.1145/3051095},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/GroheKS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Kreutzer17,
author = {Stephan Kreutzer},
editor = {Valentin Goranko and
Mads Dam},
title = {Current Trends and New Perspectives for First-Order Model Checking
(Invited Talk)},
booktitle = {26th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2017,
August 20-24, 2017, Stockholm, Sweden},
series = {LIPIcs},
volume = {82},
pages = {4:1--4:5},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.CSL.2017.4},
doi = {10.4230/LIPICS.CSL.2017.4},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/csl/Kreutzer17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/EickmeyerGKKPRS17,
author = {Kord Eickmeyer and
Archontia C. Giannopoulou and
Stephan Kreutzer and
O{-}joung Kwon and
Michal Pilipczuk and
Roman Rabinovich and
Sebastian Siebertz},
editor = {Ioannis Chatzigiannakis and
Piotr Indyk and
Fabian Kuhn and
Anca Muscholl},
title = {Neighborhood Complexity and Kernelization for Nowhere Dense Classes
of Graphs},
booktitle = {44th International Colloquium on Automata, Languages, and Programming,
{ICALP} 2017, July 10-14, 2017, Warsaw, Poland},
series = {LIPIcs},
volume = {80},
pages = {63:1--63:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2017.63},
doi = {10.4230/LIPICS.ICALP.2017.63},
timestamp = {Fri, 07 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/EickmeyerGKKPRS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/HeuvelKPQRS17,
author = {Jan van den Heuvel and
Stephan Kreutzer and
Michal Pilipczuk and
Daniel A. Quiroz and
Roman Rabinovich and
Sebastian Siebertz},
title = {Model-checking for successor-invariant first-order formulas on graph
classes of bounded expansion},
booktitle = {32nd Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2017, Reykjavik, Iceland, June 20-23, 2017},
pages = {1--11},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/LICS.2017.8005115},
doi = {10.1109/LICS.2017.8005115},
timestamp = {Wed, 30 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/HeuvelKPQRS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soda/KreutzerRS17,
author = {Stephan Kreutzer and
Roman Rabinovich and
Sebastian Siebertz},
editor = {Philip N. Klein},
title = {Polynomial Kernels and Wideness Properties of Nowhere Dense Graph
Classes},
booktitle = {Proceedings of the Twenty-Eighth Annual {ACM-SIAM} Symposium on Discrete
Algorithms, {SODA} 2017, Barcelona, Spain, Hotel Porta Fira, January
16-19},
pages = {1533--1545},
publisher = {{SIAM}},
year = {2017},
url = {https://doi.org/10.1137/1.9781611974782.100},
doi = {10.1137/1.9781611974782.100},
timestamp = {Fri, 07 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/soda/KreutzerRS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/KreutzerRSW17,
author = {Stephan Kreutzer and
Roman Rabinovich and
Sebastian Siebertz and
Grischa Weberst{\"{a}}dt},
editor = {Heribert Vollmer and
Brigitte Vall{\'{e}}e},
title = {Structural Properties and Constant Factor-Approximation of Strong
Distance-r Dominating Sets in Sparse Directed Graphs},
booktitle = {34th Symposium on Theoretical Aspects of Computer Science, {STACS}
2017, March 8-11, 2017, Hannover, Germany},
series = {LIPIcs},
volume = {66},
pages = {48:1--48:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.STACS.2017.48},
doi = {10.4230/LIPICS.STACS.2017.48},
timestamp = {Fri, 07 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/KreutzerRSW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HeuvelKPQRS17,
author = {Jan van den Heuvel and
Stephan Kreutzer and
Michal Pilipczuk and
Daniel A. Quiroz and
Roman Rabinovich and
Sebastian Siebertz},
title = {Model-Checking for Successor-Invariant First-Order Formulas on Graph
Classes of Bounded Expansion},
journal = {CoRR},
volume = {abs/1701.08516},
year = {2017},
url = {http://arxiv.org/abs/1701.08516},
eprinttype = {arXiv},
eprint = {1701.08516},
timestamp = {Wed, 30 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HeuvelKPQRS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KreutzerMRS17,
author = {Stephan Kreutzer and
Patrice Ossona de Mendez and
Roman Rabinovich and
Sebastian Siebertz},
title = {Algorithmic Properties of Sparse Digraphs},
journal = {CoRR},
volume = {abs/1707.01701},
year = {2017},
url = {http://arxiv.org/abs/1707.01701},
eprinttype = {arXiv},
eprint = {1707.01701},
timestamp = {Fri, 07 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KreutzerMRS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/EngelmannOK16,
author = {Viktor Engelmann and
Sebastian Ordyniak and
Stephan Kreutzer},
title = {Directed elimination games},
journal = {Discret. Appl. Math.},
volume = {199},
pages = {187--198},
year = {2016},
url = {https://doi.org/10.1016/j.dam.2014.08.030},
doi = {10.1016/J.DAM.2014.08.030},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dam/EngelmannOK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/BulatovK16,
author = {Andrei Bulatov and
Stephan Kreutzer},
title = {Preface},
journal = {Theory Comput. Syst.},
volume = {59},
number = {2},
pages = {159--160},
year = {2016},
url = {https://doi.org/10.1007/s00224-016-9696-y},
doi = {10.1007/S00224-016-9696-Y},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/BulatovK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DittmannKT16,
author = {Christoph Dittmann and
Stephan Kreutzer and
Alexandru I. Tomescu},
title = {Graph operations on parity games and polynomial-time algorithms},
journal = {Theor. Comput. Sci.},
volume = {614},
pages = {97--108},
year = {2016},
url = {https://doi.org/10.1016/j.tcs.2015.11.044},
doi = {10.1016/J.TCS.2015.11.044},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DittmannKT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KreutzerO16,
author = {Stephan Kreutzer and
Sebastian Ordyniak},
title = {Complexity and monotonicity results for domination games},
journal = {Theor. Comput. Sci.},
volume = {628},
pages = {1--29},
year = {2016},
url = {https://doi.org/10.1016/j.tcs.2016.03.003},
doi = {10.1016/J.TCS.2016.03.003},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/KreutzerO16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AmiriKR16,
author = {Saeed Akhoondian Amiri and
Stephan Kreutzer and
Roman Rabinovich},
title = {DAG-width is PSPACE-complete},
journal = {Theor. Comput. Sci.},
volume = {655},
pages = {78--89},
year = {2016},
url = {https://doi.org/10.1016/j.tcs.2016.09.011},
doi = {10.1016/J.TCS.2016.09.011},
timestamp = {Fri, 07 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/AmiriKR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/AmiriKMR16,
author = {Saeed Akhoondian Amiri and
Stephan Kreutzer and
D{\'{a}}niel Marx and
Roman Rabinovich},
editor = {Piotr Faliszewski and
Anca Muscholl and
Rolf Niedermeier},
title = {Routing with Congestion in Acyclic Digraphs},
booktitle = {41st International Symposium on Mathematical Foundations of Computer
Science, {MFCS} 2016, August 22-26, 2016 - Krak{\'{o}}w, Poland},
series = {LIPIcs},
volume = {58},
pages = {7:1--7:11},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.MFCS.2016.7},
doi = {10.4230/LIPICS.MFCS.2016.7},
timestamp = {Fri, 07 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/AmiriKMR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/KreutzerPRS16,
author = {Stephan Kreutzer and
Michal Pilipczuk and
Roman Rabinovich and
Sebastian Siebertz},
editor = {Piotr Faliszewski and
Anca Muscholl and
Rolf Niedermeier},
title = {The Generalised Colouring Numbers on Classes of Bounded Expansion},
booktitle = {41st International Symposium on Mathematical Foundations of Computer
Science, {MFCS} 2016, August 22-26, 2016 - Krak{\'{o}}w, Poland},
series = {LIPIcs},
volume = {58},
pages = {85:1--85:13},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.MFCS.2016.85},
doi = {10.4230/LIPICS.MFCS.2016.85},
timestamp = {Fri, 07 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/KreutzerPRS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/DrangeDFKLPPRVS16,
author = {P{\aa}l Gr{\o}n{\aa}s Drange and
Markus Sortland Dregi and
Fedor V. Fomin and
Stephan Kreutzer and
Daniel Lokshtanov and
Marcin Pilipczuk and
Michal Pilipczuk and
Felix Reidl and
Fernando S{\'{a}}nchez Villaamil and
Saket Saurabh and
Sebastian Siebertz and
Somnath Sikdar},
editor = {Nicolas Ollinger and
Heribert Vollmer},
title = {Kernelization and Sparseness: the Case of Dominating Set},
booktitle = {33rd Symposium on Theoretical Aspects of Computer Science, {STACS}
2016, February 17-20, 2016, Orl{\'{e}}ans, France},
series = {LIPIcs},
volume = {47},
pages = {31:1--31:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.STACS.2016.31},
doi = {10.4230/LIPICS.STACS.2016.31},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/stacs/DrangeDFKLPPRVS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/algo/Kreutzer16,
author = {Stephan Kreutzer},
title = {Nowhere Crownful Classes of Directed Graphs},
booktitle = {Encyclopedia of Algorithms},
pages = {1416--1419},
year = {2016},
url = {https://doi.org/10.1007/978-1-4939-2864-4\_694},
doi = {10.1007/978-1-4939-2864-4\_694},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/algo/Kreutzer16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AmiriKKW16,
author = {Saeed Akhoondian Amiri and
Ken{-}ichi Kawarabayashi and
Stephan Kreutzer and
Paul Wollan},
title = {The Erdos-Posa Property for Directed Graphs},
journal = {CoRR},
volume = {abs/1603.02504},
year = {2016},
url = {http://arxiv.org/abs/1603.02504},
eprinttype = {arXiv},
eprint = {1603.02504},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AmiriKKW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AmiriKMR16,
author = {Saeed Akhoondian Amiri and
Stephan Kreutzer and
D{\'{a}}niel Marx and
Roman Rabinovich},
title = {Routing with Congestion in Acyclic Digraphs},
journal = {CoRR},
volume = {abs/1605.01866},
year = {2016},
url = {http://arxiv.org/abs/1605.01866},
eprinttype = {arXiv},
eprint = {1605.01866},
timestamp = {Fri, 07 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AmiriKMR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KreutzerPRS16,
author = {Stephan Kreutzer and
Michal Pilipczuk and
Roman Rabinovich and
Sebastian Siebertz},
title = {The Generalised Colouring Numbers on Classes of Bounded Expansion},
journal = {CoRR},
volume = {abs/1606.08972},
year = {2016},
url = {http://arxiv.org/abs/1606.08972},
eprinttype = {arXiv},
eprint = {1606.08972},
timestamp = {Fri, 07 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KreutzerPRS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KreutzerRS16,
author = {Stephan Kreutzer and
Roman Rabinovich and
Sebastian Siebertz},
title = {Polynomial Kernels and Wideness Properties of Nowhere Dense Graph
Classes},
journal = {CoRR},
volume = {abs/1608.05637},
year = {2016},
url = {http://arxiv.org/abs/1608.05637},
eprinttype = {arXiv},
eprint = {1608.05637},
timestamp = {Fri, 07 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KreutzerRS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/EickmeyerGKKPRS16,
author = {Kord Eickmeyer and
Archontia C. Giannopoulou and
Stephan Kreutzer and
O{-}joung Kwon and
Michal Pilipczuk and
Roman Rabinovich and
Sebastian Siebertz},
title = {Neighborhood complexity and kernelization for nowhere dense classes
of graphs},
journal = {CoRR},
volume = {abs/1612.08197},
year = {2016},
url = {http://arxiv.org/abs/1612.08197},
eprinttype = {arXiv},
eprint = {1612.08197},
timestamp = {Fri, 07 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/EickmeyerGKKPRS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/KawarabayashiK15,
author = {Ken{-}ichi Kawarabayashi and
Stephan Kreutzer},
editor = {Magn{\'{u}}s M. Halld{\'{o}}rsson and
Kazuo Iwama and
Naoki Kobayashi and
Bettina Speckmann},
title = {Towards the Graph Minor Theorems for Directed Graphs},
booktitle = {Automata, Languages, and Programming - 42nd International Colloquium,
{ICALP} 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9135},
pages = {3--10},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-47666-6\_1},
doi = {10.1007/978-3-662-47666-6\_1},
timestamp = {Fri, 27 Mar 2020 09:02:59 +0100},
biburl = {https://dblp.org/rec/conf/icalp/KawarabayashiK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/AmiriKKRS15,
author = {Saeed Akhoondian Amiri and
Lukasz Kaiser and
Stephan Kreutzer and
Roman Rabinovich and
Sebastian Siebertz},
editor = {Ernst W. Mayr and
Nicolas Ollinger},
title = {Graph Searching Games and Width Measures for Directed Graphs},
booktitle = {32nd International Symposium on Theoretical Aspects of Computer Science,
{STACS} 2015, March 4-7, 2015, Garching, Germany},
series = {LIPIcs},
volume = {30},
pages = {34--47},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.STACS.2015.34},
doi = {10.4230/LIPICS.STACS.2015.34},
timestamp = {Fri, 07 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/AmiriKKRS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/KawarabayashiK15,
author = {Ken{-}ichi Kawarabayashi and
Stephan Kreutzer},
editor = {Rocco A. Servedio and
Ronitt Rubinfeld},
title = {The Directed Grid Theorem},
booktitle = {Proceedings of the Forty-Seventh Annual {ACM} on Symposium on Theory
of Computing, {STOC} 2015, Portland, OR, USA, June 14-17, 2015},
pages = {655--664},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2746539.2746586},
doi = {10.1145/2746539.2746586},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/KawarabayashiK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wg/GroheKRSS15,
author = {Martin Grohe and
Stephan Kreutzer and
Roman Rabinovich and
Sebastian Siebertz and
Konstantinos S. Stavropoulos},
editor = {Ernst W. Mayr},
title = {Colouring and Covering Nowhere Dense Graphs},
booktitle = {Graph-Theoretic Concepts in Computer Science - 41st International
Workshop, {WG} 2015, Garching, Germany, June 17-19, 2015, Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {9224},
pages = {325--338},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-53174-7\_23},
doi = {10.1007/978-3-662-53174-7\_23},
timestamp = {Fri, 07 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wg/GroheKRSS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csl/2015,
editor = {Stephan Kreutzer},
title = {24th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2015,
September 7-10, 2015, Berlin, Germany},
series = {LIPIcs},
volume = {41},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {http://www.dagstuhl.de/dagpub/978-3-939897-90-3},
isbn = {978-3-939897-90-3},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/BojanczykDK14,
author = {Mikolaj Bojanczyk and
Christoph Dittmann and
Stephan Kreutzer},
editor = {Thomas A. Henzinger and
Dale Miller},
title = {Decomposition theorems and model-checking for the modal \emph{{\(\mu\)}}-calculus},
booktitle = {Joint Meeting of the Twenty-Third {EACSL} Annual Conference on Computer
Science Logic {(CSL)} and the Twenty-Ninth Annual {ACM/IEEE} Symposium
on Logic in Computer Science (LICS), {CSL-LICS} '14, Vienna, Austria,
July 14 - 18, 2014},
pages = {17:1--17:10},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2603088.2603144},
doi = {10.1145/2603088.2603144},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/BojanczykDK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/KreutzerS14,
author = {Stephan Kreutzer and
Nicole Schweikardt},
editor = {Thomas A. Henzinger and
Dale Miller},
title = {On Hanf-equivalence and the number of embeddings of small induced
subgraphs},
booktitle = {Joint Meeting of the Twenty-Third {EACSL} Annual Conference on Computer
Science Logic {(CSL)} and the Twenty-Ninth Annual {ACM/IEEE} Symposium
on Logic in Computer Science (LICS), {CSL-LICS} '14, Vienna, Austria,
July 14 - 18, 2014},
pages = {60:1--60:10},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2603088.2603148},
doi = {10.1145/2603088.2603148},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/KreutzerS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csr/AmiriGKS14,
author = {Saeed Akhoondian Amiri and
Ali Golshani and
Stephan Kreutzer and
Sebastian Siebertz},
editor = {Edward A. Hirsch and
Sergei O. Kuznetsov and
Jean{-}{\'{E}}ric Pin and
Nikolay K. Vereshchagin},
title = {Vertex Disjoint Paths in Upward Planar Graphs},
booktitle = {Computer Science - Theory and Applications - 9th International Computer
Science Symposium in Russia, {CSR} 2014, Moscow, Russia, June 7-11,
2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8476},
pages = {52--64},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06686-8\_5},
doi = {10.1007/978-3-319-06686-8\_5},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/csr/AmiriGKS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soda/KawarabayashiK14,
author = {Ken{-}ichi Kawarabayashi and
Stephan Kreutzer},
editor = {Chandra Chekuri},
title = {An Excluded Grid Theorem for Digraphs with Forbidden Minors},
booktitle = {Proceedings of the Twenty-Fifth Annual {ACM-SIAM} Symposium on Discrete
Algorithms, {SODA} 2014, Portland, Oregon, USA, January 5-7, 2014},
pages = {72--81},
publisher = {{SIAM}},
year = {2014},
url = {https://doi.org/10.1137/1.9781611973402.6},
doi = {10.1137/1.9781611973402.6},
timestamp = {Tue, 02 Feb 2021 17:07:40 +0100},
biburl = {https://dblp.org/rec/conf/soda/KawarabayashiK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/KawarabayashiKK14,
author = {Ken{-}ichi Kawarabayashi and
Yusuke Kobayashi and
Stephan Kreutzer},
editor = {David B. Shmoys},
title = {An excluded half-integral grid theorem for digraphs and the directed
disjoint paths problem},
booktitle = {Symposium on Theory of Computing, {STOC} 2014, New York, NY, USA,
May 31 - June 03, 2014},
pages = {70--78},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2591796.2591876},
doi = {10.1145/2591796.2591876},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/KawarabayashiKK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/GroheKS14,
author = {Martin Grohe and
Stephan Kreutzer and
Sebastian Siebertz},
editor = {David B. Shmoys},
title = {Deciding first-order properties of nowhere dense graphs},
booktitle = {Symposium on Theory of Computing, {STOC} 2014, New York, NY, USA,
May 31 - June 03, 2014},
pages = {89--98},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2591796.2591851},
doi = {10.1145/2591796.2591851},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stoc/GroheKS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BojanczykDK14,
author = {Mikolaj Bojanczyk and
Christoph Dittmann and
Stephan Kreutzer},
title = {Decomposition Theorems and Model-Checking for the Modal {\textdollar}{\(\mu\)}{\textdollar}-Calculus},
journal = {CoRR},
volume = {abs/1405.2234},
year = {2014},
url = {http://arxiv.org/abs/1405.2234},
eprinttype = {arXiv},
eprint = {1405.2234},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BojanczykDK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KaiserKRS14,
author = {Lukasz Kaiser and
Stephan Kreutzer and
Roman Rabinovich and
Sebastian Siebertz},
title = {Directed Width Measures and Monotonicity of Directed Graph Searching},
journal = {CoRR},
volume = {abs/1408.4745},
year = {2014},
url = {http://arxiv.org/abs/1408.4745},
eprinttype = {arXiv},
eprint = {1408.4745},
timestamp = {Fri, 07 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KaiserKRS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AmiriKR14,
author = {Saeed Akhoondian Amiri and
Stephan Kreutzer and
Roman Rabinovich},
title = {DAG-width is PSPACE-complete},
journal = {CoRR},
volume = {abs/1411.2438},
year = {2014},
url = {http://arxiv.org/abs/1411.2438},
eprinttype = {arXiv},
eprint = {1411.2438},
timestamp = {Fri, 07 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AmiriKR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DrangeDFKLPPRSVS14,
author = {P{\aa}l Gr{\o}n{\aa}s Drange and
Markus S. Dregi and
Fedor V. Fomin and
Stephan Kreutzer and
Daniel Lokshtanov and
Marcin Pilipczuk and
Michal Pilipczuk and
Felix Reidl and
Saket Saurabh and
Fernando S{\'{a}}nchez Villaamil and
Somnath Sikdar},
title = {Kernelization and Sparseness: the case of Dominating Set},
journal = {CoRR},
volume = {abs/1411.4575},
year = {2014},
url = {http://arxiv.org/abs/1411.4575},
eprinttype = {arXiv},
eprint = {1411.4575},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DrangeDFKLPPRSVS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KawarabayashiK14,
author = {Ken{-}ichi Kawarabayashi and
Stephan Kreutzer},
title = {The Directed Grid Theorem},
journal = {CoRR},
volume = {abs/1411.5681},
year = {2014},
url = {http://arxiv.org/abs/1411.5681},
eprinttype = {arXiv},
eprint = {1411.5681},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KawarabayashiK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/GroheKS13,
author = {Martin Grohe and
Stephan Kreutzer and
Sebastian Siebertz},
editor = {Anil Seth and
Nisheeth K. Vishnoi},
title = {Characterisations of Nowhere Dense Graphs (Invited Talk)},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2013, December 12-14, 2013,
Guwahati, India},
series = {LIPIcs},
volume = {24},
pages = {21--40},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2013},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2013.21},
doi = {10.4230/LIPICS.FSTTCS.2013.21},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/GroheKS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/KreutzerR13,
author = {Stephan Kreutzer and
Cristian Riveros},
title = {Quantitative Monadic Second-Order Logic},
booktitle = {28th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2013, New Orleans, LA, USA, June 25-28, 2013},
pages = {113--122},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/LICS.2013.16},
doi = {10.1109/LICS.2013.16},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/KreutzerR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/EickmeyerKK13,
author = {Kord Eickmeyer and
Ken{-}ichi Kawarabayashi and
Stephan Kreutzer},
title = {Model Checking for Successor-Invariant First-Order Logic on Minor-Closed
Graph Classes},
booktitle = {28th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2013, New Orleans, LA, USA, June 25-28, 2013},
pages = {134--142},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/LICS.2013.19},
doi = {10.1109/LICS.2013.19},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/EickmeyerKK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soda/KawarabayashiKKK13,
author = {Ken{-}ichi Kawarabayashi and
Daniel Kr{\'{a}}l' and
Marek Krc{\'{a}}l and
Stephan Kreutzer},
editor = {Sanjeev Khanna},
title = {Packing directed cycles through a specified vertex set},
booktitle = {Proceedings of the Twenty-Fourth Annual {ACM-SIAM} Symposium on Discrete
Algorithms, {SODA} 2013, New Orleans, Louisiana, USA, January 6-8,
2013},
pages = {365--377},
publisher = {{SIAM}},
year = {2013},
url = {https://doi.org/10.1137/1.9781611973105.27},
doi = {10.1137/1.9781611973105.27},
timestamp = {Tue, 02 Feb 2021 17:07:29 +0100},
biburl = {https://dblp.org/rec/conf/soda/KawarabayashiKKK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GroheKS13,
author = {Martin Grohe and
Stephan Kreutzer and
Sebastian Siebertz},
title = {Deciding first-order properties of nowhere dense graphs},
journal = {CoRR},
volume = {abs/1311.3899},
year = {2013},
url = {http://arxiv.org/abs/1311.3899},
eprinttype = {arXiv},
eprint = {1311.3899},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GroheKS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AmiriGKS13,
author = {Saeed Akhoondian Amiri and
Ali Golshani and
Stephan Kreutzer and
Sebastian Siebertz},
title = {Vertex Disjoint Path in Upward Planar Graphs},
journal = {CoRR},
volume = {abs/1312.1526},
year = {2013},
url = {http://arxiv.org/abs/1312.1526},
eprinttype = {arXiv},
eprint = {1312.1526},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AmiriGKS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1203-3167,
author = {Stephan Kreutzer},
title = {On the Parameterized Intractability of Monadic Second-Order Logic},
journal = {Log. Methods Comput. Sci.},
volume = {8},
number = {1},
year = {2012},
url = {https://doi.org/10.2168/LMCS-8(1:27)2012},
doi = {10.2168/LMCS-8(1:27)2012},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1203-3167.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dcg/KawarabayashiKM12,
author = {Ken{-}ichi Kawarabayashi and
Stephan Kreutzer and
Bojan Mohar},
title = {Linkless and Flat Embeddings in 3-Space},
journal = {Discret. Comput. Geom.},
volume = {47},
number = {4},
pages = {731--755},
year = {2012},
url = {https://doi.org/10.1007/s00454-012-9413-9},
doi = {10.1007/S00454-012-9413-9},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dcg/KawarabayashiKM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jct/BerwangerDHKO12,
author = {Dietmar Berwanger and
Anuj Dawar and
Paul Hunter and
Stephan Kreutzer and
Jan Obdrz{\'{a}}lek},
title = {The dag-width of directed graphs},
journal = {J. Comb. Theory, Ser. {B}},
volume = {102},
number = {4},
pages = {900--923},
year = {2012},
url = {https://doi.org/10.1016/j.jctb.2012.04.004},
doi = {10.1016/J.JCTB.2012.04.004},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jct/BerwangerDHKO12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FominFKT12,
author = {Fedor V. Fomin and
Pierre Fraigniaud and
Stephan Kreutzer and
Dimitrios M. Thilikos},
title = {Foreword: Special Issue on Theory and Applications of Graph Searching
Problems},
journal = {Theor. Comput. Sci.},
volume = {463},
pages = {1},
year = {2012},
url = {https://doi.org/10.1016/j.tcs.2012.10.006},
doi = {10.1016/J.TCS.2012.10.006},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/FominFKT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/EngelmannKS12,
author = {Viktor Engelmann and
Stephan Kreutzer and
Sebastian Siebertz},
title = {First-Order and Monadic Second-Order Model-Checking on Ordered Structures},
booktitle = {Proceedings of the 27th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2012, Dubrovnik, Croatia, June 25-28, 2012},
pages = {275--284},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/LICS.2012.38},
doi = {10.1109/LICS.2012.38},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/EngelmannKS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soda/KreutzerT12,
author = {Stephan Kreutzer and
Siamak Tazari},
editor = {Yuval Rabani},
title = {Directed nowhere dense classes of graphs},
booktitle = {Proceedings of the Twenty-Third Annual {ACM-SIAM} Symposium on Discrete
Algorithms, {SODA} 2012, Kyoto, Japan, January 17-19, 2012},
pages = {1552--1562},
publisher = {{SIAM}},
year = {2012},
url = {https://doi.org/10.1137/1.9781611973099.123},
doi = {10.1137/1.9781611973099.123},
timestamp = {Tue, 02 Feb 2021 17:07:31 +0100},
biburl = {https://dblp.org/rec/conf/soda/KreutzerT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1208-1640,
author = {Christoph Dittmann and
Stephan Kreutzer and
Alexandru I. Tomescu},
title = {Graph Operations on Parity Games and Polynomial-Time Algorithms},
journal = {CoRR},
volume = {abs/1208.1640},
year = {2012},
url = {http://arxiv.org/abs/1208.1640},
eprinttype = {arXiv},
eprint = {1208.1640},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1208-1640.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FominFKT11,
author = {Fedor V. Fomin and
Pierre Fraigniaud and
Stephan Kreutzer and
Dimitrios M. Thilikos},
title = {Special Issue on "Theory and Applications of Graph Searching
Problems"},
journal = {Theor. Comput. Sci.},
volume = {412},
number = {24},
pages = {2699},
year = {2011},
url = {https://doi.org/10.1016/S0304-3975(11)00295-7},
doi = {10.1016/S0304-3975(11)00295-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/FominFKT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KreutzerO11,
author = {Stephan Kreutzer and
Sebastian Ordyniak},
title = {Digraph decompositions and monotonicity in digraph searching},
journal = {Theor. Comput. Sci.},
volume = {412},
number = {35},
pages = {4688--4703},
year = {2011},
url = {https://doi.org/10.1016/j.tcs.2011.05.003},
doi = {10.1016/J.TCS.2011.05.003},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/KreutzerO11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/cu/11/Kreutzer11,
author = {Stephan Kreutzer},
editor = {Javier Esparza and
Christian Michaux and
Charles Steinhorn},
title = {Algorithmic meta-theorems},
booktitle = {Finite and Algorithmic Model Theory},
series = {London Mathematical Society Lecture Note Series},
volume = {379},
pages = {177--270},
publisher = {Cambridge University Press},
year = {2011},
timestamp = {Fri, 15 May 2020 15:30:10 +0200},
biburl = {https://dblp.org/rec/books/cu/11/Kreutzer11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/cu/11/Kreutzer11a,
author = {Stephan Kreutzer},
editor = {Krzysztof R. Apt and
Erich Gr{\"{a}}del},
title = {Graph searching games},
booktitle = {Lectures in Game Theory for Computer Scientists},
pages = {213--263},
publisher = {Cambridge University Press},
year = {2011},
timestamp = {Fri, 15 May 2020 15:32:50 +0200},
biburl = {https://dblp.org/rec/books/cu/11/Kreutzer11a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1104-3808,
author = {Stephan Kreutzer and
Siamak Tazari},
title = {Directed Nowhere Dense Classes of Graphs},
journal = {CoRR},
volume = {abs/1104.3808},
year = {2011},
url = {http://arxiv.org/abs/1104.3808},
eprinttype = {arXiv},
eprint = {1104.3808},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1104-3808.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/FominFKT11,
author = {Fedor V. Fomin and
Pierre Fraigniaud and
Stephan Kreutzer and
Dimitrios M. Thilikos},
title = {Theory and Applications of Graph Searching Problems {(GRASTA} 2011)
(Dagstuhl Seminar 11071)},
journal = {Dagstuhl Reports},
volume = {1},
number = {2},
pages = {30--46},
year = {2011},
url = {https://doi.org/10.4230/DagRep.1.2.30},
doi = {10.4230/DAGREP.1.2.30},
timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/FominFKT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compgeom/KawarabayashiKM10,
author = {Ken{-}ichi Kawarabayashi and
Stephan Kreutzer and
Bojan Mohar},
editor = {David G. Kirkpatrick and
Joseph S. B. Mitchell},
title = {Linkless and flat embeddings in 3-space and the unknot problem},
booktitle = {Proceedings of the 26th {ACM} Symposium on Computational Geometry,
Snowbird, Utah, USA, June 13-16, 2010},
pages = {97--106},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1810959.1810975},
doi = {10.1145/1810959.1810975},
timestamp = {Mon, 14 Jun 2021 16:25:04 +0200},
biburl = {https://dblp.org/rec/conf/compgeom/KawarabayashiKM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/KreutzerT10,
author = {Stephan Kreutzer and
Siamak Tazari},
title = {Lower Bounds for the Complexity of Monadic Second-Order Logic},
booktitle = {Proceedings of the 25th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2010, 11-14 July 2010, Edinburgh, United Kingdom},
pages = {189--198},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/LICS.2010.39},
doi = {10.1109/LICS.2010.39},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/KreutzerT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/AxelssonHKLL10,
author = {Roland Axelsson and
Matthew Hague and
Stephan Kreutzer and
Martin Lange and
Markus Latte},
editor = {Christian G. Ferm{\"{u}}ller and
Andrei Voronkov},
title = {Extended Computation Tree Logic},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th
International Conference, LPAR-17, Yogyakarta, Indonesia, October
10-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6397},
pages = {67--81},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16242-8\_6},
doi = {10.1007/978-3-642-16242-8\_6},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/AxelssonHKLL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soda/KreutzerT10,
author = {Stephan Kreutzer and
Siamak Tazari},
editor = {Moses Charikar},
title = {On Brambles, Grid-Like Minors, and Parameterized Intractability of
Monadic Second-Order Logic},
booktitle = {Proceedings of the Twenty-First Annual {ACM-SIAM} Symposium on Discrete
Algorithms, {SODA} 2010, Austin, Texas, USA, January 17-19, 2010},
pages = {354--364},
publisher = {{SIAM}},
year = {2010},
url = {https://doi.org/10.1137/1.9781611973075.30},
doi = {10.1137/1.9781611973075.30},
timestamp = {Tue, 02 Feb 2021 17:07:39 +0100},
biburl = {https://dblp.org/rec/conf/soda/KreutzerT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1001-5019,
author = {Stephan Kreutzer and
Siamak Tazari},
title = {Lower Bounds for the Complexity of Monadic Second-Order Logic},
journal = {CoRR},
volume = {abs/1001.5019},
year = {2010},
url = {http://arxiv.org/abs/1001.5019},
eprinttype = {arXiv},
eprint = {1001.5019},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1001-5019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1006-3709,
author = {Roland Axelsson and
Matthew Hague and
Stephan Kreutzer and
Martin Lange and
Markus Latte},
title = {Extended Computation Tree Logic},
journal = {CoRR},
volume = {abs/1006.3709},
year = {2010},
url = {http://arxiv.org/abs/1006.3709},
eprinttype = {arXiv},
eprint = {1006.3709},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1006-3709.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asl/GroheK09,
author = {Martin Grohe and
Stephan Kreutzer},
editor = {Martin Grohe and
Johann A. Makowsky},
title = {Methods for Algorithmic Meta Theorems},
booktitle = {Model Theoretic Methods in Finite Combinatorics - {AMS-ASL} Joint
Special Session, Washington, DC, USA, January 5-8, 2009},
series = {Contemporary Mathematics},
volume = {558},
pages = {181--206},
publisher = {American Mathematical Society},
year = {2009},
timestamp = {Tue, 03 Nov 2020 16:34:28 +0100},
biburl = {https://dblp.org/rec/conf/asl/GroheK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/HaaseKOW09,
author = {Christoph Haase and
Stephan Kreutzer and
Jo{\"{e}}l Ouaknine and
James Worrell},
editor = {Mario Bravetti and
Gianluigi Zavattaro},
title = {Reachability in Succinct and Parametric One-Counter Automata},
booktitle = {{CONCUR} 2009 - Concurrency Theory, 20th International Conference,
{CONCUR} 2009, Bologna, Italy, September 1-4, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5710},
pages = {369--383},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04081-8\_25},
doi = {10.1007/978-3-642-04081-8\_25},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/HaaseKOW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Kreutzer09,
author = {Stephan Kreutzer},
editor = {Erich Gr{\"{a}}del and
Reinhard Kahle},
title = {On the Parameterised Intractability of Monadic Second-Order Logic},
booktitle = {Computer Science Logic, 23rd international Workshop, {CSL} 2009, 18th
Annual Conference of the EACSL, Coimbra, Portugal, September 7-11,
2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5771},
pages = {348--363},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04027-6\_26},
doi = {10.1007/978-3-642-04027-6\_26},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/Kreutzer09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fics/KreutzerL09,
author = {Stephan Kreutzer and
Martin Lange},
editor = {Ralph Matthes and
Tarmo Uustalu},
title = {A Note on the Relation between Inflationary Fixpoints and Least Fixpoints
of Higher Order},
booktitle = {6th Workshop on Fixed Points in Computer Science, {FICS} 2009, Coimbra,
Portugal, September 12-13, 2009},
pages = {54--60},
publisher = {Institute of Cybernetics},
year = {2009},
url = {http://cs.ioc.ee/fics09/proceedings/contrib7.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fics/KreutzerL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/DawarK09,
author = {Anuj Dawar and
Stephan Kreutzer},
editor = {Ravi Kannan and
K. Narayan Kumar},
title = {Domination Problems in Nowhere-Dense Classes},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2009, December 15-17, 2009,
{IIT} Kanpur, India},
series = {LIPIcs},
volume = {4},
pages = {157--168},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2009},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2009.2315},
doi = {10.4230/LIPICS.FSTTCS.2009.2315},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/DawarK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wg/KreutzerO09,
author = {Stephan Kreutzer and
Sebastian Ordyniak},
editor = {Christophe Paul and
Michel Habib},
title = {Distance \emph{d}-Domination Games},
booktitle = {Graph-Theoretic Concepts in Computer Science, 35th International Workshop,
{WG} 2009, Montpellier, France, June 24-26, 2009. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {5911},
pages = {308--319},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-11409-0\_27},
doi = {10.1007/978-3-642-11409-0\_27},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/wg/KreutzerO09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0902-3616,
author = {Stephan Kreutzer},
title = {Algorithmic Meta-Theorems},
journal = {CoRR},
volume = {abs/0902.3616},
year = {2009},
url = {http://arxiv.org/abs/0902.3616},
eprinttype = {arXiv},
eprint = {0902.3616},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0902-3616.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0904-1302,
author = {Stephan Kreutzer},
title = {On the Parameterised Intractability of Monadic Second-Order Logic},
journal = {CoRR},
volume = {abs/0904.1302},
year = {2009},
url = {http://arxiv.org/abs/0904.1302},
eprinttype = {arXiv},
eprint = {0904.1302},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0904-1302.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0907-3076,
author = {Stephan Kreutzer and
Siamak Tazari},
title = {On Brambles, Grid-Like Minors, and Parameterized Intractability of
Monadic Second-Order Logic},
journal = {CoRR},
volume = {abs/0907.3076},
year = {2009},
url = {http://arxiv.org/abs/0907.3076},
eprinttype = {arXiv},
eprint = {0907.3076},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0907-3076.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0907-4283,
author = {Anuj Dawar and
Stephan Kreutzer},
title = {Domination Problems in Nowhere-Dense Classes of Graphs},
journal = {CoRR},
volume = {abs/0907.4283},
year = {2009},
url = {http://arxiv.org/abs/0907.4283},
eprinttype = {arXiv},
eprint = {0907.4283},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0907-4283.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/Kreutzer09,
author = {Stephan Kreutzer},
title = {Algorithmic Meta-Theorems},
journal = {Electron. Colloquium Comput. Complex.},
volume = {{TR09-147}},
year = {2009},
url = {https://eccc.weizmann.ac.il/report/2009/147},
eprinttype = {ECCC},
eprint = {TR09-147},
timestamp = {Tue, 27 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eccc/Kreutzer09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/KreutzerD09,
author = {Stephan Kreutzer and
Anuj Dawar},
title = {Parameterized Complexity of First-Order Logic},
journal = {Electron. Colloquium Comput. Complex.},
volume = {{TR09-131}},
year = {2009},
url = {https://eccc.weizmann.ac.il/report/2009/131},
eprinttype = {ECCC},
eprint = {TR09-131},
timestamp = {Tue, 27 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eccc/KreutzerD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HunterK08,
author = {Paul Hunter and
Stephan Kreutzer},
title = {Digraph measures: Kelly decompositions, games, and orderings},
journal = {Theor. Comput. Sci.},
volume = {399},
number = {3},
pages = {206--219},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.02.038},
doi = {10.1016/J.TCS.2008.02.038},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/HunterK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/KreutzerL08,
author = {Stephan Kreutzer and
Martin Lange},
editor = {J{\"{o}}rg Flum and
Erich Gr{\"{a}}del and
Thomas Wilke},
title = {Non-regular fixed-point logics and games},
booktitle = {Logic and Automata: History and Perspectives [in Honor of Wolfgang
Thomas]},
series = {Texts in Logic and Games},
volume = {2},
pages = {423--456},
publisher = {Amsterdam University Press},
year = {2008},
timestamp = {Tue, 09 Jan 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/KreutzerL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/DawarK08,
author = {Anuj Dawar and
Stephan Kreutzer},
editor = {Luca Aceto and
Ivan Damg{\aa}rd and
Leslie Ann Goldberg and
Magn{\'{u}}s M. Halld{\'{o}}rsson and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Igor Walukiewicz},
title = {On Datalog vs. {LFP}},
booktitle = {Automata, Languages and Programming, 35th International Colloquium,
{ICALP} 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part
{II} - Track {B:} Logic, Semantics, and Theory of Programming {\&}
Track {C:} Security and Cryptography Foundations},
series = {Lecture Notes in Computer Science},
volume = {5126},
pages = {160--171},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70583-3\_14},
doi = {10.1007/978-3-540-70583-3\_14},
timestamp = {Fri, 27 Mar 2020 09:02:59 +0100},
biburl = {https://dblp.org/rec/conf/icalp/DawarK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwpec/Kreutzer08,
author = {Stephan Kreutzer},
editor = {Martin Grohe and
Rolf Niedermeier},
title = {Algorithmic Meta-theorems},
booktitle = {Parameterized and Exact Computation, Third International Workshop,
{IWPEC} 2008, Victoria, Canada, May 14-16, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5018},
pages = {10--12},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-79723-4\_3},
doi = {10.1007/978-3-540-79723-4\_3},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/iwpec/Kreutzer08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soda/AdlerGK08,
author = {Isolde Adler and
Martin Grohe and
Stephan Kreutzer},
editor = {Shang{-}Hua Teng},
title = {Computing excluded minors},
booktitle = {Proceedings of the Nineteenth Annual {ACM-SIAM} Symposium on Discrete
Algorithms, {SODA} 2008, San Francisco, California, USA, January 20-22,
2008},
pages = {641--650},
publisher = {{SIAM}},
year = {2008},
url = {http://dl.acm.org/citation.cfm?id=1347082.1347153},
timestamp = {Fri, 07 Dec 2012 17:02:08 +0100},
biburl = {https://dblp.org/rec/conf/soda/AdlerGK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wg/KreutzerO08,
author = {Stephan Kreutzer and
Sebastian Ordyniak},
editor = {Hajo Broersma and
Thomas Erlebach and
Tom Friedetzky and
Dani{\"{e}}l Paulusma},
title = {Digraph Decompositions and Monotonicity in Digraph Searching},
booktitle = {Graph-Theoretic Concepts in Computer Science, 34th International Workshop,
{WG} 2008, Durham, UK, June 30 - July 2, 2008. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {5344},
pages = {336--347},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-92248-3\_30},
doi = {10.1007/978-3-540-92248-3\_30},
timestamp = {Sun, 25 Oct 2020 23:07:56 +0100},
biburl = {https://dblp.org/rec/conf/wg/KreutzerO08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0802-2228,
author = {Stephan Kreutzer and
Sebastian Ordyniak},
title = {Digraph Decompositions and Monotonicity in Digraph Searching},
journal = {CoRR},
volume = {abs/0802.2228},
year = {2008},
url = {http://arxiv.org/abs/0802.2228},
eprinttype = {arXiv},
eprint = {0802.2228},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0802-2228.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DawarK07,
author = {Anuj Dawar and
Stephan Kreutzer},
title = {Generalising automaticity to modal properties of finite structures},
journal = {Theor. Comput. Sci.},
volume = {379},
number = {1-2},
pages = {266--285},
year = {2007},
url = {https://doi.org/10.1016/j.tcs.2007.03.048},
doi = {10.1016/J.TCS.2007.03.048},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DawarK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/KreutzerOS07,
author = {Stephan Kreutzer and
Martin Otto and
Nicole Schweikardt},
editor = {Lars Arge and
Christian Cachin and
Tomasz Jurdzinski and
Andrzej Tarlecki},
title = {Boundedness of Monadic {FO} over Acyclic Structures},
booktitle = {Automata, Languages and Programming, 34th International Colloquium,
{ICALP} 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4596},
pages = {571--582},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73420-8\_50},
doi = {10.1007/978-3-540-73420-8\_50},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/KreutzerOS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/DawarGKS07,
author = {Anuj Dawar and
Martin Grohe and
Stephan Kreutzer and
Nicole Schweikardt},
editor = {Lars Arge and
Christian Cachin and
Tomasz Jurdzinski and
Andrzej Tarlecki},
title = {Model Theory Makes Formulas Large},
booktitle = {Automata, Languages and Programming, 34th International Colloquium,
{ICALP} 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4596},
pages = {913--924},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73420-8\_78},
doi = {10.1007/978-3-540-73420-8\_78},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/DawarGKS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/DawarGK07,
author = {Anuj Dawar and
Martin Grohe and
Stephan Kreutzer},
title = {Locally Excluding a Minor},
booktitle = {22nd {IEEE} Symposium on Logic in Computer Science {(LICS} 2007),
10-12 July 2007, Wroclaw, Poland, Proceedings},
pages = {270--279},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/LICS.2007.31},
doi = {10.1109/LICS.2007.31},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/DawarGK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soda/HunterK07,
author = {Paul Hunter and
Stephan Kreutzer},
editor = {Nikhil Bansal and
Kirk Pruhs and
Clifford Stein},
title = {Digraph measures: Kelly decompositions, games, and orderings},
booktitle = {Proceedings of the Eighteenth Annual {ACM-SIAM} Symposium on Discrete
Algorithms, {SODA} 2007, New Orleans, Louisiana, USA, January 7-9,
2007},
pages = {637--644},
publisher = {{SIAM}},
year = {2007},
url = {http://dl.acm.org/citation.cfm?id=1283383.1283452},
timestamp = {Tue, 15 Feb 2022 07:54:27 +0100},
biburl = {https://dblp.org/rec/conf/soda/HunterK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DawarGK06,
author = {Anuj Dawar and
Erich Gr{\"{a}}del and
Stephan Kreutzer},
title = {Backtracking games and inflationary fixed points},
journal = {Theor. Comput. Sci.},
volume = {350},
number = {2-3},
pages = {174--187},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2005.10.030},
doi = {10.1016/J.TCS.2005.10.030},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DawarGK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/DawarGKS06,
author = {Anuj Dawar and
Martin Grohe and
Stephan Kreutzer and
Nicole Schweikardt},
title = {Approximation Schemes for First-Order Definable Optimisation Problems},
booktitle = {21th {IEEE} Symposium on Logic in Computer Science {(LICS} 2006),
12-15 August 2006, Seattle, WA, USA, Proceedings},
pages = {411--420},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/LICS.2006.13},
doi = {10.1109/LICS.2006.13},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/DawarGKS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/BerwangerDHK06,
author = {Dietmar Berwanger and
Anuj Dawar and
Paul Hunter and
Stephan Kreutzer},
editor = {Bruno Durand and
Wolfgang Thomas},
title = {DAG-Width and Parity Games},
booktitle = {{STACS} 2006, 23rd Annual Symposium on Theoretical Aspects of Computer
Science, Marseille, France, February 23-25, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3884},
pages = {524--536},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11672142\_43},
doi = {10.1007/11672142\_43},
timestamp = {Wed, 19 May 2021 12:05:43 +0200},
biburl = {https://dblp.org/rec/conf/stacs/BerwangerDHK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BluemnsathK05,
author = {Achim Blumensath and
Stephan Kreutzer},
title = {An Extension of Muchnik's Theorem},
journal = {J. Log. Comput.},
volume = {15},
number = {1},
pages = {59--74},
year = {2005},
url = {https://doi.org/10.1093/logcom/exh037},
doi = {10.1093/LOGCOM/EXH037},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BluemnsathK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/BradfieldK05,
author = {Julian C. Bradfield and
Stephan Kreutzer},
editor = {C.{-}H. Luke Ong},
title = {The Complexity of Independence-Friendly Fixpoint Logic},
booktitle = {Computer Science Logic, 19th International Workshop, {CSL} 2005, 14th
Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3634},
pages = {355--368},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11538363\_25},
doi = {10.1007/11538363\_25},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/BradfieldK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/GroheKS05,
author = {Martin Grohe and
Stephan Kreutzer and
Nicole Schweikardt},
editor = {Joanna Jedrzejowicz and
Andrzej Szepietowski},
title = {The Expressive Power of Two-Variable Least Fixed-Point Logics},
booktitle = {Mathematical Foundations of Computer Science 2005, 30th International
Symposium, {MFCS} 2005, Gdansk, Poland, August 29 - September 2, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3618},
pages = {422--434},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11549345\_37},
doi = {10.1007/11549345\_37},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/GroheKS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Kreutzer04,
author = {Stephan Kreutzer},
title = {Expressive equivalence of least and inflationary fixed-point logic},
journal = {Ann. Pure Appl. Log.},
volume = {130},
number = {1-3},
pages = {61--78},
year = {2004},
url = {https://doi.org/10.1016/j.apal.2004.02.001},
doi = {10.1016/J.APAL.2004.02.001},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Kreutzer04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/it/KreutzerS04,
author = {Stephan Kreutzer and
Nicole Schweikardt},
title = {Logik und Informatik},
journal = {it Inf. Technol.},
volume = {46},
number = {3},
pages = {162--166},
year = {2004},
url = {http://www.extenza-eps.com/extenza/loadHTML?objectIDValue=34218\&\#38;type=abstract},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/it/KreutzerS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/DawarGK04,
author = {Anuj Dawar and
Erich Gr{\"{a}}del and
Stephan Kreutzer},
title = {Inflationary fixed points in modal logic},
journal = {{ACM} Trans. Comput. Log.},
volume = {5},
number = {2},
pages = {282--315},
year = {2004},
url = {https://doi.org/10.1145/976706.976710},
doi = {10.1145/976706.976710},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/DawarGK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/DawarGK04,
author = {Anuj Dawar and
Erich Gr{\"{a}}del and
Stephan Kreutzer},
editor = {Josep D{\'{\i}}az and
Juhani Karhum{\"{a}}ki and
Arto Lepist{\"{o}} and
Donald Sannella},
title = {Backtracking Games and Inflationary Fixed Points},
booktitle = {Automata, Languages and Programming: 31st International Colloquium,
{ICALP} 2004, Turku, Finland, July 12-16, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3142},
pages = {420--432},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27836-8\_37},
doi = {10.1007/978-3-540-27836-8\_37},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/DawarGK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/GradelK03,
author = {Erich Gr{\"{a}}del and
Stephan Kreutzer},
title = {Will Deflation Lead to Depletion? On Non-Monotone Fixed Point Inductions},
booktitle = {18th {IEEE} Symposium on Logic in Computer Science {(LICS} 2003),
22-25 June 2003, Ottawa, Canada, Proceedings},
pages = {158},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/LICS.2003.1210055},
doi = {10.1109/LICS.2003.1210055},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/GradelK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BerwangerGK03,
author = {Dietmar Berwanger and
Erich Gr{\"{a}}del and
Stephan Kreutzer},
editor = {Moshe Y. Vardi and
Andrei Voronkov},
title = {Once upon a Time in a West - Determinacy, Definability, and Complexity
of Path Games},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 10th
International Conference, {LPAR} 2003, Almaty, Kazakhstan, September
22-26, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2850},
pages = {229--243},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39813-4\_16},
doi = {10.1007/978-3-540-39813-4\_16},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BerwangerGK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:books/daglib/0009855,
author = {Stephan Kreutzer},
title = {Pure and applied fixed-point logics},
school = {{RWTH} Aachen University, Germany},
year = {2002},
url = {http://www.comlab.ox.ac.uk/stephan.kreutzer/Publications/diss.pdf},
urn = {urn:nbn:de:hbz:82-opus-7222},
timestamp = {Tue, 18 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/daglib/0009855.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Kreutzer02,
author = {Stephan Kreutzer},
editor = {Julian C. Bradfield},
title = {Partial Fixed-Point Logic on Infinite Structures},
booktitle = {Computer Science Logic, 16th International Workshop, {CSL} 2002, 11th
Annual Conference of the EACSL, Edinburgh, Scotland, UK, September
22-25, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2471},
pages = {337--351},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45793-3\_23},
doi = {10.1007/3-540-45793-3\_23},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/Kreutzer02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/DawarK02,
author = {Anuj Dawar and
Stephan Kreutzer},
editor = {Manindra Agrawal and
Anil Seth},
title = {Generalising Automaticity to Modal Properties of Finite Structures},
booktitle = {{FST} {TCS} 2002: Foundations of Software Technology and Theoretical
Computer Science, 22nd Conference Kanpur, India, December 12-14, 2002,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2556},
pages = {109--120},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36206-1\_11},
doi = {10.1007/3-540-36206-1\_11},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/DawarK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Kreutzer02,
author = {Stephan Kreutzer},
title = {Expressive Equivalence of Least and Inflationary Fixed-Point Logic},
booktitle = {17th {IEEE} Symposium on Logic in Computer Science {(LICS} 2002),
22-25 July 2002, Copenhagen, Denmark, Proceedings},
pages = {403},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/LICS.2002.1029848},
doi = {10.1109/LICS.2002.1029848},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Kreutzer02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/gi/Kreutzer02,
author = {Stephan Kreutzer},
editor = {Heinz Beilner and
Herbert Fiedler and
Markus Gross and
Oliver G{\"{u}}nther and
Steffen H{\"{o}}lldobler and
G{\"{u}}nter Hotz and
Klaus{-}Peter L{\"{o}}hr and
R{\"{u}}diger Reischuk and
Dorothea Wagner},
title = {Pure and applied fixed-point logics},
booktitle = {Ausgezeichnete Informatikdissertationen 2002},
series = {{LNI}},
volume = {{D-3}},
pages = {59--68},
publisher = {{GI}},
year = {2002},
url = {https://dl.gi.de/handle/20.500.12116/4467},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gi/Kreutzer02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/DawarGK01,
author = {Anuj Dawar and
Erich Gr{\"{a}}del and
Stephan Kreutzer},
editor = {Laurent Fribourg},
title = {Inflationary Fixed Points in Modal Logic},
booktitle = {Computer Science Logic, 15th International Workshop, {CSL} 2001. 10th
Annual Conference of the EACSL, Paris, France, September 10-13, 2001,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2142},
pages = {277--291},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44802-0\_20},
doi = {10.1007/3-540-44802-0\_20},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/DawarGK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/Kreutzer01,
author = {Stephan Kreutzer},
editor = {Jan Van den Bussche and
Victor Vianu},
title = {Query Languages for Constraint Databases: First-Order Logic, Fixed-Points,
and Convex Hulls},
booktitle = {Database Theory - {ICDT} 2001, 8th International Conference, London,
UK, January 4-6, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1973},
pages = {248--262},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44503-X\_17},
doi = {10.1007/3-540-44503-X\_17},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/icdt/Kreutzer01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Kreutzer01,
author = {Stephan Kreutzer},
editor = {Robert Nieuwenhuis and
Andrei Voronkov},
title = {Operational Semantics for Fixed-Point Logics on Constraint Databases},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 8th
International Conference, {LPAR} 2001, Havana, Cuba, December 3-7,
2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2250},
pages = {470--484},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45653-8\_32},
doi = {10.1007/3-540-45653-8\_32},
timestamp = {Sun, 02 Oct 2022 16:11:18 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Kreutzer01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/Kreutzer00,
author = {Stephan Kreutzer},
editor = {Victor Vianu and
Georg Gottlob},
title = {Fixed-Point Query Languages for Linear Constraint Databases},
booktitle = {Proceedings of the Nineteenth {ACM} {SIGMOD-SIGACT-SIGART} Symposium
on Principles of Database Systems, May 15-17, 2000, Dallas, Texas,
{USA}},
pages = {116--125},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/335168.335214},
doi = {10.1145/335168.335214},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/Kreutzer00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/GradelK99,
author = {Erich Gr{\"{a}}del and
Stephan Kreutzer},
editor = {J{\"{o}}rg Flum and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {Descriptive Complexity Theory for Constraint Databases},
booktitle = {Computer Science Logic, 13th International Workshop, {CSL} '99, 8th
Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1683},
pages = {67--81},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48168-0\_6},
doi = {10.1007/3-540-48168-0\_6},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/GradelK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:58 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
