‪Paul Gallot‬ - ‪Google Scholar‬

Mijn eigen profiel maken

Geciteerd door

	Alles	Sinds 2019
Citaties	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

Geverifieerd e-mailadres voor uni-bremen.de

Automata theory language processing Tree data strutures


Titel Sorteren op citaties Sorteren op jaar Sorteren op titel	Geciteerd door Geciteerd door	Jaar
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

Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.

Artikelen 1–7