A Generic Solution to Register-Bounded Synthesis with an Application to Discrete Orders.

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

Référence Automata, languages and programming, page (1-19), 122
Publication Publié, 2022-07-01

Article révisé par les pairs

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

Church synthesis on register automata over linearly ordered data domains
par Exibard, Leo , Filiot, Emmanuel , Khalimov, Ayrat
Publication 2021-04-19
A Regular and Complete Notion of Delay for Streaming String Transducers
par Filiot, Emmanuel
Publication Schloss Dagstuhl - Leibniz-Zentrum f"ur Informatik, 2023
A macro-to-microscale scientific investigation of The Visitation panel: insights into its materiality and metal oxalate alteration phenomenon
par Mederos-Henry, Fransisco , De Meyer, Steven , Vanmeert, Frederik , Sanyova, Jana , Bucken, Véronique J.
Publication Brussels, Milan, Royal Museums of Fine Arts of Belgium & Silvana Editoriale, 2024-10-01
LTL Reactive Synthesis with a Few Hints
par Balachander, Mrudula , Filiot, Emmanuel , Raskin, Jean-François
Publication Springer, 2023
Connectivity and climate change drive the global distribution of highly invasive termites
par Duquesne, Edouard , Fournier, Denis
Publication 2024-04-30

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.