Следене
Paul Gallot
Paul Gallot
Computer science Postdoc, University of Bremen
Потвърден имейл адрес: uni-bremen.de
Заглавие
Позовавания
Позовавания
Година
On the decomposition of finite-valued streaming string transducers
P Gallot, A Muscholl, G Puppis, S Salvati
34th International Symposium on Theoretical Aspects of Computer Science (STACS), 2017
92017
Linear high-order deterministic tree transducers with regular look-ahead
P Gallot, A Lemay, S Salvati
82020
Safety of transformations of data trees: tree transducer theory applied to a verification problem on shell scripts
PD Gallot
Université de Lille, 2021
22021
Safety of data transformations
P Gallot
2021
Vérification de tranformations de données arborescentes
P Gallot
2021
Vérification de transformations de données arborescentes: les transducteurs d'arbres appliqués à un problème de vérification sur des scripts shell
PD Gallot
2021
Problème de correspondance de Post
P Gallot, K Massard
2013
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–7