| Publication | Date of Publication | Type |
|---|
| Decidability of one-clock weighted timed games with arbitrary weights | 2024-08-13 | Paper |
| A robust class of languages of 2-nested words | 2024-08-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6124934 | 2024-04-10 | Paper |
| Robust controller synthesis in timed Büchi automata: a symbolic approach | 2024-02-16 | Paper |
| Optimal controller synthesis for timed systems | 2023-08-26 | Paper |
| Synthesis of Data Word Transducers | 2023-02-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5101342 | 2022-08-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5092330 | 2022-07-21 | Paper |
| Symbolic Approximation of Weighted Timed Games | 2022-07-21 | Paper |
| Reaching Your Goal Optimally by Playing at Random with No Memory | 2022-07-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4994131 | 2021-06-17 | Paper |
| Copyful Streaming String Transducers | 2021-05-21 | Paper |
| Optimal and robust controller synthesis. Using energy timed automata with uncertainty | 2021-05-04 | Paper |
| From Two-Way Transducers to Regular Function Expressions | 2021-04-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5856426 | 2021-03-26 | Paper |
| Optimal and robust controller synthesis using energy timed automata with uncertainty | 2021-03-04 | Paper |
| On computability of data word functions defined by transducers | 2020-09-23 | Paper |
| On the computation of the minimal coverability set of Petri nets | 2019-10-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5376652 | 2019-05-17 | Paper |
| From two-way transducers to regular function expressions | 2018-11-22 | Paper |
| Aperiodic String Transducers | 2018-09-20 | Paper |
| Visibly pushdown transducers | 2018-09-07 | Paper |
| Decision problems of tree transducers with origin | 2018-06-14 | Paper |
| A Generalised Twinning Property for Minimisation of Cost Register Automata | 2018-04-23 | Paper |
| Two-Way Visibly Pushdown Automata and Transducers | 2018-04-23 | Paper |
| Copyful streaming string transducers | 2017-12-20 | Paper |
| From Two-Way to One-Way Finite State Transducers | 2017-07-03 | Paper |
| Optimal Reachability in Divergent Weighted Timed Games | 2017-05-19 | Paper |
| Degree of Sequentiality of Weighted Automata | 2017-05-19 | Paper |
| Robustness of Time Petri Nets under Guard Enlargement | 2017-03-16 | Paper |
| Aperiodic String Transducers | 2016-08-30 | Paper |
| Visibly pushdown transducers with well-nested outputs | 2016-06-23 | Paper |
| Decision Problems of Tree Transducers with Origin | 2015-11-04 | Paper |
| Trimming visibly pushdown automata | 2015-05-18 | Paper |
| Visibly Pushdown Transducers with Well-Nested Outputs | 2014-10-14 | Paper |
| Probabilistic Robust Timed Games | 2014-09-15 | Paper |
| On characteristic formulae for event-recording automata | 2013-08-13 | Paper |
| Robust Controller Synthesis in Timed Automata | 2013-08-12 | Paper |
| Trimming Visibly Pushdown Automata | 2013-08-07 | Paper |
| Minimal Coverability Set for Petri Nets: Karp and Miller Algorithm with Pruning | 2013-04-18 | Paper |
| Robustness of Time Petri Nets under Guard Enlargement | 2013-01-07 | Paper |
| Controllers with Minimal Observation Power (Application to Timed Systems) | 2012-11-21 | Paper |
| Visibly Pushdown Automata with Multiplicities: Finiteness and K-Boundedness | 2012-11-02 | Paper |
| Streamability of nested word transductions | 2012-08-31 | Paper |
| A Hierarchical Approach for the Synthesis of Stabilizing Controllers for Hybrid Systems | 2011-10-07 | Paper |
| Minimal Coverability Set for Petri Nets: Karp and Miller Algorithm with Pruning | 2011-06-29 | Paper |
| Quantitative Robustness Analysis of Flat Timed Automata | 2011-05-19 | Paper |
| Properties of Visibly Pushdown Transducers | 2010-09-03 | Paper |
| Weak Time Petri Nets Strike Back! | 2009-10-22 | Paper |
| Undecidability Results for Timed Automata with Silent Transitions | 2009-06-30 | Paper |
| Automatic Synthesis of Robust and Optimal Controllers – An Industrial Case Study | 2009-04-30 | Paper |
| Robust Model-Checking of Linear-Time Properties in Timed Automata | 2008-09-18 | Paper |
| Timed Unfoldings for Networks of Timed Automata | 2008-09-04 | Paper |
| Robust Analysis of Timed Automata Via Channel Machines | 2008-04-11 | Paper |
| Timed Petri nets and timed automata: On the discriminating power of Zeno sequences | 2008-03-11 | Paper |
| Timed Petri Nets and Timed Automata: On the Discriminating Power of Zeno Sequences | 2007-09-11 | Paper |
| Formal Modeling and Analysis of Timed Systems | 2006-11-14 | Paper |
