Nathan Lhote

38 papers A* 8B 7Journal 20Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
Expregular functions.
CoRR
Thomas Colcombet, Nathan Lhote, Pierre Ohlmann
2026 B conf
Well-quasi-orderings on word languages.
FoSSaCS
Nathan Lhote, Aliaume Lopez, Lia Schütze
2025 A* conf
A Collapse of the Parity Index Hierarchy of Tree Automata, Based on Cantor-Bendixson Ranks.
ICALP
Karoliina Lehtinen, Nathan Lhote
2025 B conf
Lexicographic Transductions of Finite Words.
MFCS
Emmanuel Filiot, Nathan Lhote, Pierre-Alain Reynier
2025 J jnl
Lexicographic transductions of finite words.
CoRR
Emmanuel Filiot, Pierre-Alain Reynier, Nathan Lhote
2025 J jnl
The structure of polynomial growth for tree automata/transducers and MSO set queries.
CoRR
Paul Gallot, Nathan Lhote, Lê Thành Dung Nguyên
2025 J jnl
Well-Quasi-Orderings on Word Languages.
CoRR
Nathan Lhote, Aliaume Lopez, Lia Schütze
2024 B conf
Minimizing Cost Register Automata over a Field.
MFCS
Yahia Idriss Benalioua, Nathan Lhote, Pierre-Alain Reynier
2024 A* conf
Uniformisation of Regular Relations in First-Order Logic with Two Variables.
LICS
Nathan Lhote, Vincent Michielini, Michal Skrzypczak
2023 J jnl
Register Minimization of Cost Register Automata over a Field.
CoRR
Yahia Idriss Benalioua, Nathan Lhote, Pierre-Alain Reynier
2022 J jnl
A robust class of linear recurrence sequences.
Inf. Comput.
Corentin Barloy, Nathanaël Fijalkow, Nathan Lhote, Filip Mazowiecki
2022 J jnl
Computability of Data-Word Transductions over Different Data Domains.
Log. Methods Comput. Sci.
Léo Exibard, Emmanuel Filiot, Nathan Lhote, Pierre-Alain Reynier
2022 J jnl
Synthesis of Computable Regular Functions of Infinite Words.
Log. Methods Comput. Sci.
Vrunda Dave, Emmanuel Filiot, Shankara Narayanan Krishna, Nathan Lhote
2022 B conf
Weighted Automata and Expressions over Pre-Rational Monoids.
CSL
Nicolas Baudru, Louis-Marie Dando, Nathan Lhote, Benjamin Monmege, Pierre-Alain Reynier, Jean-Marc Talbot
2021 J jnl
Computability of Data-Word Transductions over Different Data Domains.
CoRR
Léo Exibard, Emmanuel Filiot, Nathan Lhote, Pierre-Alain Reynier
2021 J jnl
Weighted Automata and Expressions over Pre-Rational Monoids.
CoRR
Nicolas Baudru, Louis-Marie Dando, Nathan Lhote, Benjamin Monmege, Pierre-Alain Reynier, Jean-Marc Talbot
2020 B conf
A Robust Class of Linear Recurrence Sequences.
CSL
Corentin Barloy, Nathanaël Fijalkow, Nathan Lhote, Filip Mazowiecki
2020 A* conf
Pebble Minimization of Polyregular Functions.
LICS
Nathan Lhote
2020 B conf
Synthesis of Computable Regular Functions of Infinite Words.
CONCUR
Vrunda Dave, Emmanuel Filiot, Shankara Narayanan Krishna, Nathan Lhote
2019 J jnl
A Robust Class of Linear Recurrence Sequences.
CoRR
Corentin Barloy, Nathanaël Fijalkow, Nathan Lhote, Filip Mazowiecki
2019 J jnl
Deciding the Computability of Regular Functions over Infinite Words.
CoRR
Vrunda Dave, Emmanuel Filiot, Shankara Narayanan Krishna, Nathan Lhote
2019 J jnl
Equivalence kernels of sequential functions and sequential observation synthesis.
CoRR
Paulin Fournier, Nathan Lhote
2019 J jnl
Logical and Algebraic Characterizations of Rational Transductions.
Log. Methods Comput. Sci.
Emmanuel Filiot, Olivier Gauwin, Nathan Lhote
2019 A* conf
String-to-String Interpretations With Polynomial-Size Output.
ICALP
Mikolaj Bojanczyk, Sandra Kiefer, Nathan Lhote
2019 J jnl
String-to-String Interpretations with Polynomial-Size Output.
CoRR
Mikolaj Bojanczyk, Sandra Kiefer, Nathan Lhote
2019 B conf
Uniformisation Gives the Full Strength of Regular Languages.
MFCS
Nathan Lhote, Vincent Michielini, Michal Skrzypczak
2018 — —
Definability and synthesis of transductions. (Définissabilité et synthèse de transductions).
Nathan Lhote
2018 A* conf
Logics for Word Transductions with Synthesis.
LICS
Luc Dartois, Emmanuel Filiot, Nathan Lhote
2018 — conf
On Canonical Models for Rational Functions over Infinite Words.
FSTTCS
Emmanuel Filiot, Olivier Gauwin, Nathan Lhote, Anca Muscholl
2017 J jnl
Decidable Logics for Transductions and Data Words.
CoRR
Luc Dartois, Emmanuel Filiot, Nathan Lhote
2017 J jnl
Logical and Algebraic Characterizations of Rational Transductions.
CoRR
Emmanuel Filiot, Olivier Gauwin, Nathan Lhote
2017 J jnl
On Delay and Regret Determinization of Max-Plus Automata.
CoRR
Emmanuel Filiot, Ismaël Jecker, Nathan Lhote, Guillermo A. Pérez, Jean-François Raskin
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
2017 A* conf
On delay and regret determinization of max-plus automata.
LICS
Emmanuel Filiot, Ismaël Jecker, Nathan Lhote, Guillermo A. Pérez, Jean-François Raskin
2016 — conf
Aperiodicity of Rational Functions Is PSPACE-Complete.
FSTTCS
Emmanuel Filiot, Olivier Gauwin, Nathan Lhote
2016 A* conf
First-order definability of rational transductions: An algebraic approach.
LICS
Emmanuel Filiot, Olivier Gauwin, Nathan Lhote
2015 J jnl
Towards an algebraic characterization of rational word functions.
CoRR
Nathan Lhote