Luc Dartois

According to our database, Luc Dartois authored at least 16 papers between 2010 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Reversible Transducers over Infinite Words.

Luc Dartois, Paul Gastin, Loïc Germerie Guizouarn, R. Govind, Shankaranarayanan Krishna

Proceedings of the 35th International Conference on Concurrency Theory, 2024

2022

Efficient Construction of Reversible Transducers from Regular Transducer Expressions.

Luc Dartois, Paul Gastin, R. Govind, Shankara Narayanan Krishna

Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022

2021

SD-Regular Transducer Expressions for Aperiodic Transformations.

Luc Dartois, Paul Gastin, Shankara Narayanan Krishna

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

2019

Two-Way Parikh Automata with a Visibly Pushdown Stack.

Luc Dartois, Emmanuel Filiot, Jean-Marc Talbot

Proceedings of the Foundations of Software Science and Computation Structures, 2019

2018

Aperiodic String Transducers.

Luc Dartois, Ismaël Jecker, Pierre-Alain Reynier

Int. J. Found. Comput. Sci., 2018

Logics for Word Transductions with Synthesis.

Luc Dartois, Emmanuel Filiot, Nathan Lhote

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

2017

Decidable Logics for Transductions and Data Words.

Luc Dartois, Emmanuel Filiot, Nathan Lhote

CoRR, 2017

On Reversible Transducers.

Luc Dartois, Paulin Fournier, Ismaël Jecker, Nathan Lhote

Proceedings of the 44th International Colloquium on Automata, Languages, and Programming, 2017

2016

Two-Way Visibly Pushdown Automata and Transducers.

Luc Dartois, Emmanuel Filiot, Pierre-Alain Reynier, Jean-Marc Talbot

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016

2015

Aperiodic Transducers.

Luc Dartois, Pierre-Alain Reynier

CoRR, 2015

Alternation Hierarchies of First Order Logic with Regular Predicates.

Luc Dartois, Charles Paperman

Proceedings of the Fundamentals of Computation Theory - 20th International Symposium, 2015

Aperiodic Two-way Transducers and FO-Transductions.

Olivier Carton, Luc Dartois

Proceedings of the 24th EACSL Annual Conference on Computer Science Logic, 2015

2014

Adding modular predicates.

Luc Dartois, Charles Paperman

CoRR, 2014

2013

Two-variable first order logic with modular predicates over words.

Luc Dartois, Charles Paperman

Proceedings of the 30th International Symposium on Theoretical Aspects of Computer Science, 2013

2010

Rankers over Infinite Words

Luc Dartois, Manfred Kufleitner, Alexander Lauser

CoRR, 2010

Rankers over Infinite Words - (Extended Abstract).

Luc Dartois, Manfred Kufleitner, Alexander Lauser

Proceedings of the Developments in Language Theory, 14th International Conference, 2010