Travelled to:1 × Brazil
3 × United Kingdom
Collaborated with:M.v.d.Bogaard D.Janin E.Grädel G.Lenzi K.Chatterjee M.D.Wulf L.Doyen T.A.Henzinger
Talks about:game (2) imperfect (1) hierarchi (1) consensus (1) calculus (1) automata (1) acceptor (1) variabl (1) vertex (1) versus (1)
Person: Dietmar Berwanger
DBLP: Berwanger:Dietmar
Contributed to:
2015
2009
2006
2002Wrote 4 papers:
- DLT-2015-BerwangerB #game studies
- Consensus Game Acceptors (DB, MvdB), pp. 108–119.
- TACAS-2009-BerwangerCWDH #game studies #named
- Alpaga: A Tool for Solving Parity Games with Imperfect Information (DB, KC, MDW, LD, TAH), pp. 58–61.
- ICGT-2006-BerwangerJ #automaton #graph
- Automata on Directed Graphs: Edge Versus Vertex Marking (DB, DJ), pp. 46–60.
- CSL-2002-BerwangerGL #calculus #on the #μ-calculus
- On the Variable Hierarchy of the Modal μ-Calculus (DB, EG, GL), pp. 352–366.