|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4 occurrences of 4 keywords
|
|
|
|
|
Results
Found 22 publication records. Showing 22 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Dietmar Berwanger, Lukasz Kaiser, Bernd Puchala |
A Perfect-Information Construction for Coordination in Games.  |
FSTTCS  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dietmar Berwanger, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, Thomas A. Henzinger |
Strategy construction for parity games with imperfect information. |
Inf. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dietmar Berwanger, Lukasz Kaiser |
Information Tracking in Games on Graphs. |
Journal of Logic, Language and Information |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dietmar Berwanger, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, Thomas A. Henzinger |
Alpaga: A Tool for Solving Parity Games with Imperfect Information |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Dietmar Berwanger, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, Thomas A. Henzinger |
Alpaga: A Tool for Solving Parity Games with Imperfect Information. |
TACAS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Dietmar Berwanger, Sophie Pinchinat |
Game Quantification Patterns. |
ICLA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Dietmar Berwanger, Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Sangram Raje |
Strategy Construction for Parity Games with Imperfect Information. |
CONCUR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Dietmar Berwanger |
Infinite Coordination Games. |
LOFT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Dietmar Berwanger, Laurent Doyen |
On the Power of Imperfect Information. |
FSTTCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Dietmar Berwanger, Erich Grädel, Giacomo Lenzi |
The Variable Hierarchy of the µ-Calculus Is Strict. |
Theory Comput. Syst. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Dietmar Berwanger |
Admissibility in Infinite Games. |
STACS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Dietmar Berwanger, David Janin |
Automata on Directed Graphs: Edge Versus Vertex Marking. |
ICGT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Dietmar Berwanger, Anuj Dawar, Paul Hunter, Stephan Kreutzer |
DAG-Width and Parity Games. |
STACS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Dietmar Berwanger, Giacomo Lenzi |
The Variable Hierarchy of the µ-Calculus Is Strict. |
STACS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Dietmar Berwanger, Erich Grädel |
Fixed-Point Logics and Solitaire Games. |
Theory Comput. Syst. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Dietmar Berwanger, Erich Grädel |
Entanglement - A Measure for the Complexity of Directed Graphs with Applications to Logic and Games. |
LPAR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Dietmar Berwanger |
Game Logic is Strong Enough for Parity Games. |
Studia Logica |
2003 |
DBLP DOI BibTeX RDF |
game logic, modal mu-calculus, model checking, expressive power |
| 1 | Dietmar Berwanger, Erich Grädel, Stephan Kreutzer |
Once upon a Time in a West - Determinacy, Definability, and Complexity of Path Games. |
LPAR |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Dietmar Berwanger, Erich Grädel, Giacomo Lenzi |
On the Variable Hierarchy of the Modal µ-Calculus. |
CSL |
2002 |
DBLP DOI BibTeX RDF |
modal 7-calculus, games, descriptive complexity |
| 1 | Dietmar Berwanger, Erich Grädel |
Games and Model Checking for Guarded Logics. |
LPAR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Dietmar Berwanger, Achim Blumensath |
The Monadic Theory of Tree-like Structures. |
Automata, Logics, and Infinite Games |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Dietmar Berwanger, Achim Blumensath |
Automata for Guarded Fixed Point Logics. |
Automata, Logics, and Infinite Games |
2001 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #22 of 22 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")