| 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 |
| https://portal.mardi4nfdi.de/entity/Q5020519 | 2022-01-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3384169 | 2021-12-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5015281 | 2021-12-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5015286 | 2021-12-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5013884 | 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 |
| https://portal.mardi4nfdi.de/entity/Q4995359 | 2021-06-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4986513 | 2021-04-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4986514 | 2021-04-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4964725 | 2021-03-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5151006 | 2021-02-16 | Paper |
| From LTL to rLTL monitoring | 2021-01-25 | Paper |
| Good-for-games ω-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 |
| https://portal.mardi4nfdi.de/entity/Q5232902 | 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 |
| https://portal.mardi4nfdi.de/entity/Q4636593 | 2018-04-19 | Paper |
| The First-Order Logic of Hyperproperties | 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 |
| https://portal.mardi4nfdi.de/entity/Q5278418 | 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 |
| https://portal.mardi4nfdi.de/entity/Q2957486 | 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 |
| Optimal bounds in parametric LTL games | 2014-01-10 | Paper |
| Degrees of Lookahead in Context-free Infinite Games | 2012-09-18 | Paper |
| PLAYING MULLER GAMES IN A HURRY | 2012-08-30 | 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 |
