BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Berwanger:Dietmar

Contributed to:

DLT 20152015
TACAS 20092009
ICGT 20062006
CSL 20022002

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.