default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDietmar Berwanger
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[j13]Dietmar Berwanger
, Laurent Doyen:
Observation and Distinction: Representing Information in Infinite Games. Theory Comput. Syst. 67(1): 4-27 (2023)- [i9]Dietmar Berwanger, Laurent Doyen, Thomas Soullard:
Synthesising Full-Information Protocols. CoRR abs/2307.01063 (2023) - 2020
- [c22]Dietmar Berwanger, Laurent Doyen:
Observation and Distinction. Representing Information in Infinite Games. STACS 2020: 48:1-48:17
2010 – 2019
- 2018
- [j12]Dietmar Berwanger, Anup Basil Mathew, Marie van den Bogaard:
Hierarchical information and the synthesis of distributed strategies. Acta Informatica 55(8): 669-701 (2018) - [j11]Dietmar Berwanger, Marie van den Bogaard:
Consensus Game Acceptors and Iterated Transductions. Int. J. Found. Comput. Sci. 29(2): 165-186 (2018) - [i8]Dietmar Berwanger, Laurent Doyen:
Observation and Distinction. Representing Information in Infinite Games. CoRR abs/1809.05978 (2018) - 2017
- [j10]Dietmar Berwanger, Anup Basil Mathew:
Infinite games with finite knowledge gaps. Inf. Comput. 254: 217-237 (2017) - [i7]Dietmar Berwanger, R. Ramanujam:
Deviator Detection under Imperfect Monitoring. CoRR abs/1712.09686 (2017) - 2016
- [i6]Dietmar Berwanger, Anup Basil Mathew, R. Ramanujam:
A Retraction Theorem for Distributed Synthesis. CoRR abs/1604.07564 (2016) - 2015
- [c21]Dietmar Berwanger, Anup Basil Mathew, Marie van den Bogaard:
Hierarchical Information Patterns and Distributed Strategy Synthesis. ATVA 2015: 378-393 - [c20]Dietmar Berwanger, Marie van den Bogaard:
Consensus Game Acceptors. DLT 2015: 108-119 - [c19]Dietmar Berwanger, Marie van den Bogaard:
Games with Delays - A Frankenstein Approach. FSTTCS 2015: 307-319 - [i5]Dietmar Berwanger, Marie van den Bogaard:
A Characterisation of Context-Sensitive Languages by Consensus Games. CoRR abs/1501.07131 (2015) - [i4]Dietmar Berwanger, Anup Basil Mathew, Marie van den Bogaard:
Hierarchical Information Patterns and Distributed Strategy Synthesis. CoRR abs/1506.03883 (2015) - [i3]Dietmar Berwanger, Marie van den Bogaard:
Games with Delays. A Frankenstein Approach. CoRR abs/1506.03885 (2015) - 2014
- [c18]Dietmar Berwanger, Anup Basil Mathew:
Games with recurring certainty. SR 2014: 91-96 - [i2]Dietmar Berwanger, Anup Basil Mathew:
Infinite games with finite knowledge gaps. CoRR abs/1411.5820 (2014) - 2013
- [j9]Dietmar Berwanger, Olivier Serre:
Introduction. Tech. Sci. Informatiques 32(9-10): 907-908 (2013) - 2012
- [j8]Dietmar Berwanger, Olivier Serre:
Parity games on undirected graphs. Inf. Process. Lett. 112(23): 928-932 (2012) - [j7]Dietmar Berwanger, Anuj Dawar, Paul Hunter, Stephan Kreutzer, Jan Obdrzálek:
The dag-width of directed graphs. J. Comb. Theory B 102(4): 900-923 (2012) - [j6]Dietmar Berwanger, Erich Grädel, Lukasz Kaiser, Roman Rabinovich:
Entanglement and the complexity of directed graphs. Theor. Comput. Sci. 463: 2-25 (2012) - [c17]Dietmar Berwanger, Lukasz Kaiser, Simon Leßenich:
Solving Counter Parity Games. MFCS 2012: 160-171 - 2011
- [c16]Dietmar Berwanger, Lukasz Kaiser, Bernd Puchala:
A Perfect-Information Construction for Coordination in Games. FSTTCS 2011: 387-398 - 2010
- [j5]Dietmar Berwanger, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, Thomas A. Henzinger:
Strategy construction for parity games with imperfect information. Inf. Comput. 208(10): 1206-1220 (2010) - [j4]Dietmar Berwanger, Lukasz Kaiser:
Information Tracking in Games on Graphs. J. Log. Lang. Inf. 19(4): 395-412 (2010)
2000 – 2009
- 2009
- [c15]Dietmar Berwanger, Sophie Pinchinat:
Game Quantification Patterns. ICLA 2009: 116-130 - [c14]Dietmar Berwanger, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, Thomas A. Henzinger:
Alpaga: A Tool for Solving Parity Games with Imperfect Information. TACAS 2009: 58-61 - [i1]Dietmar Berwanger, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, Thomas A. Henzinger:
Alpaga: A Tool for Solving Parity Games with Imperfect Information. CoRR abs/0901.4728 (2009) - 2008
- [c13]Dietmar Berwanger, Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Sangram Raje:
Strategy Construction for Parity Games with Imperfect Information. CONCUR 2008: 325-339 - [c12]Dietmar Berwanger, Laurent Doyen:
On the Power of Imperfect Information. FSTTCS 2008: 73-82 - [c11]Dietmar Berwanger:
Infinite Coordination Games. LOFT 2008: 1-19 - 2007
- [j3]Dietmar Berwanger, Erich Grädel, Giacomo Lenzi:
The Variable Hierarchy of the µ-Calculus Is Strict. Theory Comput. Syst. 40(4): 437-466 (2007) - [c10]Dietmar Berwanger:
Admissibility in Infinite Games. STACS 2007: 188-199 - 2006
- [c9]Dietmar Berwanger, David Janin:
Automata on Directed Graphs: Edge Versus Vertex Marking. ICGT 2006: 46-60 - [c8]Dietmar Berwanger, Anuj Dawar, Paul Hunter, Stephan Kreutzer:
DAG-Width and Parity Games. STACS 2006: 524-536 - 2005
- [c7]Dietmar Berwanger, Giacomo Lenzi:
The Variable Hierarchy of the µ-Calculus Is Strict. STACS 2005: 97-109 - 2004
- [j2]Dietmar Berwanger, Erich Grädel:
Fixed-Point Logics and Solitaire Games. Theory Comput. Syst. 37(6): 675-694 (2004) - [c6]Dietmar Berwanger, Erich Grädel:
Entanglement - A Measure for the Complexity of Directed Graphs with Applications to Logic and Games. LPAR 2004: 209-223 - 2003
- [j1]Dietmar Berwanger:
Game Logic is Strong Enough for Parity Games. Stud Logica 75(2): 205-219 (2003) - [c5]Dietmar Berwanger, Erich Grädel, Stephan Kreutzer:
Once upon a Time in a West - Determinacy, Definability, and Complexity of Path Games. LPAR 2003: 229-243 - 2002
- [c4]Dietmar Berwanger, Erich Grädel, Giacomo Lenzi:
On the Variable Hierarchy of the Modal µ-Calculus. CSL 2002: 352-366 - 2001
- [c3]Dietmar Berwanger, Achim Blumensath:
The Monadic Theory of Tree-like Structures. Automata, Logics, and Infinite Games 2001: 285-302 - [c2]Dietmar Berwanger, Achim Blumensath:
Automata for Guarded Fixed Point Logics. Automata, Logics, and Infinite Games 2001: 343-355 - [c1]Dietmar Berwanger, Erich Grädel:
Games and Model Checking for Guarded Logics. LPAR 2001: 70-84
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-28 01:28 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
