Consensus-Free Ledgers When Operations of Distinct Processes are Commutative. - Davide Frey; Lucie Guillou; Michel Raynal; François Taïani (PaCT, 2021)

Parameterized Analysis of Reconfigurable Broadcast Networks. - A. R. Balasubramanian; Lucie Guillou; Chana Weil-Kennedy (FoSSaCS, 2022)

Parameterized Analysis of Reconfigurable Broadcast Networks (Long Version). - A. R. Balasubramanian; Lucie Guillou; Chana Weil-Kennedy (CoRR, 2022)

Safety Analysis of Parameterised Networks with Non-Blocking Rendez-Vous. - Lucie Guillou; Arnaud Sangnier; Nathalie Sznajder (CONCUR, 2023)

Safety Verification of Wait-Only Non-Blocking Broadcast Protocols. - Lucie Guillou; Arnaud Sangnier; Nathalie Sznajder (Petri Nets, 2024)

Phase-Bounded Broadcast Networks over Topologies of Communication. - Lucie Guillou; Arnaud Sangnier; Nathalie Sznajder (CONCUR, 2024)

Parameterized Broadcast Networks with Registers: from NP to the Frontiers of Decidability. - Lucie Guillou; Corto Mascle; Nicolas Waldburger (FoSSaCS (2), 2024)

Process-commutative distributed objects: From cryptocurrencies to Byzantine-Fault-Tolerant CRDTs. - Davide Frey; Lucie Guillou; Michel Raynal; François Taïani (Theor. Comput. Sci., 2024)

Wait-Only Broadcast Protocols Are Easier to Verify. - Lucie Guillou; Arnaud Sangnier; Nathalie Sznajder (MFCS, 2025)