| Publication | Date of Publication | Type |
|---|
| A Ramsey theorem for finite monoids | 2026-04-21 | Paper |
Decomposing permutation automata
Journal of Computer and System Sciences | 2025-12-11 | Paper |
History-deterministic Parikh automata
ACM Transactions on Computational Logic | 2025-08-22 | Paper |
| New lower bounds for reachability in vector addition systems | 2025-07-28 | Paper |
| History-deterministic Parikh automata | 2025-06-26 | Paper |
| Determinisation and unambiguisation of polynomially-ambiguous rational weighted automata | 2025-06-18 | Paper |
| Finite-valued streaming string transducers | 2025-06-18 | Paper |
Finite-valued streaming string transducers
TheoretiCS | 2025-03-06 | Paper |
| A regular and complete notion of delay for streaming string transducers | 2024-10-08 | Paper |
| Complexity of spatial games | 2024-09-12 | Paper |
| Parikh automata over Infinite words | 2024-09-12 | Paper |
On the complexity of intersection non-emptiness for star-free language classes
(available as arXiv preprint) | 2024-02-05 | Paper |
A bit of nondeterminism makes pushdown automata expressive and succinct
Logical Methods in Computer Science | 2024-01-16 | Paper |
scientific article; zbMATH DE number 7788376 (Why is no real title available?)
(available as arXiv preprint) | 2024-01-15 | Paper |
scientific article; zbMATH DE number 7730620 (Why is no real title available?)
(available as arXiv preprint) | 2023-08-21 | Paper |
| A bit of nondeterminism makes pushdown automata expressive and succinct | 2023-08-08 | Paper |
Operational complexity and pumping lemmas
Acta Informatica | 2022-08-30 | Paper |
| scientific article; zbMATH DE number 7559422 (Why is no real title available?) | 2022-07-18 | Paper |
scientific article; zbMATH DE number 7559393 (Why is no real title available?)
(available as arXiv preprint) | 2022-07-18 | Paper |
scientific article; zbMATH DE number 7533335 (Why is no real title available?)
(available as arXiv preprint) | 2022-05-28 | Paper |
The complexity of transducer synthesis from multi-sequential specifications
(available as arXiv preprint) | 2021-08-04 | Paper |
| On delay and regret determinization of max-plus automata | 2021-01-19 | Paper |
On delay and regret determinization of max-plus automata
(available as arXiv preprint) | 2021-01-19 | Paper |
On reversible transducers
(available as arXiv preprint) | 2020-05-27 | Paper |
Aperiodic string transducers
International Journal of Foundations of Computer Science | 2018-09-20 | Paper |
Multi-sequential word relations
International Journal of Foundations of Computer Science | 2018-05-15 | Paper |
On equivalence and uniformisation problems for finite transducers
(available as arXiv preprint) | 2017-12-19 | Paper |
Degree of sequentiality of weighted automata
Lecture Notes in Computer Science | 2017-05-19 | Paper |
Degree of sequentiality of weighted automata
Lecture Notes in Computer Science | 2017-05-19 | Paper |
Aperiodic string transducers
Developments in Language Theory | 2016-08-30 | Paper |
Multi-sequential word relations
Developments in Language Theory | 2015-11-10 | Paper |
