 | 2009 |
|---|
| 18 |       | Dietmar Berwanger,
Sophie Pinchinat:
Game Quantification Patterns.
ICLA 2009: 116-130 |
| 17 | | 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 |
| 16 | | 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 |
|---|
| 15 | | Dietmar Berwanger,
Krishnendu Chatterjee,
Laurent Doyen,
Thomas A. Henzinger,
Sangram Raje:
Strategy Construction for Parity Games with Imperfect Information.
CONCUR 2008: 325-339 |
| 14 | | Dietmar Berwanger,
Laurent Doyen:
On the Power of Imperfect Information.
FSTTCS 2008 |
| 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 |
