| Publication | Date of Publication | Type |
|---|
| Minimizing streaming string transducers: an algebraic approach | 2026-09-23 | Paper |
| Well-quasi-orderings on word languages | 2026-08-24 | Paper |
| Lexicographic transductions of finite words | 2026-08-05 | Paper |
| Minimizing cost register automata over a field | 2026-05-12 | Paper |
| Uniformisation of regular relations in first-order logic with two variables | 2025-06-18 | Paper |
| A collapse of the parity index hierarchy of tree automata, based on Cantor-Bendixson ranks | 2025-01-01 | Paper |
scientific article; zbMATH DE number 7830362 (Why is no real title available?)
(available as arXiv preprint) | 2024-04-10 | Paper |
| scientific article; zbMATH DE number 7650822 (Why is no real title available?) | 2023-02-07 | Paper |
A robust class of linear recurrence sequences
Information and Computation | 2022-12-08 | Paper |
Computability of data-word transductions over different data domains
(available as arXiv preprint) | 2022-08-30 | Paper |
| Computability of data-word transductions over different data domains | 2022-08-30 | Paper |
Synthesis of computable regular functions of infinite words
(available as arXiv preprint) | 2022-08-02 | Paper |
| Synthesis of computable regular functions of infinite words | 2022-08-02 | Paper |
| On canonical models for rational functions over infinite words | 2022-07-21 | Paper |
String-to-string interpretations with polynomial-size output
(available as arXiv preprint) | 2022-07-21 | Paper |
| scientific article; zbMATH DE number 7561705 (Why is no real title available?) | 2022-07-21 | Paper |
| scientific article; zbMATH DE number 7559499 (Why is no real title available?) | 2022-07-18 | Paper |
Pebble Minimization of Polyregular Functions
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-21 | Paper |
Logics for word transductions with synthesis
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-20 | Paper |
On delay and regret determinization of max-plus automata
(available as arXiv preprint) | 2021-01-19 | Paper |
| On delay and regret determinization of max-plus automata | 2021-01-19 | Paper |
On reversible transducers
(available as arXiv preprint) | 2020-05-27 | Paper |
Logical and algebraic characterizations of rational transductions
(available as arXiv preprint) | 2020-01-03 | Paper |
First-order definability of rational transductions: an algebraic approach
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
| scientific article; zbMATH DE number 6862041 (Why is no real title available?) | 2018-04-19 | Paper |
| Edge arboricity : Do we need equitabilility ? | 2017-05-02 | Paper |
WITHDRAWN: Edge arboricity : Do we need equitabilility ?
(available as arXiv preprint) | 2017-01-01 | Paper |
