L\'eo Exibard

Identifiers

• name variant L\'eo Exibard 0.60 · backfill

Papers (3)

1. The complexity of verifying the release-acquire semantics over register machines cs.PL · 2025 · author #4
2. The Complexity of Transducer Synthesis from Multi-Sequential Specifications cs.FL · 2019 · author #1
3. Two-way Two-tape Automata cs.FL · 2017 · author #2

Mentions

• 2506.08238 #4 · arxiv_oai · confidence 0.70 L\'eo Exibard

Frequent Coauthors

• Elli Anastasiadi 1 shared papers
• Emmanuel Filiot 1 shared papers
• Isma\"el Jecker 1 shared papers
• Mohamed Faouzi Atig 1 shared papers
• Olivier Carton 1 shared papers
• Olivier Serre 1 shared papers
• Parosh Abdulla 1 shared papers
• Samuel Grahn 1 shared papers