Luc Dartois

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 19

Top Topics

Finite Automata

Top Venues

Publications

Luc Dartois, Paul Gastin, Loïc Germerie Guizouarn, R. Govind, Shankaranarayanan Krishna
Reversible Transducers over Infinite Words. CoRR (2024)
Luc Dartois, Paul Gastin, Loïc Germerie Guizouarn, R. Govind, Shankaranarayanan Krishna
Reversible Transducers over Infinite Words. CONCUR (2024)
Luc Dartois, Paul Gastin, R. Govind, Shankara Narayanan Krishna
Efficient Construction of Reversible Transducers from Regular Transducer Expressions. LICS (2022)
Luc Dartois, Paul Gastin, R. Govind, Shankara Narayanan Krishna
Efficient Construction of Reversible Transducers from Regular Transducer Expressions. CoRR (2022)
Olivier Carton, Luc Dartois
Aperiodic two-way transducers and FO-transductions. CoRR (2021)
Luc Dartois, Paul Gastin, Shankara Narayanan Krishna
SD-Regular Transducer Expressions for Aperiodic Transformations. LICS (2021)
Luc Dartois, Paul Gastin, Shankara Narayanan Krishna
SD-Regular Transducer Expressions for Aperiodic Transformations. CoRR (2021)
Luc Dartois, Emmanuel Filiot, Jean-Marc Talbot
Two-Way Parikh Automata with a Visibly Pushdown Stack. FoSSaCS (2019)
Luc Dartois, Emmanuel Filiot, Nathan Lhote
Logics for Word Transductions with Synthesis. LICS (2018)
Luc Dartois, Ismaël Jecker, Pierre-Alain Reynier
Aperiodic String Transducers. Int. J. Found. Comput. Sci. 29 (5) (2018)
Luc Dartois, Paulin Fournier, Ismaël Jecker, Nathan Lhote
On Reversible Transducers. ICALP (2017)
Luc Dartois, Paulin Fournier, Ismaël Jecker, Nathan Lhote
On Reversible Transducers. CoRR (2017)
Luc Dartois, Emmanuel Filiot, Nathan Lhote
Decidable Logics for Transductions and Data Words. CoRR (2017)
Luc Dartois, Emmanuel Filiot, Pierre-Alain Reynier, Jean-Marc Talbot
Two-Way Visibly Pushdown Automata and Transducers. LICS (2016)
Luc Dartois, Ismaël Jecker, Pierre-Alain Reynier
Aperiodic String Transducers. DLT (2016)
Luc Dartois, Emmanuel Filiot, Pierre-Alain Reynier, Jean-Marc Talbot
Two-Way Visibly Pushdown Automata and Transducers. CoRR (2016)
Luc Dartois, Charles Paperman
Alternation Hierarchies of First Order Logic with Regular Predicates. FCT (2015)
Olivier Carton, Luc Dartois
Aperiodic Two-way Transducers and FO-Transductions. CSL (2015)
Luc Dartois, Pierre-Alain Reynier
Aperiodic Transducers. CoRR (2015)
Luc Dartois, Charles Paperman
Adding modular predicates. CoRR (2014)
Luc Dartois, Charles Paperman
Two-variable first order logic with modular predicates over words. STACS (2013)
Luc Dartois, Manfred Kufleitner, Alexander Lauser
Rankers over Infinite Words - (Extended Abstract). Developments in Language Theory (2010)
Luc Dartois, Manfred Kufleitner, Alexander Lauser
Rankers over Infinite Words CoRR (2010)