Luc Dartois

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