Paul Gallot

According to our database, Paul Gallot authored at least 4 papers between 2017 and 2024.

Collaborative distances:

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

2024

Deciding Linear Height and Linear Size-To-Height Increase of Macro Tree Transducers.

Paul Gallot, Sebastian Maneth, Keisuke Nakano, Charles Peyrat

Proceedings of the 51st International Colloquium on Automata, Languages, and Programming, 2024

2021

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

PhD thesis, 2021

2020

Linear High-Order Deterministic Tree Transducers with Regular Look-Ahead.

Paul Gallot, Aurélien Lemay, Sylvain Salvati

Proceedings of the 45th International Symposium on Mathematical Foundations of Computer Science, 2020

2017

On the Decomposition of Finite-Valued Streaming String Transducers.

Paul Gallot, Anca Muscholl, Gabriele Puppis, Sylvain Salvati

Proceedings of the 34th Symposium on Theoretical Aspects of Computer Science, 2017