| Publication | Date of Publication | Type |
|---|
| Deterministic regular functions of Infinite words | 2024-11-14 | Paper |
| A regular and complete notion of delay for streaming string transducers | 2024-10-08 | Paper |
| Two-player boundedness counter games | 2024-08-13 | Paper |
| A generic solution to register-bounded synthesis with an application to discrete orders | 2024-06-24 | Paper |
| LTL reactive synthesis with a few hints | 2024-04-05 | Paper |
| 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 |
| Two-Way Parikh Automata | 2023-02-03 | Paper |
| Synthesis of Data Word Transducers | 2023-02-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5101342 | 2022-08-30 | Paper |
| Synthesis of computable regular functions of infinite words | 2022-08-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5090969 | 2022-07-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5089282 | 2022-07-18 | Paper |
| Register Transducers Are Marble Transducers | 2022-07-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5089310 | 2022-07-18 | Paper |
| The complexity of transducer synthesis from multi-sequential specifications | 2021-08-04 | Paper |
| Expectations or guarantees? I want it all! A crossroad between games and MDPs | 2021-06-22 | Paper |
| Expressiveness of visibly pushdown transducers | 2021-06-17 | Paper |
| Copyful streaming string transducers | 2021-05-21 | Paper |
| A pattern logic for automata with outputs | 2021-04-19 | Paper |
| Synthesis of data word transducers | 2021-03-26 | Paper |
| Rational synthesis under imperfect information | 2021-01-20 | Paper |
| Logics for word transductions with synthesis | 2021-01-20 | Paper |
| On delay and regret determinization of max-plus automata | 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 |
| Logical and algebraic characterizations of rational transductions | 2020-01-03 | Paper |
| Decidable weighted expressions with Presburger combinators | 2019-08-30 | Paper |
| Streamability of nested word transductions | 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: an algebraic approach | 2018-04-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4636560 | 2018-04-19 | Paper |
| Copyful streaming string transducers | 2017-12-20 | Paper |
| The complexity of rational synthesis | 2017-12-19 | Paper |
| On equivalence and uniformisation problems for finite transducers | 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 |
| First-order definable string transformations | 2017-04-25 | Paper |
| Finite-valued weighted automata | 2017-04-25 | Paper |
| Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games | 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 |
| Streamability of nested word transductions | 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 |
| Iterated regret minimization in game graphs | 2010-09-03 | Paper |
| Properties of visibly pushdown transducers | 2010-09-03 | Paper |
| Efficient enumeration for conjunctive queries over X-underbar structures | 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 |
