Dietmar Berwanger

According to our database1, Dietmar Berwanger authored at least 41 papers between 2001 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2018
Consensus Game Acceptors and Iterated Transductions.
Int. J. Found. Comput. Sci., 2018

Observation and Distinction. Representing Information in Infinite Games.
CoRR, 2018

Hierarchical information and the synthesis of distributed strategies.
Acta Inf., 2018

2017
Infinite games with finite knowledge gaps.
Inf. Comput., 2017

Deviator Detection under Imperfect Monitoring.
CoRR, 2017

2016
A Retraction Theorem for Distributed Synthesis.
CoRR, 2016

2015
Hierarchical Information Patterns and Distributed Strategy Synthesis.
CoRR, 2015

Games with Delays. A Frankenstein Approach.
CoRR, 2015

A Characterisation of Context-Sensitive Languages by Consensus Games.
CoRR, 2015

Games with Delays - A Frankenstein Approach.
Proceedings of the 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, 2015

Consensus Game Acceptors.
Proceedings of the Developments in Language Theory - 19th International Conference, 2015

Hierarchical Information Patterns and Distributed Strategy Synthesis.
Proceedings of the Automated Technology for Verification and Analysis, 2015

2014
Infinite games with finite knowledge gaps.
CoRR, 2014

Games with recurring certainty.
Proceedings of the Proceedings 2nd International Workshop on Strategic Reasoning, 2014

2013
Introduction.
Technique et Science Informatiques, 2013

2012
Entanglement and the complexity of directed graphs.
Theor. Comput. Sci., 2012

The dag-width of directed graphs.
J. Comb. Theory, Ser. B, 2012

Parity games on undirected graphs.
Inf. Process. Lett., 2012

Solving Counter Parity Games.
Proceedings of the Mathematical Foundations of Computer Science 2012, 2012

2011
A Perfect-Information Construction for Coordination in Games.
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2011

2010
Information Tracking in Games on Graphs.
Journal of Logic, Language and Information, 2010

Strategy construction for parity games with imperfect information.
Inf. Comput., 2010

2009
Alpaga: A Tool for Solving Parity Games with Imperfect Information
CoRR, 2009

Alpaga: A Tool for Solving Parity Games with Imperfect Information.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009

Game Quantification Patterns.
Proceedings of the Logic and Its Applications, Third Indian Conference, 2009

2008
Infinite Coordination Games.
Proceedings of the Logic and the Foundations of Game and Decision Theory, 2008

On the Power of Imperfect Information.
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2008

Strategy Construction for Parity Games with Imperfect Information.
Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008

2007
The Variable Hierarchy of the µ-Calculus Is Strict.
Theory Comput. Syst., 2007

Admissibility in Infinite Games.
Proceedings of the STACS 2007, 2007

2006
DAG-Width and Parity Games.
Proceedings of the STACS 2006, 2006

Automata on Directed Graphs: Edge Versus Vertex Marking.
Proceedings of the Graph Transformations, Third International Conference, 2006

2005
The Variable Hierarchy of the µ-Calculus Is Strict.
Proceedings of the STACS 2005, 2005

2004
Fixed-Point Logics and Solitaire Games.
Theory Comput. Syst., 2004

Entanglement - A Measure for the Complexity of Directed Graphs with Applications to Logic and Games.
Proceedings of the Logic for Programming, 2004

2003
Game Logic is Strong Enough for Parity Games.
Studia Logica, 2003

Once upon a Time in a West - Determinacy, Definability, and Complexity of Path Games.
Proceedings of the Logic for Programming, 2003

2002
On the Variable Hierarchy of the Modal µ-Calculus.
Proceedings of the Computer Science Logic, 16th International Workshop, 2002

2001
Games and Model Checking for Guarded Logics.
Proceedings of the Logic for Programming, 2001

Automata for Guarded Fixed Point Logics.
Proceedings of the Automata, 2001

The Monadic Theory of Tree-like Structures.
Proceedings of the Automata, 2001


  Loading...