Mathieu Lehaut
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
4
Active years
2018–2026
Best venue rank
B
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FOSSACS | From Trees to Tree-Like: Distribution and Synthesis for Asynchronous Automata. | Mathieu Lehaut, Anca Muscholl, Nir Piterman |
| 2026 | STACS | One-Clock Synthesis Problems. | Slawomir Lasota, Mathieu Lehaut, Julie Parreaux, Radoslaw Pirkowski |
| 2024 | ATVA | Distribution of Reconfiguration Languages Maintaining Tree-Like Communication Topology. | Daniel Hausmann, Mathieu Lehaut, Nir Piterman |
| 2024 | FORTE | Synthesis for Prefix First-Order Logic on Data Words. | Julien Grange, Mathieu Lehaut |
| 2024 | FOSSACS | Symbolic Solution of Emerson-Lei Games for Reactive Synthesis. | Daniel Hausmann, Mathieu Lehaut, Nir Piterman |
| 2020 | FOSSACS | Parameterized Synthesis for Fragments of First-Order Logic Over Data Words. | Batrice Brard, Benedikt Bollig, Mathieu Lehaut, Nathalie Sznajder |
| 2018 | ATVA | Round-Bounded Control of Parameterized Systems. | Benedikt Bollig, Mathieu Lehaut, Nathalie Sznajder |