| 2020 | STACS | Observation and Distinction. Representing Information in Infinite Games. | Dietmar Berwanger, Laurent Doyen |
| 2015 | ATVA | Hierarchical Information Patterns and Distributed Strategy Synthesis. | Dietmar Berwanger, Anup Basil Mathew, Marie van den Bogaard |
| 2015 | DLT | Consensus Game Acceptors. | Dietmar Berwanger, Marie van den Bogaard |
| 2012 | MFCS | Solving Counter Parity Games. | Dietmar Berwanger, Lukasz Kaiser, Simon Leenich |
| 2009 | TACAS | Alpaga: A Tool for Solving Parity Games with Imperfect Information. | Dietmar Berwanger, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, Thomas A. Henzinger |
| 2008 | CONCUR | Strategy Construction for Parity Games with Imperfect Information. | Dietmar Berwanger, Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Sangram Raje |
| 2007 | STACS | Admissibility in Infinite Games. | Dietmar Berwanger |
| 2006 | STACS | DAG-Width and Parity Games. | Dietmar Berwanger, Anuj Dawar, Paul Hunter, Stephan Kreutzer |
| 2005 | STACS | The Variable Hierarchy of the -Calculus Is Strict. | Dietmar Berwanger, Giacomo Lenzi |
| 2004 | LPAR | Entanglement - A Measure for the Complexity of Directed Graphs with Applications to Logic and Games. | Dietmar Berwanger, Erich Grdel |
| 2003 | LPAR | Once upon a Time in a West - Determinacy, Definability, and Complexity of Path Games. | Dietmar Berwanger, Erich Grdel, Stephan Kreutzer |
| 2002 | CSL | On the Variable Hierarchy of the Modal µ-Calculus. | Dietmar Berwanger, Erich Grdel, Giacomo Lenzi |
| 2001 | LPAR | Games and Model Checking for Guarded Logics. | Dietmar Berwanger, Erich Grdel |