Dietmar Berwanger

Available identifiers

zbMath Open berwanger.dietmarDBLP20/439WikidataQ102277559 ScholiaQ102277559MaRDI QIDQ444378

List of research outcomes

Publication	Date of Publication	Type
Observation and distinction: representing information in infinite games	2023-04-27	Paper
https://portal.mardi4nfdi.de/entity/Q5874322	2023-02-07	Paper
https://portal.mardi4nfdi.de/entity/Q4994895	2021-06-22	Paper
Hierarchical information and the synthesis of distributed strategies	2018-12-12	Paper
Consensus Game Acceptors and Iterated Transductions	2018-05-15	Paper
https://portal.mardi4nfdi.de/entity/Q5275376	2017-07-13	Paper
Infinite games with finite knowledge gaps	2017-05-12	Paper
Hierarchical Information Patterns and Distributed Strategy Synthesis	2016-01-08	Paper
Consensus Game Acceptors	2015-11-10	Paper
Entanglement and the complexity of directed graphs	2013-01-07	Paper
Parity games on undirected graphs	2012-10-23	Paper
https://portal.mardi4nfdi.de/entity/Q3165948	2012-10-19	Paper
Solving Counter Parity Games	2012-09-25	Paper
A perfect-information construction for coordination in games	2012-08-31	Paper
The dag-width of directed graphs	2012-08-14	Paper
Games and Model Checking for Guarded Logics	2011-05-06	Paper
Information tracking in games on graphs	2011-01-07	Paper
Strategy construction for parity games with imperfect information	2010-10-07	Paper
Infinite Coordination Games	2010-08-31	Paper
https://portal.mardi4nfdi.de/entity/Q3408141	2010-02-24	Paper
Game Quantification Patterns	2009-02-12	Paper
Automata on Directed Graphs: Edge Versus Vertex Marking	2008-11-27	Paper
Strategy Construction for Parity Games with Imperfect Information	2008-11-25	Paper
DAG-Width and Parity Games	2008-03-19	Paper
Admissibility in Infinite Games	2007-09-03	Paper
The variable hierarchy of the \(\mu\)-calculus is strict	2007-08-23	Paper
STACS 2005	2005-12-02	Paper
Logic for Programming, Artificial Intelligence, and Reasoning	2005-11-10	Paper
Fixed-point logics and solitaire games	2005-02-24	Paper
Game logic is strong enough for parity games	2004-03-15	Paper
The Monadic Theory of Tree-like Structures	2003-07-16	Paper
Automata for Guarded Fixed Point Logics	2003-07-16	Paper
https://portal.mardi4nfdi.de/entity/Q4411834	2003-07-10	Paper

Research outcomes over time

This page was built for person: Dietmar Berwanger