×

zbMATH — the first resource for mathematics

Berwanger, Dietmar

Compute Distance To:
Author ID: berwanger.dietmar Recent zbMATH articles by "Berwanger, Dietmar"
Published as: Berwanger, Dietmar
External Links: MGP · ORCID
Documents Indexed: 30 Publications since 2001
Biographic References: 1 Publication

Publications by Year

Citations contained in zbMATH

25 Publications have been cited 174 times in 116 Documents Cited by Year
DAG-width and parity games. Zbl 1136.68447
Berwanger, Dietmar; Dawar, Anuj; Hunter, Paul; Kreutzer, Stephan
43
2006
The dag-width of directed graphs. Zbl 1246.05065
Berwanger, Dietmar; Dawar, Anuj; Hunter, Paul; Kreutzer, Stephan; Obdržálek, Jan
24
2012
Entanglement – a measure for the complexity of directed graphs with applications to logic and games. Zbl 1109.68080
Berwanger, Dietmar; Grädel, Erich
17
2005
On the power of imperfect information. Zbl 1248.68233
Berwanger, Dietmar; Doyen, Laurent
13
2008
Entanglement and the complexity of directed graphs. Zbl 1256.05086
Berwanger, Dietmar; Grädel, Erich; Kaiser, Łukasz; Rabinovich, Roman
10
2012
Admissibility in infinite games. Zbl 1186.68278
Berwanger, Dietmar
9
2007
Information tracking in games on graphs. Zbl 1203.91033
Berwanger, Dietmar; Kaiser, Łukasz
6
2010
The variable hierarchy of the \(\mu\)-calculus is strict. Zbl 1121.68072
Berwanger, Dietmar; Grädel, Erich; Lenzi, Giacomo
6
2007
Game logic is strong enough for parity games. Zbl 1046.03017
Berwanger, Dietmar
6
2003
The monadic theory of tree-like structures. Zbl 1021.68051
Berwanger, Dietmar; Blumensath, Achim
6
2002
Hierarchical information patterns and distributed strategy synthesis. Zbl 1408.91003
Berwanger, Dietmar; Mathew, Anup Basil; van den Bogaard, Marie
4
2015
Fixed-point logics and solitaire games. Zbl 1061.68100
Berwanger, Dietmar; Grädel, Erich
4
2004
On the variable hierarchy of the modal \(\mu\)-calculus. Zbl 1020.03025
Berwanger, Dietmar; Grädel, Erich; Lenzi, Giacomo
4
2002
Games and model checking for guarded logics. Zbl 1275.68087
Berwanger, Dietmar; Grädel, Erich
4
2001
Strategy construction for parity games with imperfect information. Zbl 1232.91007
Berwanger, Dietmar; Chatterjee, Krishnendu; De Wulf, Martin; Doyen, Laurent; Henzinger, Thomas A.
3
2010
Infinite coordination games. Zbl 1287.91003
Berwanger, Dietmar
3
2010
Strategy construction for parity games with imperfect information. Zbl 1160.68455
Berwanger, Dietmar; Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.; Raje, Sangram
3
2008
A perfect-information construction for coordination in games. Zbl 1246.91023
Berwanger, Dietmar; Kaiser, Łukasz; Puchala, Bernd
2
2011
Consensus game acceptors. Zbl 1386.68084
Berwanger, Dietmar; van den Bogaard, Marie
1
2015
Parity games on undirected graphs. Zbl 1248.68234
Berwanger, Dietmar; Serre, Olivier
1
2012
Solving counter parity games. Zbl 1365.68314
Berwanger, Dietmar; Kaiser, Łukasz; Leßenich, Simon
1
2012
Game quantification patterns. Zbl 1209.03031
Berwanger, Dietmar; Pinchinat, Sophie
1
2009
Automata on directed graphs: Edge versus vertex marking. Zbl 1156.68444
Berwanger, Dietmar; Janin, David
1
2006
The variable hierarchy of the \(\mu\)-calculus is strict. Zbl 1119.68114
Berwanger, Dietmar; Lenzi, Giacomo
1
2005
Once upon a time in the West. Determinacy, definability, and complexity of path games. Zbl 1273.91081
Berwanger, Dietmar; Grädel, Erich; Kreutzer, Stephan
1
2003
Hierarchical information patterns and distributed strategy synthesis. Zbl 1408.91003
Berwanger, Dietmar; Mathew, Anup Basil; van den Bogaard, Marie
4
2015
Consensus game acceptors. Zbl 1386.68084
Berwanger, Dietmar; van den Bogaard, Marie
1
2015
The dag-width of directed graphs. Zbl 1246.05065
Berwanger, Dietmar; Dawar, Anuj; Hunter, Paul; Kreutzer, Stephan; Obdržálek, Jan
24
2012
Entanglement and the complexity of directed graphs. Zbl 1256.05086
Berwanger, Dietmar; Grädel, Erich; Kaiser, Łukasz; Rabinovich, Roman
10
2012
Parity games on undirected graphs. Zbl 1248.68234
Berwanger, Dietmar; Serre, Olivier
1
2012
Solving counter parity games. Zbl 1365.68314
Berwanger, Dietmar; Kaiser, Łukasz; Leßenich, Simon
1
2012
A perfect-information construction for coordination in games. Zbl 1246.91023
Berwanger, Dietmar; Kaiser, Łukasz; Puchala, Bernd
2
2011
Information tracking in games on graphs. Zbl 1203.91033
Berwanger, Dietmar; Kaiser, Łukasz
6
2010
Strategy construction for parity games with imperfect information. Zbl 1232.91007
Berwanger, Dietmar; Chatterjee, Krishnendu; De Wulf, Martin; Doyen, Laurent; Henzinger, Thomas A.
3
2010
Infinite coordination games. Zbl 1287.91003
Berwanger, Dietmar
3
2010
Game quantification patterns. Zbl 1209.03031
Berwanger, Dietmar; Pinchinat, Sophie
1
2009
On the power of imperfect information. Zbl 1248.68233
Berwanger, Dietmar; Doyen, Laurent
13
2008
Strategy construction for parity games with imperfect information. Zbl 1160.68455
Berwanger, Dietmar; Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.; Raje, Sangram
3
2008
Admissibility in infinite games. Zbl 1186.68278
Berwanger, Dietmar
9
2007
The variable hierarchy of the \(\mu\)-calculus is strict. Zbl 1121.68072
Berwanger, Dietmar; Grädel, Erich; Lenzi, Giacomo
6
2007
DAG-width and parity games. Zbl 1136.68447
Berwanger, Dietmar; Dawar, Anuj; Hunter, Paul; Kreutzer, Stephan
43
2006
Automata on directed graphs: Edge versus vertex marking. Zbl 1156.68444
Berwanger, Dietmar; Janin, David
1
2006
Entanglement – a measure for the complexity of directed graphs with applications to logic and games. Zbl 1109.68080
Berwanger, Dietmar; Grädel, Erich
17
2005
The variable hierarchy of the \(\mu\)-calculus is strict. Zbl 1119.68114
Berwanger, Dietmar; Lenzi, Giacomo
1
2005
Fixed-point logics and solitaire games. Zbl 1061.68100
Berwanger, Dietmar; Grädel, Erich
4
2004
Game logic is strong enough for parity games. Zbl 1046.03017
Berwanger, Dietmar
6
2003
Once upon a time in the West. Determinacy, definability, and complexity of path games. Zbl 1273.91081
Berwanger, Dietmar; Grädel, Erich; Kreutzer, Stephan
1
2003
The monadic theory of tree-like structures. Zbl 1021.68051
Berwanger, Dietmar; Blumensath, Achim
6
2002
On the variable hierarchy of the modal \(\mu\)-calculus. Zbl 1020.03025
Berwanger, Dietmar; Grädel, Erich; Lenzi, Giacomo
4
2002
Games and model checking for guarded logics. Zbl 1275.68087
Berwanger, Dietmar; Grädel, Erich
4
2001
all top 5

Cited by 202 Authors

9 Kreutzer, Stephan
8 Berwanger, Dietmar
6 Raskin, Jean-François
5 Hunter, Paul
5 Schewe, Sven
4 Chatterjee, Krishnendu
4 Doyen, Laurent
4 Meister, Daniel
4 Obdržálek, Jan
4 Rabinovich, Roman
3 Bárány, Vince
3 Bruyère, Véronique
3 Fomin, Fedor V.
3 Ganian, Robert
3 Hliněný, Petr
3 Huth, Michael R. A.
3 Kintali, Shiva
3 Kneis, Joachim
3 Nisse, Nicolas
3 Ordyniak, Sebastian
3 Pauly, Arno M.
3 Pinchinat, Sophie
3 Rossmanith, Peter
3 Rubin, Sasha
3 Santocanale, Luigi
3 van den Bogaard, Marie
2 Antonik, Adam
2 Baier, Christel
2 Bang-Jensen, Jørgen
2 Benerecetti, Massimo
2 Blumensath, Achim
2 Brihaye, Thomas
2 Cao, Yi
2 Dell’Erba, Daniele
2 Grädel, Erich
2 Gurski, Frank
2 Haddad, Serge
2 Hanaka, Tesshu
2 Henzinger, Thomas A.
2 Kaiser, Lukasz
2 Klein, Joachim
2 Klüppelholz, Sascha
2 Leroux, Stéphane
2 Mathew, Anup Basil
2 Maubert, Bastien
2 Meer, Klaus
2 Mogavero, Fabio
2 Murano, Aniello
2 Nishimura, Naomi
2 Ono, Hirotaka
2 Pichler, Reinhard
2 Segoufin, Luc
2 Sikdar, Somnath
2 ten Cate, Balder David
2 Thilikos, Dimitrios M.
2 Thomas, Wolfgang
2 Yang, Boting
1 Akhoondian Amiri, Saeed
1 Amarilli, Antoine
1 Aminof, Benjamin
1 Arnold, André
1 Avni, Guy
1 Balbiani, Philippe
1 Bashlaeva, Irina A.
1 Belardinelli, Francesco
1 Belkhir, Walid
1 Bentz, Cédric
1 Bérard, Béatrice
1 Bezhanishvili, Nick
1 Bishop, Steven R.
1 Boker, Udi
1 Bourhis, Pierre
1 Bozzelli, Laura
1 Bradfield, Julian Charles
1 Brenguier, Romain
1 Brünnler, Kai
1 Calera-Rubio, Jorge
1 Canavoi, Felix
1 Charlton, Nathaniel
1 Cheikh, Fahima
1 Coudert, David
1 Czyba, Christopher
1 D’Agostino, Giovanna
1 Dankelmann, Peter
1 Dawar, Anuj
1 De Oliveira Oliveira, Mateus
1 De Wulf, Martin
1 Dershowitz, Nachum
1 Di Stasio, Antonio
1 Dittmann, Christoph
1 Dorn, Frederic
1 Dvořák, Wolfgang
1 Engelmann, Viktor
1 Enqvist, Sebastian
1 Erde, Joshua
1 Faella, Marco
1 Fernau, Henning
1 Feuillade, Guillaume
1 Filiot, Emmanuel
1 Fonoberov, Vladimir A.
...and 102 more Authors

Citations by Year