Léo Exibard

Available identifiers

zbMath Open exibard.leoMaRDI QIDQ2200822

List of research outcomes

Publication	Date of Publication	Type
A generic solution to register-bounded synthesis with an application to discrete orders	2024-06-24	Paper
Church synthesis on register automata over linearly ordered data domains	2024-03-11	Paper
Synthesis of Data Word Transducers	2023-02-03	Paper
https://portal.mardi4nfdi.de/entity/Q5101342	2022-08-30	Paper
The complexity of transducer synthesis from multi-sequential specifications	2021-08-04	Paper
Synthesis of data word transducers	2021-03-26	Paper
On computability of data word functions defined by transducers	2020-09-23	Paper
Two-way two-tape automata	2017-10-13	Paper

Research outcomes over time

This page was built for person: Léo Exibard