Synthesis of Data Word Transducers

Exibard, Leo; Filiot, Emmanuel; Reynier, Pierre-Alain; Fokkink, Wan; Van Glabbeek, Rob J.

Recherche avancée | Historique de recherche Mon DI-fusion | À propos de DI-fusion | Contact |

Citer

Synthesis of Data Word Transducers

par Exibard, Leo

;Filiot, Emmanuel

;Reynier, Pierre-Alain

Editeur scientifique Fokkink, Wan ;Van Glabbeek, Rob J.
Référence International Conference on Concurrency Theory(30: August 26-31: Amsterdam), 30th International Conference on Concurrency Theory, CONCUR 2019, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
Publication A Paraître, 2019-08-31

Publication dans des actes

Fichier(s) déposé(s) par l'encodeur

Documents en relation

DI-fusion

Synthesis of Data Word Transducers
par Exibard, Leo , Filiot, Emmanuel , Reynier, Pierre-Alain
Publication 2021-01-01
Synthesis of data word transducers
par Exibard, Leo , Filiot, Emmanuel , Reynier, Pierre-Alain
Publication 2019-08-01
Passive Learning of Regular Data Languages in Polynomial Time and Data
par Balachander, Mrudula , Filiot, Emmanuel , Gentilini, Raffaella
Publication 2024-09-01
Synthesizing Computable Functions from Rational Specifications Over Infinite Words
par Filiot, Emmanuel , Winter, Sarah
Publication 2024-01-01
COMPUTABILITY OF DATA-WORD TRANSDUCTIONS OVER DIFFERENT DATA DOMAINS
par Exibard, Leo , Filiot, Emmanuel , Lhote, Nathan , Reynier, Pierre-Alain
Publication 2022

Référencement	Visibilité	Pérennité	Facilité
Les publications encodées constituent la bibliographie académique de l'Université.	Les documents déposés sont indexés par les moteurs de recherche (Google Scholar,…).	Les documents déposés en open-access sont archivés au sein du réseau de préservation SAFE-PLN (www.safepln.org).	Les listes de publications sont compatibles avec le CV-ULB, le FNRS et accessibles sur le web.