Synthesis of Data Word Transducers

Référence Logical methods in computer science, 17, 1
Publication Publié, 2021-01-01

Article révisé par les pairs

Synthesis of data word transducers
par Exibard, Leo , Filiot, Emmanuel , Reynier, Pierre-Alain
Publication 2019-08-01
A Generic Solution to Register-Bounded Synthesis with an Application to Discrete Orders.
par Exibard, Leo , Filiot, Emmanuel , Khalimov, Ayrat
Publication 2022-07-01
Synthesis of Data Word Transducers
par Exibard, Leo , Filiot, Emmanuel , Reynier, Pierre-Alain , Fokkink, Wan , Van Glabbeek, Rob J.
Publication Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2019-08-31
COMPUTABILITY OF DATA-WORD TRANSDUCTIONS OVER DIFFERENT DATA DOMAINS
par Exibard, Leo , Filiot, Emmanuel , Lhote, Nathan , Reynier, Pierre-Alain
Publication 2022
A Regular and Complete Notion of Delay for Streaming String Transducers
par Filiot, Emmanuel
Publication Schloss Dagstuhl - Leibniz-Zentrum f"ur Informatik, 2023

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.