| Publication | Date of Publication | Type |
|---|
| On canonical models for rational functions over infinite words | 2022-07-21 | Paper |
Untwisting two-way transducers in elementary time
(available as arXiv preprint) | 2021-01-19 | Paper |
| Untwisting two-way transducers in elementary time | 2021-01-19 | Paper |
Minimization of visibly pushdown automata is NP-complete
(available as arXiv preprint) | 2020-02-17 | Paper |
Logical and algebraic characterizations of rational transductions
(available as arXiv preprint) | 2020-01-03 | Paper |
Streamability of nested word transductions
(available as arXiv preprint) | 2019-05-17 | Paper |
scientific article; zbMATH DE number 7003194 (Why is no real title available?)
(available as arXiv preprint) | 2019-01-18 | 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 |
| Minimizing resources of sweeping and streaming string transducers | 2017-12-19 | Paper |
| One-way definability of sweeping transducer | 2017-07-13 | Paper |
From two-way to one-way finite state transducers
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science | 2017-07-03 | Paper |
Early nested word automata for XPath query answering on XML streams
Theoretical Computer Science | 2015-05-18 | Paper |
| Tree automata | 2014-06-03 | Paper |
Early Nested Word Automata for XPath Query Answering on XML Streams
Implementation and Application of Automata | 2013-08-07 | Paper |
Visibly pushdown automata: universality and inclusion via antichains
Language and Automata Theory and Applications | 2013-03-18 | Paper |
An aperiodicity problem for multiwords
RAIRO. Theoretical Informatics and Applications | 2012-08-31 | Paper |
| Streamability of nested word transductions | 2012-08-31 | Paper |
An aperiodicity problem for multiwords
RAIRO. Theoretical Informatics and Applications | 2012-08-31 | Paper |
Streamable fragments of forward XPath
Implementation and Application of Automata | 2011-07-29 | Paper |
Queries on XML streams with bounded delay and concurrency
Information and Computation | 2011-07-27 | Paper |
Efficient enumeration for conjunctive queries over X-underbar structures
Computer Science Logic | 2010-09-03 | Paper |
Streaming tree automata
Information Processing Letters | 2010-06-09 | Paper |
Earliest Query Answering for Deterministic Nested Word Automata
Fundamentals of Computation Theory | 2009-10-20 | Paper |
Bounded Delay and Concurrency for Earliest Query Answering
Language and Automata Theory and Applications | 2009-04-02 | Paper |
Conciliation through Iterated Belief Merging
Journal Of Logic And Computation | 2007-12-10 | Paper |
Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Lecture Notes in Computer Science | 2006-06-23 | Paper |
