| Publication | Date of Publication | Type |
|---|
| Church synthesis on register automata over linearly ordered data domains | 2024-03-11 | Paper |
| Synthesizing Computable Functions from Rational Specifications Over Infinite Words | 2024-02-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6187060 | 2024-02-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5875385 | 2023-02-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5875675 | 2023-02-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5101342 | 2022-08-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5094153 | 2022-08-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5090969 | 2022-07-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5089194 | 2022-07-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5089282 | 2022-07-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5089310 | 2022-07-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5005148 | 2021-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4994885 | 2021-06-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4994131 | 2021-06-17 | Paper |
| Copyful Streaming String Transducers | 2021-05-21 | Paper |
| A Pattern Logic for Automata with Outputs | 2021-04-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5856426 | 2021-03-26 | Paper |
| Logics for Word Transductions with Synthesis | 2021-01-20 | Paper |
| Rational Synthesis Under Imperfect Information | 2021-01-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5144642 | 2021-01-19 | Paper |
| On computability of data word functions defined by transducers | 2020-09-23 | Paper |
| Two-way Parikh automata with a visibly pushdown stack | 2020-01-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5207053 | 2020-01-03 | Paper |
| Decidable weighted expressions with Presburger combinators | 2019-08-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5376652 | 2019-05-17 | Paper |
| A pattern logic for automata with outputs | 2018-11-22 | Paper |
| Visibly pushdown transducers | 2018-09-07 | Paper |
| Decision problems of tree transducers with origin | 2018-06-14 | Paper |
| Multi-Sequential Word Relations | 2018-05-15 | Paper |
| Two-Way Visibly Pushdown Automata and Transducers | 2018-04-23 | Paper |
| First-order definability of rational transductions | 2018-04-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4636560 | 2018-04-19 | Paper |
| Copyful streaming string transducers | 2017-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4598263 | 2017-12-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4598267 | 2017-12-19 | Paper |
| Decidable weighted expressions with Presburger combinators | 2017-11-22 | Paper |
| From Two-Way to One-Way Finite State Transducers | 2017-07-03 | Paper |
| Regular Transformations of Infinite Strings | 2017-05-16 | Paper |
| Meet your expectations with guarantees: beyond worst-case synthesis in quantitative games | 2017-05-12 | Paper |
| Doomsday equilibria for omega-regular games | 2017-05-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2978508 | 2017-04-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2978509 | 2017-04-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2965484 | 2017-03-03 | Paper |
| Multi-sequential Word Relations | 2015-11-10 | Paper |
| Decision Problems of Tree Transducers with Origin | 2015-11-04 | Paper |
| Quantitative Languages Defined by Functional Automata | 2015-10-29 | Paper |
| Doomsday equilibria for omega-regular games | 2015-01-13 | Paper |
| Logic-Automata Connections for Transformations | 2015-01-09 | Paper |
| Synthesis from LTL Specifications with Mean-Payoff Objectives | 2013-08-05 | Paper |
| Antichains and compositional algorithms for LTL synthesis | 2012-09-27 | Paper |
| Quantitative Languages Defined by Functional Automata | 2012-09-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2911634 | 2012-08-31 | Paper |
| Visibly Pushdown Transducers with Look-Ahead | 2012-06-15 | Paper |
| Compositional Algorithms for LTL Synthesis | 2010-10-04 | Paper |
| TREE AUTOMATA WITH GLOBAL CONSTRAINTS | 2010-09-06 | Paper |
| Efficient Enumeration for Conjunctive Queries over X-underbar Structures | 2010-09-03 | Paper |
| Iterated Regret Minimization in Game Graphs | 2010-09-03 | Paper |
| Properties of Visibly Pushdown Transducers | 2010-09-03 | Paper |
| An Antichain Algorithm for LTL Realizability | 2009-06-30 | Paper |
| Satisfiability of a Spatial Logic with Tree Variables | 2009-03-05 | Paper |
| Tree Automata with Global Constraints | 2008-10-30 | Paper |
