Paul Gallot

201720182019202020212022202320242 4 2 3 3 2 3

Paul Gallot

Computer science Postdoc, University of Bremen

Dirección de correo verificada de uni-bremen.de


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
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	9	2017
Linear high-order deterministic tree transducers with regular look-ahead P Gallot, A Lemay, S Salvati	8	2020
Safety of transformations of data trees: tree transducer theory applied to a verification problem on shell scripts PD Gallot Université de Lille, 2021	2	2021
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

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–7

Citas por año