‪Paul Gallot‬ - ‪Google 학술 검색‬

내 프로필 만들기

인용

	전체	2019년 이후
서지정보	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

uni-bremen.de의 이메일 확인됨

Automata theory language processing Tree data strutures


제목 서지정보순 정렬 연도순 정렬 제목순 정렬	인용 인용	연도
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

현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.

학술자료 1–7