Luc Dartois

100%
Libre accès
10
Documents
Affiliation actuelle
  • Laboratoire d'Algorithmique Complexité et Logique (LACL)
Identifiants chercheurs
Contact

Domaines de recherche

Théorie et langage formel [cs.FL]

Publications

6
3
1
3
3
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
4
3
3
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
2
1
5
4
1

Publications

Image document

Aperiodic String Transducers

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

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-05303982 v1
Image document

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-04708807 v1
Image document

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-03772628 v1
Image document

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-03283013 v1
Image document

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-02162279 v1
Image document

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-02926244 v1

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-01475442 v1

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-01475444 v1