| Publication | Date of Publication | Type |
|---|
| The Keys to Decidable HyperLTL Satisfiability: Small Models or Very Simple Formulas | 2023-02-07 | Paper |
| Monitoring timed properties (revisited) | 2023-01-18 | Paper |
| Optimally Resilient Strategies in Pushdown Safety Games | 2022-07-18 | Paper |
| Robust, expressive, and quantitative linear temporal logics: pick any two for free | 2022-06-08 | Paper |
| Approximating the minimal lookahead needed to win infinite games | 2022-06-03 | Paper |
| Synthesizing Optimally Resilient Controllers | 2022-05-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5079761 | 2022-05-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5028456 | 2022-02-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5021006 | 2022-01-11 | Paper |
| Robust, expressive, and quantitative linear temporal logics: pick any two for free | 2022-01-06 | Paper |
| Finite-state strategies in delay games | 2021-12-14 | Paper |
| Distributed PROMPT-LTL synthesis | 2021-12-07 | Paper |
| Approximating optimal bounds in prompt-LTL realizability in doubly-exponential time | 2021-12-07 | Paper |
| Parameterized linear temporal logics meet costs: still not costlier than LTL | 2021-12-03 | Paper |
| Team semantics for the specification and verification of hyperproperties | 2021-08-04 | Paper |
| Parity to safety in polynomial time for pushdown and collapsible pushdown systems | 2021-08-04 | Paper |
| Parametric linear dynamic logic | 2021-06-24 | Paper |
| Playing pushdown parity games in a hurry | 2021-04-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4986513 | 2021-04-27 | Paper |
| Optimal bounds in parametric LTL games | 2021-03-03 | Paper |
| Playing Muller games in a hurry | 2021-02-16 | Paper |
| From LTL to rLTL monitoring | 2021-01-25 | Paper |
| Good-for-games \(\omega \)-pushdown automata | 2021-01-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5144672 | 2021-01-19 | Paper |
| Why nestedness in mutualistic networks? | 2020-12-15 | Paper |
| Analysis and assembling of network structure in mutualistic systems | 2020-11-05 | Paper |
| Promptness and bounded fairness in concurrent and parameterized systems | 2020-08-05 | Paper |
| Finite-state strategies in delay games | 2020-05-26 | Paper |
| Synthesizing optimally resilient controllers | 2020-03-06 | Paper |
| Parity games with weights | 2019-09-13 | Paper |
| Distributed synthesis for parameterized temporal logics | 2018-09-27 | Paper |
| Visibly linear dynamic logic | 2018-09-24 | Paper |
| Visibly linear dynamic logic | 2018-04-19 | Paper |
| The first-order logic of hyperproperties | 2018-04-19 | Paper |
| Prompt delay | 2018-04-19 | Paper |
| The complexity of counting models of linear-time temporal logic | 2018-04-17 | Paper |
| Parameterized linear temporal logics meet costs: still not costlier than LTL | 2018-04-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5367068 | 2017-10-12 | Paper |
| What are strategies in delay games? Borel determinacy for games with lookahead | 2017-08-31 | Paper |
| Easy to win, hard to master: optimal strategies in parity games with costs | 2017-07-19 | Paper |
| Bounding Average-Energy Games | 2017-05-19 | Paper |
| The complexity of counting models of linear-time temporal logic | 2017-04-25 | Paper |
| How much lookahead is needed to win infinite games? | 2017-04-11 | Paper |
| Parametric linear dynamic logic | 2017-03-16 | Paper |
| Cost-parity and cost-Streett games | 2017-01-26 | Paper |
| Delay games with WMSO+U winning conditions | 2017-01-05 | Paper |
| Optimal strategy synthesis for request-response games | 2016-01-22 | Paper |
| How Much Lookahead is Needed to Win Infinite Games? | 2015-11-04 | Paper |
| Delay games with WMSO+U winning conditions | 2015-10-20 | Paper |
| Down the Borel hierarchy: solving Muller games via safety games | 2014-12-02 | Paper |
| Parity and Streett games with costs | 2014-07-31 | Paper |
| Sil'nikov-saddle-node interaction near a codimension-2 bifurcation: laser with injected signal | 2010-09-11 | Paper |
| Time-Optimal Winning Strategies for Poset Games | 2009-07-09 | Paper |
| Optimal strategy synthesis for request-response games | 2008-11-20 | Paper |
| RESONANCE STRUCTURE IN A WEAKLY DETUNED LASER WITH INJECTED SIGNAL | 2006-06-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2752927 | 2003-07-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4537381 | 2002-06-27 | Paper |
| Modulated amplitude waves and defect formation in the one-dimensional complex Ginzburg-Landau equation | 2001-12-11 | Paper |
| Global bifurcations in a laser with injected signal: Beyond Adler's approximation | 2001-10-24 | Paper |
| Homoclinic and Heteroclinic Bifurcations Close to a Twisted Heteroclinic Cycle | 2000-01-24 | Paper |
| Pulse bifurcation and transition to spatiotemporal chaos in an excitable reaction-diffusion model | 1997-11-26 | Paper |
| Šil'nikov-saddle-node interaction near a codimension-2 bifurcation: Laser with injected signal | 1997-11-18 | Paper |
