| Publication | Date of Publication | Type |
|---|
| Playing (almost-)optimally in concurrent Büchi and co-Büchi games | 2024-09-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6124935 | 2024-04-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6124936 | 2024-04-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6187058 | 2024-02-05 | Paper |
| Subgame optimal strategies in finite concurrent games with prefix-independent objectives | 2023-11-24 | Paper |
| Time-aware uniformization of winning strategies | 2022-12-16 | Paper |
| Extending Finite-Memory Determinacy by Boolean Combination of Winning Conditions | 2022-07-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5089289 | 2022-07-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5028465 | 2022-02-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3384162 | 2021-12-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3384168 | 2021-12-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5015282 | 2021-12-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5005142 | 2021-08-04 | Paper |
| Equilibria in multi-player multi-outcome infinite sequential games | 2021-02-08 | Paper |
| On the existence of weak subgame perfect equilibria | 2021-02-08 | Paper |
| On the termination of dynamics in sequential games | 2020-05-26 | Paper |
| A semi-potential for finite and infinite games in extensive form | 2020-04-29 | Paper |
| Connected choice and the Brouwer fixed point theorem | 2019-07-08 | Paper |
| Memoryless determinacy of infinite parity games: another simple proof | 2019-01-18 | Paper |
| Minkowski Games | 2018-10-24 | Paper |
| The complexity of graph-based reductions for reachability in Markov decision processes | 2018-07-17 | Paper |
| Extending finite-memory determinacy to multi-player games | 2018-06-14 | Paper |
| Infinite sequential games with real-valued payoffs | 2018-04-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4636651 | 2018-04-19 | Paper |
| Stable states of perturbed Markov chains | 2018-03-21 | Paper |
| On the Existence of Weak Subgame Perfect Equilibria | 2017-05-19 | Paper |
| Multi-scale metastable dynamics and the asymptotic stationary distribution of perturbed Markov chains | 2016-10-12 | Paper |
| The Brouwer Fixed Point Theorem Revisited | 2016-08-17 | Paper |
| Static analysis by abstract interpretation: a mathematical programming approach | 2016-06-17 | Paper |
| Infinite Subgame Perfect Equilibrium in the Hausdorff Difference Hierarchy | 2016-04-01 | Paper |
| Finite choice, convex choice and finding roots | 2016-01-07 | Paper |
| Weihrauch Degrees of Finding Equilibria in Sequential Games | 2015-10-20 | Paper |
| From winning strategy to Nash equilibrium | 2014-10-10 | Paper |
| Mathematical programming based debugging | 2013-11-08 | Paper |
| A Machine-Checked Proof of the Odd Order Theorem | 2013-08-07 | Paper |
| Closed Choice for Finite and for Convex Sets | 2013-08-05 | Paper |
| Infinite sequential Nash equilibrium | 2013-06-20 | Paper |
| Singular Coverings and Non-Uniform Notions of Closed Set Computability | 2013-05-03 | Paper |
| On the Computational Content of the Brouwer Fixed Point Theorem | 2012-08-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3576001 | 2010-07-28 | Paper |
| Acyclic Preferences and Existence of Sequential Nash Equilibria: A Formal and Constructive Equivalence | 2009-10-20 | Paper |
| Singular coverings and non‐uniform notions of closed set computability | 2008-10-08 | Paper |
| Graphs and Path Equilibria | 2008-07-10 | Paper |
| Computable Closed Euclidean Subsets with and without Computable Points | 2006-10-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4385322 | 1998-11-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4285762 | 1994-04-26 | Paper |
