Dietmar Berwanger

	2011
22		Dietmar Berwanger, Lukasz Kaiser, Bernd Puchala: A Perfect-Information Construction for Coordination in Games. FSTTCS 2011: 387-398
	2010
21		Dietmar Berwanger, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, Thomas A. Henzinger: Strategy construction for parity games with imperfect information. Inf. Comput. 208(10): 1206-1220 (2010)
20		Dietmar Berwanger, Lukasz Kaiser: Information Tracking in Games on Graphs. Journal of Logic, Language and Information 19(4): 395-412 (2010)
	2009
19		Dietmar Berwanger, Sophie Pinchinat: Game Quantification Patterns. ICLA 2009: 116-130
18		Dietmar Berwanger, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, Thomas A. Henzinger: Alpaga: A Tool for Solving Parity Games with Imperfect Information. TACAS 2009: 58-61
17		Dietmar Berwanger, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, Thomas A. Henzinger: Alpaga: A Tool for Solving Parity Games with Imperfect Information CoRR abs/0901.4728: (2009)
	2008
16		Dietmar Berwanger, Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Sangram Raje: Strategy Construction for Parity Games with Imperfect Information. CONCUR 2008: 325-339
15		Dietmar Berwanger, Laurent Doyen: On the Power of Imperfect Information. FSTTCS 2008: 73-82
14		Dietmar Berwanger: Infinite Coordination Games. LOFT 2008: 1-19
	2007
13		Dietmar Berwanger: Admissibility in Infinite Games. STACS 2007: 188-199
12		Dietmar Berwanger, Erich Grädel, Giacomo Lenzi: The Variable Hierarchy of the µ-Calculus Is Strict. Theory Comput. Syst. 40(4): 437-466 (2007)
	2006
11		Dietmar Berwanger, David Janin: Automata on Directed Graphs: Edge Versus Vertex Marking. ICGT 2006: 46-60
10		Dietmar Berwanger, Anuj Dawar, Paul Hunter, Stephan Kreutzer: DAG-Width and Parity Games. STACS 2006: 524-536
	2005
9		Dietmar Berwanger, Giacomo Lenzi: The Variable Hierarchy of the µ-Calculus Is Strict. STACS 2005: 97-109
	2004
8		Dietmar Berwanger, Erich Grädel: Entanglement - A Measure for the Complexity of Directed Graphs with Applications to Logic and Games. LPAR 2004: 209-223
7		Dietmar Berwanger, Erich Grädel: Fixed-Point Logics and Solitaire Games. Theory Comput. Syst. 37(6): 675-694 (2004)
	2003
6		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
5		Dietmar Berwanger: Game Logic is Strong Enough for Parity Games. Studia Logica 75(2): 205-219 (2003)
	2002
4		Dietmar Berwanger, Erich Grädel, Giacomo Lenzi: On the Variable Hierarchy of the Modal µ-Calculus. CSL 2002: 352-366
	2001
3		Dietmar Berwanger, Achim Blumensath: The Monadic Theory of Tree-like Structures. Automata, Logics, and Infinite Games 2001: 285-302
2		Dietmar Berwanger, Achim Blumensath: Automata for Guarded Fixed Point Logics. Automata, Logics, and Infinite Games 2001: 343-355
1		Dietmar Berwanger, Erich Grädel: Games and Model Checking for Guarded Logics. LPAR 2001: 70-84

Coauthor Index

1	Achim Blumensath	[2] [3]
2	Krishnendu Chatterjee	[16] [17] [18] [21]
3	Anuj Dawar	[10]
4	Laurent Doyen	[15] [16] [17] [18] [21]
5	Erich Grädel	[1] [4] [6] [7] [8] [12]
6	Thomas A. Henzinger	[16] [17] [18] [21]
7	Paul Hunter	[10]
8	David Janin	[11]
9	Lukasz Kaiser	[20] [22]
10	Stephan Kreutzer	[6] [10]
11	Giacomo Lenzi	[4] [9] [12]
12	Sophie Pinchinat	[19]
13	Bernd Puchala	[22]
14	Sangram Raje	[16]
15	Martin De Wulf	[17] [18] [21]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page