Lucie Guillou
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2021–2026
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ICALP | Population Protocols over Ordered Agents. | Michael Blondin, Michal Cadilhac, Benjamin Courchesne, Lucie Guillou, Corto Mascle, Isa Vialard |
| 2025 | MFCS | Wait-Only Broadcast Protocols Are Easier to Verify. | Lucie Guillou, Arnaud Sangnier, Nathalie Sznajder |
| 2024 | CONCUR | Phase-Bounded Broadcast Networks over Topologies of Communication. | Lucie Guillou, Arnaud Sangnier, Nathalie Sznajder |
| 2024 | FOSSACS | Parameterized Broadcast Networks with Registers: from NP to the Frontiers of Decidability. | Lucie Guillou, Corto Mascle, Nicolas Waldburger |
| 2023 | CONCUR | Safety Analysis of Parameterised Networks with Non-Blocking Rendez-Vous. | Lucie Guillou, Arnaud Sangnier, Nathalie Sznajder |
| 2022 | FOSSACS | Parameterized Analysis of Reconfigurable Broadcast Networks. | A. R. Balasubramanian, Lucie Guillou, Chana Weil-Kennedy |
| 2021 | PACT | Consensus-Free Ledgers When Operations of Distinct Processes are Commutative. | Davide Frey, Lucie Guillou, Michel Raynal, Franois Taani |