| Publication | Date of Publication | Type |
|---|
Observation and distinction: representing information in infinite games
Theory of Computing Systems | 2023-04-27 | Paper |
scientific article; zbMATH DE number 7650933 (Why is no real title available?)
(available as arXiv preprint) | 2023-02-07 | Paper |
| Games with recurring certainty | 2021-06-22 | Paper |
Games with recurring certainty
(available as arXiv preprint) | 2021-06-22 | Paper |
Hierarchical information and the synthesis of distributed strategies
Acta Informatica | 2018-12-12 | Paper |
Consensus game acceptors and iterated transductions
International Journal of Foundations of Computer Science | 2018-05-15 | Paper |
Games with delays -- a Frankenstein approach
(available as arXiv preprint) | 2017-07-13 | Paper |
Infinite games with finite knowledge gaps
Information and Computation | 2017-05-12 | Paper |
Hierarchical information patterns and distributed strategy synthesis
Automated Technology for Verification and Analysis | 2016-01-08 | Paper |
Consensus game acceptors
Developments in Language Theory | 2015-11-10 | Paper |
Entanglement and the complexity of directed graphs
Theoretical Computer Science | 2013-01-07 | Paper |
Parity games on undirected graphs
Information Processing Letters | 2012-10-23 | Paper |
| On the power of imperfect information | 2012-10-19 | Paper |
Solving counter parity games
Mathematical Foundations of Computer Science 2012 | 2012-09-25 | Paper |
| A perfect-information construction for coordination in games | 2012-08-31 | Paper |
The dag-width of directed graphs
Journal of Combinatorial Theory. Series B | 2012-08-14 | Paper |
Games and model checking for guarded logics
Logic for Programming, Artificial Intelligence, and Reasoning | 2011-05-06 | Paper |
Information tracking in games on graphs
Journal of Logic, Language and Information | 2011-01-07 | Paper |
Strategy construction for parity games with imperfect information
Information and Computation | 2010-10-07 | Paper |
Infinite coordination games
Lecture Notes in Computer Science | 2010-08-31 | Paper |
| Once upon a time in the West. Determinacy, definability, and complexity of path games | 2010-02-24 | Paper |
Game Quantification Patterns
Logic and Its Applications | 2009-02-12 | Paper |
Automata on Directed Graphs: Edge Versus Vertex Marking
Lecture Notes in Computer Science | 2008-11-27 | Paper |
Strategy Construction for Parity Games with Imperfect Information
CONCUR 2008 - Concurrency Theory | 2008-11-25 | Paper |
DAG-Width and Parity Games
STACS 2006 | 2008-03-19 | Paper |
Admissibility in Infinite Games
STACS 2007 | 2007-09-03 | Paper |
The variable hierarchy of the \(\mu\)-calculus is strict
Theory of Computing Systems | 2007-08-23 | Paper |
STACS 2005
Lecture Notes in Computer Science | 2005-12-02 | Paper |
Logic for Programming, Artificial Intelligence, and Reasoning
Lecture Notes in Computer Science | 2005-11-10 | Paper |
Fixed-point logics and solitaire games
Theory of Computing Systems | 2005-02-24 | Paper |
Game logic is strong enough for parity games
Studia Logica | 2004-03-15 | Paper |
The Monadic Theory of Tree-like Structures
Lecture Notes in Computer Science | 2003-07-16 | Paper |
Automata for Guarded Fixed Point Logics
Lecture Notes in Computer Science | 2003-07-16 | Paper |
| scientific article; zbMATH DE number 1948173 (Why is no real title available?) | 2003-07-10 | Paper |
