Selected publications by Dietmar Berwanger
2011
2010
-
D. Berwanger. Infinite Coordination Games. In Logic and the Foundations of Game and Decision Theory (LOFT8), LNAI 6006, pages 1-19. Springer, 2010. ( PDF | BibTeX + Abstract )
-
D. Berwanger, K. Chatterjee, L. Doyen, M. De Wulf and Th. A. Henzinger. Strategy Construction for Parity Games with Imperfect Information. Information and Computation 208(10), pages 1206-1220, 2010. ( PDF | PS | PS.GZ | BibTeX + Abstract )
-
D. Berwanger and Ł. Kaiser. Information Tracking in Games on Graphs. Journal of Logic, Language and Information 19(4), pages 395-412, 2010. ( PDF | BibTeX + Abstract )
2009
2008
2007
2006
2005
-
D. Berwanger. Games and Logical Expressiveness. Ph.D. Thesis, Department of Computer Science, RWTH Aachen, Germany, 2005. ( PDF | BibTeX )
-
D. Berwanger and E. Grädel. Entanglement - A Measure for the Complexity of Directed Graphs with
Applications to Logic and Games. In LPAR'04, LNAI 3452, pages 209-223. Springer, 2005. ( PDF | BibTeX )
-
D. Berwanger and G. Lenzi. The variable hierarchy of the μ-calculus is strict. In STACS'05, LNCS 3404, pages 97-109. Springer, 2005. ( PS | PS.GZ | BibTeX )
2004
2003
2002
-
D. Berwanger and A. Blumensath. Automata for Guarded Fixed Point Logics. In Automata, Logics, and Infinite Game, LNCS 2500, chapter 19, pages 343-355. Springer, 2002. ( PS | PS.GZ | BibTeX )
-
D. Berwanger and A. Blumensath. The Monadic Theory of Tree-like Structures. In Automata, Logics, and Infinite Game, LNCS 2500, chapter 16, pages 285-301. Springer, 2002. ( PS | PS.GZ | BibTeX )
-
D. Berwanger, E. Grädel and G. Lenzi. On the variable hierarchy of the modal μ-calculus. In CSL'02, LNCS 2471, pages 352-366. Springer, 2002. ( PS | PS.GZ | BibTeX )
2001