Luc Dartois
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
14
Venues
9
Active years
2010–2026
Best venue rank
A*
Where they publish
Papers
14 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | MFCS | Hamming Distance Between Finite Transducers. | Luc Dartois, Pierre-Cyrille Ham, Ismal Jecker, Silvio Vescovo |
| 2025 | CONCUR | Reversible Pebble Transducers. | Luc Dartois, Paul Gastin, Loc Germerie Guizouarn, Shankaranarayanan Krishna |
| 2024 | CONCUR | Reversible Transducers over Infinite Words. | Luc Dartois, Paul Gastin, Loc Germerie Guizouarn, R. Govind, Shankaranarayanan Krishna |
| 2022 | LICS | Efficient Construction of Reversible Transducers from Regular Transducer Expressions. | Luc Dartois, Paul Gastin, R. Govind, Shankara Narayanan Krishna |
| 2021 | LICS | SD-Regular Transducer Expressions for Aperiodic Transformations. | Luc Dartois, Paul Gastin, Shankara Narayanan Krishna |
| 2019 | FOSSACS | Two-Way Parikh Automata with a Visibly Pushdown Stack. | Luc Dartois, Emmanuel Filiot, Jean-Marc Talbot |
| 2018 | LICS | Logics for Word Transductions with Synthesis. | Luc Dartois, Emmanuel Filiot, Nathan Lhote |
| 2017 | ICALP | On Reversible Transducers. | Luc Dartois, Paulin Fournier, Ismal Jecker, Nathan Lhote |
| 2016 | DLT | Aperiodic String Transducers. | Luc Dartois, Ismal Jecker, Pierre-Alain Reynier |
| 2016 | LICS | Two-Way Visibly Pushdown Automata and Transducers. | Luc Dartois, Emmanuel Filiot, Pierre-Alain Reynier, Jean-Marc Talbot |
| 2015 | CSL | Aperiodic Two-way Transducers and FO-Transductions. | Olivier Carton, Luc Dartois |
| 2015 | FCT | Alternation Hierarchies of First Order Logic with Regular Predicates. | Luc Dartois, Charles Paperman |
| 2013 | STACS | Two-variable first order logic with modular predicates over words. | Luc Dartois, Charles Paperman |
| 2010 | DLT | Rankers over Infinite Words - (Extended Abstract). | Luc Dartois, Manfred Kufleitner, Alexander Lauser |