| Publication | Date of Publication | Type |
|---|
The Keys to Decidable HyperLTL Satisfiability: Small Models or Very Simple Formulas
(available as arXiv preprint) | 2023-02-07 | Paper |
Monitoring timed properties (revisited)
(available as arXiv preprint) | 2023-01-18 | Paper |
Optimally Resilient Strategies in Pushdown Safety Games
(available as arXiv preprint) | 2022-07-18 | Paper |
Robust, expressive, and quantitative linear temporal logics: pick any two for free
Information and Computation | 2022-06-08 | Paper |
Approximating the minimal lookahead needed to win infinite games
Information Processing Letters | 2022-06-03 | Paper |
| Synthesizing Optimally Resilient Controllers | 2022-05-28 | Paper |
| scientific article; zbMATH DE number 7533361 (Why is no real title available?) | 2022-05-28 | Paper |
scientific article; zbMATH DE number 7471692 (Why is no real title available?)
(available as arXiv preprint) | 2022-02-09 | Paper |
| scientific article; zbMATH DE number 7471692 (Why is no real title available?) | 2022-02-09 | Paper |
| Optimal strategies in weighted limit games | 2022-01-11 | Paper |
Optimal strategies in weighted limit games
(available as arXiv preprint) | 2022-01-11 | Paper |
| Robust, expressive, and quantitative linear temporal logics: pick any two for free | 2022-01-06 | Paper |
Robust, expressive, and quantitative linear temporal logics: pick any two for free
(available as arXiv preprint) | 2022-01-06 | Paper |
| Finite-state strategies in delay games | 2021-12-14 | Paper |
| Distributed PROMPT-LTL synthesis | 2021-12-07 | Paper |
Distributed PROMPT-LTL synthesis
(available as arXiv preprint) | 2021-12-07 | Paper |
| Approximating optimal bounds in prompt-LTL realizability in doubly-exponential time | 2021-12-07 | Paper |
Approximating optimal bounds in prompt-LTL realizability in doubly-exponential time
(available as arXiv preprint) | 2021-12-07 | Paper |
| Parameterized linear temporal logics meet costs: still not costlier than LTL | 2021-12-03 | Paper |
Parameterized linear temporal logics meet costs: still not costlier than LTL
(available as arXiv preprint) | 2021-12-03 | Paper |
Team semantics for the specification and verification of hyperproperties
(available as arXiv preprint) | 2021-08-04 | Paper |
Parity to safety in polynomial time for pushdown and collapsible pushdown systems
(available as arXiv preprint) | 2021-08-04 | Paper |
| Parametric linear dynamic logic | 2021-06-24 | Paper |
| Playing pushdown parity games in a hurry | 2021-04-27 | Paper |
Playing pushdown parity games in a hurry
(available as arXiv preprint) | 2021-04-27 | Paper |
| scientific article; zbMATH DE number 7340147 (Why is no real title available?) | 2021-04-27 | Paper |
| Optimal bounds in parametric LTL games | 2021-03-03 | Paper |
Optimal bounds in parametric LTL games
(available as arXiv preprint) | 2021-03-03 | Paper |
| Playing Muller games in a hurry | 2021-02-16 | Paper |
From LTL to rLTL monitoring
Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control | 2021-01-25 | Paper |
Good-for-games \(\omega \)-pushdown automata
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-21 | Paper |
| scientific article; zbMATH DE number 7297873 (Why is no real title available?) | 2021-01-19 | Paper |
scientific article; zbMATH DE number 7297873 (Why is no real title available?)
(available as arXiv preprint) | 2021-01-19 | Paper |
Why nestedness in mutualistic networks?
Journal of Theoretical Biology | 2020-12-15 | Paper |
Analysis and assembling of network structure in mutualistic systems
Journal of Theoretical Biology | 2020-11-05 | Paper |
Promptness and bounded fairness in concurrent and parameterized systems
(available as arXiv preprint) | 2020-08-05 | Paper |
Finite-state strategies in delay games
Information and Computation | 2020-05-26 | Paper |
Synthesizing optimally resilient controllers
Acta Informatica | 2020-03-06 | Paper |
Parity games with weights
(available as arXiv preprint) | 2019-09-13 | Paper |
Distributed synthesis for parameterized temporal logics
Information and Computation | 2018-09-27 | Paper |
Visibly linear dynamic logic
Theoretical Computer Science | 2018-09-24 | Paper |
Visibly linear dynamic logic
Theoretical Computer Science | 2018-09-24 | Paper |
| Visibly linear dynamic logic | 2018-04-19 | Paper |
The first-order logic of hyperproperties
(available as arXiv preprint) | 2018-04-19 | Paper |
Prompt delay
(available as arXiv preprint) | 2018-04-19 | Paper |
The complexity of counting models of linear-time temporal logic
Acta Informatica | 2018-04-17 | Paper |
Parameterized linear temporal logics meet costs: still not costlier than LTL
Acta Informatica | 2018-04-10 | Paper |
scientific article; zbMATH DE number 6790166 (Why is no real title available?)
(available as arXiv preprint) | 2017-10-12 | Paper |
What are strategies in delay games? Borel determinacy for games with lookahead
(available as arXiv preprint) | 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
Lecture Notes in Computer Science | 2017-05-19 | Paper |
The complexity of counting models of linear-time temporal logic
(available as arXiv preprint) | 2017-04-25 | Paper |
How much lookahead is needed to win infinite games?
Logical Methods in Computer Science | 2017-04-11 | Paper |
Parametric linear dynamic logic
Information and Computation | 2017-03-16 | Paper |
| Cost-parity and cost-Streett games | 2017-01-26 | Paper |
Delay games with WMSO+U winning conditions
RAIRO - Theoretical Informatics and Applications | 2017-01-05 | Paper |
How Much Lookahead is Needed to Win Infinite Games?
Automata, Languages, and Programming | 2015-11-04 | Paper |
Delay games with WMSO+U winning conditions
Lecture Notes in Computer Science | 2015-10-20 | Paper |
Down the Borel hierarchy: solving Muller games via safety games
Theoretical Computer Science | 2014-12-02 | Paper |
Parity and Streett games with costs
Logical Methods in Computer Science | 2014-07-31 | Paper |
Sil'nikov-saddle-node interaction near a codimension-2 bifurcation: laser with injected signal
Physica D | 2010-09-11 | Paper |
Time-Optimal Winning Strategies for Poset Games
Implementation and Application of Automata | 2009-07-09 | Paper |
RESONANCE STRUCTURE IN A WEAKLY DETUNED LASER WITH INJECTED SIGNAL
International Journal of Bifurcation and Chaos in Applied Sciences and Engineering | 2006-06-23 | Paper |
scientific article; zbMATH DE number 1665659 (Why is no real title available?)
(available as arXiv preprint) | 2003-07-06 | Paper |
| scientific article; zbMATH DE number 1761051 (Why is no real title available?) | 2002-06-27 | Paper |
Modulated amplitude waves and defect formation in the one-dimensional complex Ginzburg-Landau equation
Physica D | 2001-12-11 | Paper |
Global bifurcations in a laser with injected signal: Beyond Adler's approximation
Chaos | 2001-10-24 | Paper |
Homoclinic and Heteroclinic Bifurcations Close to a Twisted Heteroclinic Cycle
International Journal of Bifurcation and Chaos in Applied Sciences and Engineering | 2000-01-24 | Paper |
Pulse bifurcation and transition to spatiotemporal chaos in an excitable reaction-diffusion model
Physica D | 1997-11-26 | Paper |
Šil'nikov-saddle-node interaction near a codimension-2 bifurcation: Laser with injected signal
Physica D | 1997-11-18 | Paper |
