Paul Gallot

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

Collaborative distances:

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

2023

Deciding Linear Height and Linear Size-to-Height Increase for Macro Tree Transducers.

Charles Peyrat, Paul Gallot, Sebastian Maneth, Keisuke Nakano

CoRR, 2023

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