6
3
1
|
|
Aperiodic String TransducersInternational Journal of Foundations of Computer Science, 2018
Article dans une revue
hal-02003676
v1
|
|
|
Reversible Pebble TransducersCONCUR 2025 - 36th International Conference on Concurrency Theory, Aug 2025, Aarhus, Denmark. pp.14:1-14:22, ⟨10.4230/LIPIcs.CONCUR.2025.14⟩
Communication dans un congrès
hal-05303982
v1
|
|
|
Reversible Transducers over Infinite WordsCONCUR 24, Sep 2024, Calgary, Canada. ⟨10.4230/LIPIcs.CONCUR.2024.21⟩
Communication dans un congrès
hal-04708807
v1
|
|
|
Efficient Construction of Reversible Transducers from Regular Transducer Expressions37th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS ’22), Aug 2022, Haifa, Israel
Communication dans un congrès
hal-03772628
v1
|
|
|
SD-Regular Transducer Expressions for Aperiodic Transformations36th Annual Symposium on Logic in Computer Science (LICS'2021), Jun 2021, Rome, Italy. ⟨10.1109/LICS52264.2021.9470738⟩
Communication dans un congrès
hal-03283013
v1
|
|
|
Two-Way Parikh Automata with a Visibly Pushdown StackFOSSACS 2019, Apr 2019, Pragues, Czech Republic. pp.189-206, ⟨10.1007/978-3-030-17127-8_11⟩
Communication dans un congrès
hal-02162279
v1
|
|
|
On Reversible TransducersICALP 2017 - 44th International Colloquium on Automata, Languages, and Programming, Jul 2017, Varsovie, Poland. ⟨10.4230/LIPIcs.ICALP.2017.113⟩
Communication dans un congrès
hal-02926244
v1
|
|
|
Two-Way Visibly Pushdown Automata and TransducersProc. 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS'16), 2016, Unknown, Unknown Region. pp.217--226, ⟨10.1145/2933575.2935315⟩
Communication dans un congrès
hal-01475442
v1
|
|
|
Aperiodic String TransducersProc. 20th International Conference on Developments in Language Theory (DLT 2016), 2016, Unknown, Unknown Region. pp.125-137, ⟨10.1007/978-3-662-53132-7_11⟩
Communication dans un congrès
hal-01475444
v1
|
|
|
Adding modular predicates to first-order fragments2015
Pré-publication, Document de travail
hal-00934622
v3
|