Luc Dartois

Identifiants chercheurs

IdHAL :

ldartois

ORCID :

0000-0001-9974-1922

arXiv :

dartois_l_1

Publications

Article dans une revue (1)

Aperiodic String Transducers Luc Dartois,Ismaël Jecker,Pierre-Alain Reynier International Journal of Foundations of Computer Science, 2018 Article dans une revue hal-02003676v1

Communication dans un congrès (8)

Reversible Pebble Transducers Luc Dartois,Paul Gastin,Loïc Germerie Guizouarn,Shankaranarayanan Krishna CONCUR 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-05303982v1
Reversible Transducers over Infinite Words Luc Dartois,Paul Gastin,Germerie Loïc,R. Govind,Shankaranarayanan Krishna CONCUR 24, Sep 2024, Calgary, Canada. ⟨10.4230/LIPIcs.CONCUR.2024.21⟩ Communication dans un congrès hal-04708807v1
Efficient Construction of Reversible Transducers from Regular Transducer Expressions Paul Gastin,Luc Dartois,R. Govind,Shankara Narayanan Krishna 37th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS ’22), Aug 2022, Haifa, Israel Communication dans un congrès hal-03772628v1
SD-Regular Transducer Expressions for Aperiodic Transformations Luc Dartois,Paul Gastin,Shankara Narayanan 36th Annual Symposium on Logic in Computer Science (LICS'2021), Jun 2021, Rome, Italy. ⟨10.1109/LICS52264.2021.9470738⟩ Communication dans un congrès hal-03283013v1
Two-Way Parikh Automata with a Visibly Pushdown Stack Luc Dartois,Emmanuel Filiot,Jean-Marc Talbot FOSSACS 2019, Apr 2019, Pragues, Czech Republic. pp.189-206, ⟨10.1007/978-3-030-17127-8_11⟩ Communication dans un congrès hal-02162279v1
On Reversible Transducers Luc Dartois,Paulin Fournier,Ismaël Jecker,Nathan Lhote ICALP 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-02926244v1
Two-Way Visibly Pushdown Automata and Transducers Luc Dartois,Emmanuel Filiot,Pierre-Alain Reynier,Jean-Marc Talbot Proc. 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-01475442v1
Aperiodic String Transducers Luc Dartois,Ismaël Jecker,Pierre-Alain Reynier Proc. 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-01475444v1

Pré-publication, Document de travail (1)

Adding modular predicates to first-order fragments Luc Dartois,Charles Paperman 2015 Pré-publication, Document de travail hal-00934622v3