Paul Gallot

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Deciding Linear Height and Linear Size-To-Height Increase of Macro Tree Transducers.
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).
PhD thesis, 2021

2020
Linear High-Order Deterministic Tree Transducers with Regular Look-Ahead.
Proceedings of the 45th International Symposium on Mathematical Foundations of Computer Science, 2020

2017
On the Decomposition of Finite-Valued Streaming String Transducers.
Proceedings of the 34th Symposium on Theoretical Aspects of Computer Science, 2017


  Loading...