Stephan Kreutzer

	2009
37		Christoph Haase, Stephan Kreutzer, Joël Ouaknine, James Worrell: Reachability in Succinct and Parametric One-Counter Automata. CONCUR 2009: 369-383
36		Stephan Kreutzer: On the Parameterised Intractability of Monadic Second-Order Logic. CSL 2009: 348-363
35		Stephan Kreutzer: Algorithmic Meta-Theorems CoRR abs/0902.3616: (2009)
34		Stephan Kreutzer: On the Parameterised Intractability of Monadic Second-Order Logic CoRR abs/0904.1302: (2009)
33		Stephan Kreutzer, Siamak Tazari: On Brambles, Grid-Like Minors, and Parameterized Intractability of Monadic Second-Order Logic CoRR abs/0907.3076: (2009)
32		Anuj Dawar, Stephan Kreutzer: Domination Problems in Nowhere-Dense Classes of Graphs CoRR abs/0907.4283: (2009)
	2008
31		Anuj Dawar, Stephan Kreutzer: On Datalog vs. LFP. ICALP (2) 2008: 160-171
30		Stephan Kreutzer: Algorithmic Meta-theorems. IWPEC 2008: 10-12
29		Isolde Adler, Martin Grohe, Stephan Kreutzer: Computing excluded minors. SODA 2008: 641-650
28		Stephan Kreutzer, Sebastian Ordyniak: Digraph Decompositions and Monotonicity in Digraph Searching. WG 2008: 336-347
27		Stephan Kreutzer, Sebastian Ordyniak: Digraph Decompositions and Monotonicity in Digraph Searching CoRR abs/0802.2228: (2008)
26		Paul Hunter, Stephan Kreutzer: Digraph measures: Kelly decompositions, games, and orderings. Theor. Comput. Sci. 399(3): 206-219 (2008)
	2007
25		Stephan Kreutzer, Martin Otto, Nicole Schweikardt: Boundedness of Monadic FO over Acyclic Structures. ICALP 2007: 571-582
24		Anuj Dawar, Martin Grohe, Stephan Kreutzer, Nicole Schweikardt: Model Theory Makes Formulas Large. ICALP 2007: 913-924
23		Anuj Dawar, Martin Grohe, Stephan Kreutzer: Locally Excluding a Minor. LICS 2007: 270-279
22		Paul Hunter, Stephan Kreutzer: Digraph measures: Kelly decompositions, games, and orderings. SODA 2007: 637-644
21		Anuj Dawar, Stephan Kreutzer: Generalising automaticity to modal properties of finite structures. Theor. Comput. Sci. 379(1-2): 266-285 (2007)
	2006
20		Anuj Dawar, Martin Grohe, Stephan Kreutzer, Nicole Schweikardt: Approximation Schemes for First-Order Definable Optimisation Problems. LICS 2006: 411-420
19		Dietmar Berwanger, Anuj Dawar, Paul Hunter, Stephan Kreutzer: DAG-Width and Parity Games. STACS 2006: 524-536
18		Anuj Dawar, Erich Grädel, Stephan Kreutzer: Backtracking games and inflationary fixed points. Theor. Comput. Sci. 350(2-3): 174-187 (2006)
	2005
17		Julian C. Bradfield, Stephan Kreutzer: The Complexity of Independence-Friendly Fixpoint Logic. CSL 2005: 355-368
16		Martin Grohe, Stephan Kreutzer, Nicole Schweikardt: The Expressive Power of Two-Variable Least Fixed-Point Logics. MFCS 2005: 422-434
15		Achim Bluemnsath, Stephan Kreutzer: An Extension of Muchnik's Theorem. J. Log. Comput. 15(1): 59-74 (2005)
	2004
14		Anuj Dawar, Erich Grädel, Stephan Kreutzer: Backtracking Games and Inflationary Fixed Points. ICALP 2004: 420-432
13		Anuj Dawar, Erich Grädel, Stephan Kreutzer: Inflationary fixed points in modal logic. ACM Trans. Comput. Log. 5(2): 282-315 (2004)
12		Stephan Kreutzer: Expressive equivalence of least and inflationary fixed-point logic. Ann. Pure Appl. Logic 130(1-3): 61-78 (2004)
11		Stephan Kreutzer, Nicole Schweikardt: Logik und Informatik. it - Information Technology 46(3): 162-166 (2004)
	2003
10		Erich Grädel, Stephan Kreutzer: Will Deflation Lead to Depletion? On Non-Monotone Fixed Point Inductions. LICS 2003: 158-
9		Dietmar Berwanger, Erich Grädel, Stephan Kreutzer: Once upon a Time in a West - Determinacy, Definability, and Complexity of Path Games. LPAR 2003: 229-243
	2002
8		Stephan Kreutzer: Partial Fixed-Point Logic on Infinite Structures. CSL 2002: 337-351
7		Anuj Dawar, Stephan Kreutzer: Generalising Automaticity to Modal Properties of Finite Structures. FSTTCS 2002: 109-120
6		Stephan Kreutzer: Expressive Equivalence of Least and Inflationary Fixed-Point Logic. LICS 2002: 403-
	2001
5		Anuj Dawar, Erich Grädel, Stephan Kreutzer: Inflationary Fixed Points in Modal Logic. CSL 2001: 277-291
4		Stephan Kreutzer: Query Languages for Constraint Databases: First-Order Logic, Fixed-Points, and Convex Hulls. ICDT 2001: 248-262
3		Stephan Kreutzer: Operational Semantics for Fixed-Point Logics on Constraint Databases. LPAR 2001: 470-484
	2000
2		Stephan Kreutzer: Fixed-Point Query Languages for Linear Constraint Databases. PODS 2000: 116-125
	1999
1		Erich Grädel, Stephan Kreutzer: Descriptive Complexity Theory for Constraint Databases. CSL 1999: 67-81

Coauthor Index

1	Isolde Adler	[29]
2	Dietmar Berwanger	[9] [19]
3	Achim Bluemnsath	[15]
4	Julian C. Bradfield	[17]
5	Anuj Dawar	[5] [7] [13] [14] [18] [19] [20] [21] [23] [24] [31] [32]
6	Erich Grädel	[1] [5] [9] [10] [13] [14] [18]
7	Martin Grohe	[16] [20] [23] [24] [29]
8	Christoph Haase	[37]
9	Paul Hunter	[19] [22] [26]
10	Sebastian Ordyniak	[27] [28]
11	Martin Otto	[25]
12	Joël Ouaknine	[37]
13	Nicole Schweikardt	[11] [16] [20] [24] [25]
14	Siamak Tazari	[33]
15	James Worrell	[37]

Colors in the list of coauthors