Gaëtan Douéneau-Tabot

17 papers A* 4B 5Journal 8
YearRankTypeTitle / Venue / Authors
2023 A* conf
Deterministic Regular Functions of Infinite Words.
ICALP
Olivier Carton, Gaëtan Douéneau-Tabot, Emmanuel Filiot, Sarah Winter
2023 J jnl
Deterministic regular functions of infinite words.
CoRR
Olivier Carton, Gaëtan Douéneau-Tabot, Emmanuel Filiot, Sarah Winter
2023 B conf
Pebble minimization: the last theorems.
FoSSaCS
Gaëtan Douéneau-Tabot
2023 A* conf
ℤ-polyregular functions.
LICS
Thomas Colcombet, Gaëtan Douéneau-Tabot, Aliaume Lopez
2022 B conf
Continuous Rational Functions Are Deterministic Regular.
MFCS
Olivier Carton, Gaëtan Douéneau-Tabot
2022 J jnl
Continuous rational functions are deterministic regular.
CoRR
Olivier Carton, Gaëtan Douéneau-Tabot
2022 A* conf
Hiding Pebbles When the Output Alphabet Is Unary.
ICALP
Gaëtan Douéneau-Tabot
2022 J jnl
Pebble minimization: the last theorems.
CoRR
Gaëtan Douéneau-Tabot
2022 J jnl
Z-polyregular functions.
CoRR
Thomas Colcombet, Gaëtan Douéneau-Tabot, Aliaume Lopez
2021 J jnl
Hiding pebbles when the output alphabet is unary.
CoRR
Gaëtan Douéneau-Tabot
2021 B conf
Pebble Transducers with Unary Output.
MFCS
Gaëtan Douéneau-Tabot
2021 J jnl
Pebble transducers with unary output.
CoRR
Gaëtan Douéneau-Tabot
2020 B conf
Register Transducers Are Marble Transducers.
MFCS
Gaëtan Douéneau-Tabot, Emmanuel Filiot, Paul Gastin
2020 J jnl
Register transducers are marble transducers.
CoRR
Gaëtan Douéneau-Tabot, Emmanuel Filiot, Paul Gastin
2018 B conf
Chain-Monadic Second Order Logic over Regular Automatic Trees and Epistemic Planning Synthesis.
Advances in Modal Logic
Gaëtan Douéneau-Tabot, Sophie Pinchinat, François Schwarzentruber
2018 J jnl
Comparing the power of advice strings: a notion of complexity for infinite words.
CoRR
Gaëtan Douéneau-Tabot
2018 A* conf
On the Complexity of Infinite Advice Strings.
ICALP
Gaëtan Douéneau-Tabot