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
COMPUTABILITY OF DATA-WORD TRANSDUCTIONS OVER DIFFERENT DATA DOMAINS
par Exibard, Leo , Filiot, Emmanuel , Lhote, Nathan , Reynier, Pierre-Alain
Publication 2022
A Generic Solution to Register-Bounded Synthesis with an Application to Discrete Orders.
par Exibard, Leo , Filiot, Emmanuel , Khalimov, Ayrat
Publication 2022-07-01
Reactive Synthesis of Systems over Data Words
par Exibard, Leo , Filiot, Emmanuel , Reynier, Pierre-Alain
Publication 2019-03-11

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.