Léo Exibard
From MaRDI portal
Person:2200822
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| 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 Formal Methods in System Design | 2024-03-11 | Paper |
| Synthesis of Data Word Transducers | 2023-02-03 | Paper |
| scientific article; zbMATH DE number 7577573 (Why is no real title available?) (available as arXiv preprint) | 2022-08-30 | Paper |
| scientific article; zbMATH DE number 7577573 (Why is no real title available?) | 2022-08-30 | Paper |
| The complexity of transducer synthesis from multi-sequential specifications (available as arXiv preprint) | 2021-08-04 | Paper |
| Synthesis of data word transducers (available as arXiv preprint) | 2021-03-26 | Paper |
| Synthesis of data word transducers | 2021-03-26 | Paper |
| On computability of data word functions defined by transducers (available as arXiv preprint) | 2020-09-23 | Paper |
| Two-way two-tape automata (available as arXiv preprint) | 2017-10-13 | Paper |
Research outcomes over time
This page was built for person: Léo Exibard
