Lo Exibard
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
7
Active years
2017–2025
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CONCUR | Monitorability for the Modal Mu-Calculus over Systems with Data: From Practice to Theory. | Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Lo Exibard, Adrian Francalanza, Anna Inglfsdttir, Karoliina Lehtinen |
| 2022 | Coordination | A Monitoring Tool for Linear-Time μHML. | Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Lo Exibard, Adrian Francalanza, Anna Inglfsdttir |
| 2022 | Coordination | A Synthesis Tool for Optimal Monitors in a Branching-Time Setting. | Antonis Achilleos, Lo Exibard, Adrian Francalanza, Karoliina Lehtinen, Jasmine Xuereb |
| 2022 | ICALP | A Generic Solution to Register-Bounded Synthesis with an Application to Discrete Orders. | Lo Exibard, Emmanuel Filiot, Ayrat Khalimov |
| 2021 | STACS | Church Synthesis on Register Automata over Linearly Ordered Data Domains. | Lo Exibard, Emmanuel Filiot, Ayrat Khalimov |
| 2020 | FOSSACS | On Computability of Data Word Functions Defined by Transducers. | Lo Exibard, Emmanuel Filiot, Pierre-Alain Reynier |
| 2019 | CONCUR | Synthesis of Data Word Transducers. | Lo Exibard, Emmanuel Filiot, Pierre-Alain Reynier |
| 2018 | MFCS | The Complexity of Transducer Synthesis from Multi-Sequential Specifications. | Lo Exibard, Emmanuel Filiot, Ismal Jecker |
| 2017 | DLT | Two-Way Two-Tape Automata. | Olivier Carton, Lo Exibard, Olivier Serre |