‪Paul Gallot‬ - ‪Google Scholar‬

Skapa en profil

Citeras av

	Alla	Sedan 2019
Citat	19	17
h-index	2	2
i10-index	0	0

0

4

2

201720182019202020212022202320242 4 2 3 3 2 3

Paul Gallot

Paul Gallot

Computer science Postdoc, University of Bremen

Verifierad e-postadress på uni-bremen.de

Automata theory language processing Tree data strutures


Titel Sortera efter citat Sortera efter år Sortera efter titel	Citeras av Citeras av	År
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

Systemet kan inte utföra åtgärden just nu. Försök igen senare.

Artiklar 1–7