Dietmar Berwanger

45 papers A 5B 8C 1Journal 22Unranked 9
YearRankTypeTitle / Venue / Authors
2025 — conf
Synthesising Full-Information Protocols.
FSTTCS
Dietmar Berwanger, Laurent Doyen, Thomas Soullard
2023 J jnl
Observation and Distinction: Representing Information in Infinite Games.
Theory Comput. Syst.
Dietmar Berwanger, Laurent Doyen
2023 J jnl
Synthesising Full-Information Protocols.
CoRR
Dietmar Berwanger, Laurent Doyen, Thomas Soullard
2020 A conf
Observation and Distinction. Representing Information in Infinite Games.
STACS
Dietmar Berwanger, Laurent Doyen
2018 J jnl
Consensus Game Acceptors and Iterated Transductions.
Int. J. Found. Comput. Sci.
Dietmar Berwanger, Marie van den Bogaard
2018 J jnl
Hierarchical information and the synthesis of distributed strategies.
Acta Informatica
Dietmar Berwanger, Anup Basil Mathew, Marie van den Bogaard
2018 J jnl
Observation and Distinction. Representing Information in Infinite Games.
CoRR
Dietmar Berwanger, Laurent Doyen
2017 J jnl
Deviator Detection under Imperfect Monitoring.
CoRR
Dietmar Berwanger, R. Ramanujam
2017 J jnl
Infinite games with finite knowledge gaps.
Inf. Comput.
Dietmar Berwanger, Anup Basil Mathew
2016 J jnl
A Retraction Theorem for Distributed Synthesis.
CoRR
Dietmar Berwanger, Anup Basil Mathew, R. Ramanujam
2015 J jnl
A Characterisation of Context-Sensitive Languages by Consensus Games.
CoRR
Dietmar Berwanger, Marie van den Bogaard
2015 C conf
Consensus Game Acceptors.
DLT
Dietmar Berwanger, Marie van den Bogaard
2015 — conf
Games with Delays - A Frankenstein Approach.
FSTTCS
Dietmar Berwanger, Marie van den Bogaard
2015 J jnl
Games with Delays. A Frankenstein Approach.
CoRR
Dietmar Berwanger, Marie van den Bogaard
2015 B conf
Hierarchical Information Patterns and Distributed Strategy Synthesis.
ATVA
Dietmar Berwanger, Anup Basil Mathew, Marie van den Bogaard
2015 J jnl
Hierarchical Information Patterns and Distributed Strategy Synthesis.
CoRR
Dietmar Berwanger, Anup Basil Mathew, Marie van den Bogaard
2014 — conf
Games with recurring certainty.
SR
Dietmar Berwanger, Anup Basil Mathew
2014 J jnl
Infinite games with finite knowledge gaps.
CoRR
Dietmar Berwanger, Anup Basil Mathew
2013 J jnl
Introduction.
Tech. Sci. Informatiques
Dietmar Berwanger, Olivier Serre
2012 J jnl
Entanglement and the complexity of directed graphs.
Theor. Comput. Sci.
Dietmar Berwanger, Erich Grädel, Lukasz Kaiser, Roman Rabinovich
2012 J jnl
Parity games on undirected graphs.
Inf. Process. Lett.
Dietmar Berwanger, Olivier Serre
2012 B conf
Solving Counter Parity Games.
MFCS
Dietmar Berwanger, Lukasz Kaiser, Simon Leßenich
2012 J jnl
The dag-width of directed graphs.
J. Comb. Theory B
Dietmar Berwanger, Anuj Dawar, Paul Hunter, Stephan Kreutzer, Jan Obdrzálek
2011 — conf
A Perfect-Information Construction for Coordination in Games.
FSTTCS
Dietmar Berwanger, Lukasz Kaiser, Bernd Puchala
2010 J jnl
Information Tracking in Games on Graphs.
J. Log. Lang. Inf.
Dietmar Berwanger, Lukasz Kaiser
2010 J jnl
Strategy construction for parity games with imperfect information.
Inf. Comput.
Dietmar Berwanger, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, Thomas A. Henzinger
2009 J jnl
Alpaga: A Tool for Solving Parity Games with Imperfect Information
CoRR
Dietmar Berwanger, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, Thomas A. Henzinger
2009 A conf
Alpaga: A Tool for Solving Parity Games with Imperfect Information.
TACAS
Dietmar Berwanger, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, Thomas A. Henzinger
2009 — conf
Game Quantification Patterns.
ICLA
Dietmar Berwanger, Sophie Pinchinat
2008 — conf
Infinite Coordination Games.
LOFT
Dietmar Berwanger
2008 — conf
On the Power of Imperfect Information.
FSTTCS
Dietmar Berwanger, Laurent Doyen
2008 B conf
Strategy Construction for Parity Games with Imperfect Information.
CONCUR
Dietmar Berwanger, Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Sangram Raje
2007 A conf
Admissibility in Infinite Games.
STACS
Dietmar Berwanger
2007 J jnl
The Variable Hierarchy of the µ-Calculus Is Strict.
Theory Comput. Syst.
Dietmar Berwanger, Erich Grädel, Giacomo Lenzi
2006 B conf
Automata on Directed Graphs: Edge Versus Vertex Marking.
ICGT
Dietmar Berwanger, David Janin
2006 A conf
DAG-Width and Parity Games.
STACS
Dietmar Berwanger, Anuj Dawar, Paul Hunter, Stephan Kreutzer
2005 A conf
The Variable Hierarchy of the µ-Calculus Is Strict.
STACS
Dietmar Berwanger, Giacomo Lenzi
2004 B conf
Entanglement - A Measure for the Complexity of Directed Graphs with Applications to Logic and Games.
LPAR
Dietmar Berwanger, Erich Grädel
2004 J jnl
Fixed-Point Logics and Solitaire Games.
Theory Comput. Syst.
Dietmar Berwanger, Erich Grädel
2003 J jnl
Game Logic is Strong Enough for Parity Games.
Stud Logica
Dietmar Berwanger
2003 B conf
Once upon a Time in a West - Determinacy, Definability, and Complexity of Path Games.
LPAR
Dietmar Berwanger, Erich Grädel, Stephan Kreutzer
2002 B conf
On the Variable Hierarchy of the Modal µ-Calculus.
CSL
Dietmar Berwanger, Erich Grädel, Giacomo Lenzi
2001 — conf
Automata for Guarded Fixed Point Logics.
Automata, Logics, and Infinite Games
Dietmar Berwanger, Achim Blumensath
2001 B conf
Games and Model Checking for Guarded Logics.
LPAR
Dietmar Berwanger, Erich Grädel
2001 — conf
The Monadic Theory of Tree-like Structures.
Automata, Logics, and Infinite Games
Dietmar Berwanger, Achim Blumensath