‪Paul Gallot‬ - ‪Google Scholar‬

Eigenes Profil erstellen

Zitiert von

	Alle	Seit 2019
Zitate	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

Bestätigte E-Mail-Adresse bei uni-bremen.de

Automata theory language processing Tree data strutures


Titel Nach Zitationen sortieren Nach Jahr sortieren Nach Titel sortieren	Zitiert von Zitiert von	Jahr
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

Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.

Artikel 1–7