On the Decomposition of Finite-Valued Streaming String Transducers. - Paul Gallot; Anca Muscholl; Gabriele Puppis; Sylvain Salvati (STACS, 2017)

Linear High-Order Deterministic Tree Transducers with Regular Look-Ahead. - Paul Gallot; Aurélien Lemay; Sylvain Salvati (MFCS, 2020)

Safety of transformations of data trees: Tree transducer theory applied to a verification problem on shell scripts. (Vérification de tranformations de données arborescentes / Vérification de tranformations de données arborescentes: La théorie des transducteurs d'arbres appliquée à un problème de vérification sur les scripts shell). - Paul Gallot (2021)

Deciding Linear Height and Linear Size-To-Height Increase of Macro Tree Transducers. - Paul Gallot; Sebastian Maneth; Keisuke Nakano 001; Charles Peyrat (ICALP, 2024)

Shape Preserving Tree Transducers. - Paul Gallot; Sebastian Maneth (CIAA, 2025)

The structure of polynomial growth for tree automata/transducers and MSO set queries. - Paul Gallot; Nathan Lhote; Lê Thành Dung Nguyên (CoRR, 2025)

On groups with EDT0L word problem. - Alex Bishop; Murray Elder; Alex Evetts; Paul Gallot; Alex Levine (CoRR, 2025)