@inproceedings{KreutzerTaz10,
title = "On Brambles, Grid-Like Minors, and Parameterized Intractability of Monadic Second-Order Logic",
author = "Stephan Kreutzer and Siamak Tazari",
year = "2010",
booktitle = "Symposium on Discrete Algorithms (SODA)",
url = "http://web.comlab.ox.ac.uk/people/Stephan.Kreutzer/Publications/10-soda.pdf",
}
@inproceedings{DawarKre09,
title = "Domination Problems in Nowhere-Dense Classes of Graphs,",
author = "Anuj Dawar and Stephan Kreutzer",
year = "2009",
booktitle = "Foundations of Software Technology and Theoretical Computer Science (FSTTCS)",
url = "http://web.comlab.ox.ac.uk/people/Stephan.Kreutzer/Publications/09-fsttcs.pdf",
}
@article{KreutzerOrd09,
title = "Distance-d-Domination Games",
author = "Stephan Kreutzer and Sebastian Ordyniak",
year = "2009",
journal = "34th International Workshop on Graph-Theoretic Concepts in Computer Science (WG)",
url = "http://web.comlab.ox.ac.uk/people/Stephan.Kreutzer/Publications/09-wg-final.pdf",
}
@inproceedings{Kreutzer09,
title = "On the Parameterised Intractability of Monadic Second-Order Logic",
author = "Stephan Kreutzer",
year = "2009",
booktitle = "Computer Science Logic (CSL)",
journal = "Computer Science Logic (CSL)",
url = "http://web.comlab.ox.ac.uk/people/Stephan.Kreutzer/Publications/csl09.pdf",
}
@inproceedings{HKOW-09concur,
title = "Reachability in Succinct and Parametric One-Counter Automata",
author = "Christoph Haase and Stephan Kreutzer and Joel Ouaknine and James Worrell",
year = "2009",
booktitle = "Proceedings of the 20th International Conference on Concurrency Theory ({CONCUR'09})",
copyright = "Springer-Verlag",
editor = "M. Bravetti and G. Zavattaro",
location = "Bologna, Italy",
month = "September",
pages = "369--383",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
volume = "5710",
doi = "10.1007/978-3-642-04081-8_25",
}
@inproceedings{Kreutzer08,
title = "Algorithmic Meta-Theorems",
author = "Stephan Kreutzer",
year = "2008",
booktitle = "International Workshop on Exact and Parameterized Computation (IWPEC)",
url = "http://web.comlab.ox.ac.uk/people/Stephan.Kreutzer/Publications/amt-survey.pdf",
}
@inproceedings{KreutzerOrdyniak08,
title = "Digraph Decompositions and Monotonocity in Digraph Searching",
author = "Stephan Kreutzer and Sebastian Ordyniak",
year = "2008",
booktitle = "34th International Workshop on Graph-Theoretic Concepts in Computer Science (WG)",
journal = "34th International Workshop on Graph-Theoretic Concepts in Computer Science (WG)",
url = "http://web.comlab.ox.ac.uk/people/Stephan.Kreutzer/Publications/08-wg-final.pdf",
}
@inproceedings{DKreutzer08,
title = "On Datalog vs. LFP",
author = "Anuj Dawar and Stephan Kreutzer",
year = "2008",
booktitle = "35th International Colloquium on Automata, Languages and Programming (ICALP)",
journal = "35th International Colloquium on Automata, Languages and Programming (ICALP)",
url = "http://www.comlab.ox.ac.uk/people/stephan.kreutzer/Publications/08-icalp.pdf",
}
@unpublished{arXiv:0802.2228v1,
title = "Digraph Decompositions and Monotonocity in Digraph Searching",
author = "Stephan Kreutzer and Sebastian Ordyniak",
year = "2008",
note = "Preprint. Slightly revised version of arXiv.org (no arXiv:0802.2228v1)",
url = "http://web.comlab.ox.ac.uk/oucl/work/stephan.kreutzer/Publications/08-digraph-searching-preprint.pdf",
}
@article{HunterKre07,
title = "Digraph Measures: Kelly Decompositions, Games, and Orderings",
author = "Paul Hunter and Stephan Kreutzer",
year = "2008",
annote = "Special Issue for GRASTA'06",
journal = "Theoretical Computer Science (TCS)",
pages = "206-219",
url = "http://web.comlab.ox.ac.uk/oucl/work/stephan.kreutzer/Publications/07-tcs-kelly.pdf",
volume = "399",
}
@inproceedings{AdlerGroKre08,
title = "Computing Excluded Minors",
author = "Isolde Adler and Martin Grohe and Stephan Kreutzer",
year = "2008",
booktitle = "ACM-SIAM Symposium on Discrete Algorithms (SODA)",
url = "http://web.comlab.ox.ac.uk/oucl/work/stephan.kreutzer/Publications/08-soda.pdf",
}
@inproceedings{HunterKre07,
title = "Digraph Measures: Kelly Decompositions, Games, and Orderings",
author = "Paul Hunter and Stephan Kreutzer",
year = "2007",
booktitle = "ACM-SIAM Symposium on Discrete Algorithms (SODA)",
}
@article{DawarKre04,
title = "Generalising Automaticity to Model Properties of Finite Structures",
author = "Anuj Dawar and Stephan Kreutzer",
year = "2007",
journal = "Theoretical Computer Science",
number = "1-2",
pages = "266 -- 285",
volume = "379",
}
@inproceedings{DawarGroKreSch07,
title = "Model theory makes formulas large",
author = "Anuj Dawar and Martin Grohe and Stephan Kreutzer and Nicole Schweikardt",
year = "2007",
booktitle = "International Colloquium on Automata, Languages and Programming (ICALP)",
pages = "913-924",
series = "Lecture Notes in Computer Science",
volume = "4596",
}
@inproceedings{DawarGroKre07,
title = "Locally Excluding a Minor",
author = "Anuj Dawar and Martin Grohe and Stephan Kreutzer",
year = "2007",
booktitle = "Logic in Computer Science (LICS)",
pages = "270-279",
url = "http://web.comlab.ox.ac.uk/oucl/work/stephan.kreutzer/Publications/lics07.pdf",
}
@inproceedings{BradfieldKre07,
title = "The Complexity of Independence-Friendly Fixpoint Logic",
author = "Julian Bradfield and Stephan Kreutzer",
year = "2007",
booktitle = "Foundations of the Formal Sciences V - Infinite Games (FotFS V)",
publisher = "College Publications, London, 2007",
series = "Studies in Logic",
volume = "11",
}
@article{DawarGraKre06,
title = "Backtracking Games and Inflationary Fixed Points",
author = "Anuj Dawar and Erich Gr{\"a}del and Stephan Kreutzer",
year = "2006",
journal = "Theoretical Computer Science",
note = "ICALP 2004 Selected Paper issue",
number = "2-3",
pages = "171 -- 187",
volume = "350",
}
@inproceedings{BerwangerDawHunKre06,
title = "DAG-Width and Parity Games",
author = "Dietmar Berwanger and Anuj Dawar and Paul Hunter and Stephan Kreutzer",
year = "2006",
booktitle = "Symposium on Theoretical Aspects of Computer Science (STACS)",
url = "http://web.comlab.ox.ac.uk/oucl/work/paul.hunter/papers/dagwidth_stacs06.pdf",
}
@inproceedings{DawarGroKreSch07,
title = "Approximation Schemes for First-Order Definable Optimisation Problems",
author = "Stephan Kreutzer Nicole Schweikardt Anuj Dawar and Martin Grohe",
year = "2006",
booktitle = "Logic in Computer Science (LICS)",
pages = "411-420",
}
@inproceedings{GroheKreSch05,
title = "The Expressive Power of Two-Variable Least Fixed-Point Logics",
author = "M. Grohe and S. Kreutzer and N. Schweikardt",
year = "2005",
booktitle = "Symposium on Mathematical Foundations of Computer Science (MFCS)",
pages = "422 -- 434",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
url = "http://web.comlab.ox.ac.uk/oucl/work/stephan.kreutzer/Publications/05-mfcs.pdf",
}
@inproceedings{BradfieldKre05,
title = "The Complexity of Independence-Friendly Fixpoint Logic",
author = "Julian Bradfield and Stephan Kreutzer",
year = "2005",
booktitle = "Proceedings of the 14th Annual Conference of the European Association for Computer Science Logic (CSL)",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
volume = "3634",
}
@article{Kreutzer05,
title = "An Extension of Muchnik's Theorem",
author = "Achim Blumensath and Stephan Kreutzer",
year = "2005",
journal = "Journal of Logic and Computation",
number = "1",
pages = "59 -- 74",
volume = "15",
}
@article{KreutzerSch04,
title = "Logik und {I}nformatik",
author = "Stephan Kreutzer and Nicole Schweikardt",
year = "2004",
journal = "it - {I}nformation {T}echnology",
note = "in german",
number = "3",
pages = "162--166",
volume = "46",
}
@article{Kreutzer04,
title = "Expressive Equivalence of Least and Inflationary Fixed-Point Logic",
author = "Stephan Kreutzer",
year = "2004",
journal = "Annals of Pure and Applied Logic",
note = "LICS 2002 Selected Paper Issue",
number = "1-3",
pages = "61--78",
volume = "130",
}
@article{DawarGraKre04,
title = "Inflationary Fixed Points in Modal Logics",
author = "Anuj Dawar and Erich Gr{\"a}del and Stephan Kreutzer",
year = "2004",
journal = "ACM Transactions on Computational Logic (TOCL",
number = "2",
pages = "282 - 315",
volume = "5",
}
@inproceedings{DawarGraKre04,
title = "Backtracking games and inflationary fixed points",
author = "Anuj Dawar and Erich Gr{\"a}del and Stephan Kreutzer",
year = "2004",
booktitle = "31st International Colloquium on Automata, Languages and Programming (ICALP)",
}
@inbook{Kreutzer03,
title = "Pure and Applied Fixed-Point Logics",
author = "Stephan Kreutzer",
year = "2003",
booktitle = "{A}usgezeichnete {I}nformatik {D}issertationen 2003",
editor = "D. Wagner et al.",
note = "in german",
publisher = "German Informatics Society (GI)",
series = "Lecture Notes in Informatics - Dissertations",
volume = "D-3",
}
@inproceedings{GraedelKre03,
title = "Will Deflation Lead to Depletion? On Non-Monotone Fixed-Point Inductions",
author = "E. Gr{\"a}del and S. Kreutzer",
year = "2003",
booktitle = "IEEE Symp. of Logic in Computer Science (LICS)",
}
@inproceedings{BerwangerGraKre03,
title = "Once upon a time in the west -- Determinacy, definability and complexity of path games",
author = "D. Berwanger and E. Gr\"adel and S. Kreutzer",
year = "2003",
booktitle = "Proceedings of the 10th International Conference on Logic for Programming and Automated Reasoning",
editor = "M. Vardi and A. Voronkov",
pages = "226 -- 240",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
volume = "2850",
}
@phdthesis{Kreutzer02c,
title = "Pure and Applied Fixed-Point Logics",
author = "S. Kreutzer",
year = "2002",
school = "Dissertation thesis, RWTH Aachen",
}
@inproceedings{Kreutzer02b,
title = "Partial Fixed-Point Logic on Infinite Structures",
author = "S. Kreutzer",
year = "2002",
booktitle = "Annual Conference of the European Association for Computer Science Logic (CSL)",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
volume = "2471",
}
@inproceedings{Kreutzer02,
title = "Expressive Equivalence of Least and Inflationary Fixed-Point Logic",
author = "S. Kreutzer",
year = "2002",
booktitle = "Proc. of the 17th Symp. on Logic in Computer Science (LICS)",
pages = "403 -- 413",
}
@inproceedings{DawarKre02,
title = "Generalising Automaticity to Modal Properties of Finite Structures",
author = "A. Dawar and S. Kreutzer",
year = "2002",
booktitle = "Proc. 22nd Conf. on Foundations of Software Technology and Theoretical Computer Science (FSTTCS)",
pages = "109--120",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
volume = "2556",
}
@inproceedings{Kreutzer01c,
title = "Operational Semantics for Fixed-Point Logics on Constraint Databases",
author = "S. Kreutzer",
year = "2001",
booktitle = "Proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR)",
pages = "470 -- 484",
publisher = "Springer",
series = "Lecture Notes in Artificial Intelligence (LNAI)",
volume = "2250",
}
@inproceedings{Kreutzer01,
title = "Query Languages for Constraint Databases: First-Order Logic, Fixed-Points, and Convex Hulls",
author = "S. Kreutzer",
year = "2001",
booktitle = "Proceedings of the 8th International Conference on Database Theory (ICDT)",
number = "1973",
pages = "248--262",
publisher = "Springer",
series = "#lncs#",
}
@inproceedings{DawarGraKre01,
title = "Inflationary Fixed Points in Modal Logics",
author = "A. Dawar and E. Gr{\"a}del and S. Kreutzer",
year = "2001",
booktitle = "Proc. of the 10th Conf. on Computer Science Logic (CSL)",
pages = "277--291",
publisher = "#springer#",
series = "Lecture Notes in Computer Science",
volume = "2142",
}
@inproceedings{Kreutzer00,
title = "Fixed-point Query Languages for Linear Constraint Databases",
author = "S. Kreutzer",
year = "2000",
booktitle = "Proceedings of the 19th ACM Symp. on Principles of Database Systems (PODS), 2000",
pages = "116--125",
publisher = "ACM press",
}
@mastersthesis{Kreutzer99eng,
title = "Descriptive Complexity Theory for Constraint Databases",
author = "S. Kreutzer",
year = "1999",
publisher = "Diploma thesis, RWTH Aachen",
}
@inproceedings{GraedelKre99,
title = "Descriptive Complexity Theory for Constraint Databases",
author = "E. Gr{\"a}del and S. Kreutzer",
year = "1999",
booktitle = "Computer Science Logic (CSL)",
number = "1683",
pages = "67 -- 82",
publisher = "Springer",
series = "LNCS",
}