Nathan Lhote

ORCID

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 30

Top Venues

CoRR

LICS

Log. Methods Comput. Sci.

ICALP

University of Bordeaux, France (PHD)

Education History

University of Bordeaux, France

PHD

Publications

Nathan Lhote, Vincent Michielini, Michal Skrzypczak
Uniformisation of Regular Relations in First-Order Logic with Two Variables. LICS (2024)
Yahia Idriss Benalioua, Nathan Lhote, Pierre-Alain Reynier
Minimizing Cost Register Automata over a Field. MFCS (2024)
Yahia Idriss Benalioua, Nathan Lhote, Pierre-Alain Reynier
Register Minimization of Cost Register Automata over a Field. CoRR (2023)
Vrunda Dave, Emmanuel Filiot, Shankara Narayanan Krishna, Nathan Lhote
Synthesis of Computable Regular Functions of Infinite Words. Log. Methods Comput. Sci. 18 (2) (2022)
Léo Exibard, Emmanuel Filiot, Nathan Lhote, Pierre-Alain Reynier
Computability of Data-Word Transductions over Different Data Domains. Log. Methods Comput. Sci. 18 (3) (2022)
Corentin Barloy, Nathanaël Fijalkow, Nathan Lhote, Filip Mazowiecki
A robust class of linear recurrence sequences. Inf. Comput. 289 (Part) (2022)
Nicolas Baudru, Louis-Marie Dando, Nathan Lhote, Benjamin Monmege, Pierre-Alain Reynier, Jean-Marc Talbot
Weighted Automata and Expressions over Pre-Rational Monoids. CSL (2022)
Nicolas Baudru, Louis-Marie Dando, Nathan Lhote, Benjamin Monmege, Pierre-Alain Reynier, Jean-Marc Talbot
Weighted Automata and Expressions over Pre-Rational Monoids. CoRR (2021)
Léo Exibard, Emmanuel Filiot, Nathan Lhote, Pierre-Alain Reynier
Computability of Data-Word Transductions over Different Data Domains. CoRR (2021)
Corentin Barloy, Nathanaël Fijalkow, Nathan Lhote, Filip Mazowiecki
A Robust Class of Linear Recurrence Sequences. CSL (2020)
Vrunda Dave, Emmanuel Filiot, Shankara Narayanan Krishna, Nathan Lhote
Synthesis of Computable Regular Functions of Infinite Words. CONCUR (2020)
Nathan Lhote
Pebble Minimization of Polyregular Functions. LICS (2020)
Nathan Lhote
Pebble Minimization of Polyregular Functions. CoRR (2020)
Vrunda Dave, Emmanuel Filiot, Shankara Narayanan Krishna, Nathan Lhote
Deciding the Computability of Regular Functions over Infinite Words. CoRR (2019)
Nathan Lhote, Vincent Michielini, Michal Skrzypczak
Uniformisation Gives the Full Strength of Regular Languages. MFCS (2019)
Emmanuel Filiot, Olivier Gauwin, Nathan Lhote
Logical and Algebraic Characterizations of Rational Transductions. Log. Methods Comput. Sci. 15 (4) (2019)
Corentin Barloy, Nathanaël Fijalkow, Nathan Lhote, Filip Mazowiecki
A Robust Class of Linear Recurrence Sequences. CoRR (2019)
Mikolaj Bojanczyk, Sandra Kiefer, Nathan Lhote
String-to-String Interpretations with Polynomial-Size Output. CoRR (2019)
Mikolaj Bojanczyk, Sandra Kiefer, Nathan Lhote
String-to-String Interpretations With Polynomial-Size Output. ICALP (2019)
Paulin Fournier, Nathan Lhote
Equivalence kernels of sequential functions and sequential observation synthesis. CoRR (2019)
Luc Dartois, Emmanuel Filiot, Nathan Lhote
Logics for Word Transductions with Synthesis. LICS (2018)
Emmanuel Filiot, Olivier Gauwin, Nathan Lhote, Anca Muscholl
On Canonical Models for Rational Functions over Infinite Words. FSTTCS (2018)
Luc Dartois, Paulin Fournier, Ismaël Jecker, Nathan Lhote
On Reversible Transducers. ICALP (2017)
Emmanuel Filiot, Ismaël Jecker, Nathan Lhote, Guillermo A. Pérez, Jean-François Raskin
On delay and regret determinization of max-plus automata. LICS (2017)
Luc Dartois, Paulin Fournier, Ismaël Jecker, Nathan Lhote
On Reversible Transducers. CoRR (2017)
Emmanuel Filiot, Olivier Gauwin, Nathan Lhote
Logical and Algebraic Characterizations of Rational Transductions. CoRR (2017)
Emmanuel Filiot, Ismaël Jecker, Nathan Lhote, Guillermo A. Pérez, Jean-François Raskin
On Delay and Regret Determinization of Max-Plus Automata. CoRR (2017)
Luc Dartois, Emmanuel Filiot, Nathan Lhote
Decidable Logics for Transductions and Data Words. CoRR (2017)
Emmanuel Filiot, Olivier Gauwin, Nathan Lhote
Aperiodicity of Rational Functions Is PSPACE-Complete. FSTTCS (2016)
Emmanuel Filiot, Olivier Gauwin, Nathan Lhote
First-order definability of rational transductions: An algebraic approach. LICS (2016)
Nathan Lhote
Towards an algebraic characterization of rational word functions. CoRR (2015)

Nathan Lhote.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Nathan Lhote