Dietmar Berwanger

Available identifiers

zbMath Open berwanger.dietmarWikidataQ102277559 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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Dietmar Berwanger