Publications

You can find here a list of my publications. You can also refer to my dblp input.

Journals

1. Process-commutative distributed objects: From cryptocurrencies to Byzantine-Fault-Tolerant CRDTs.
   Davide Frey, LG, Michel Raynal, François Taïani. Theoretical Computer Science 2024.

Conferences

1. Wait-Only Broadcast Protocols are Easier to Verify.
   LG, Arnaud Sangnier, Nathalie Sznajder. Accepted to appear at MFCS 2025.

2. Phase-Bounded Broadcast Networks over Topologies of Communication.
   LG, Arnaud Sangnier, Nathalie Sznajder. CONCUR 2024.
   [arxiv]

3. Safety Verification of Wait-Only Non-Blocking Broadcast Protocols.
   LG, Arnaud Sangnier, Nathalie Sznajder. Petri Nets 2024. Best Paper Award.
   [arxiv]

4. Parameterized Broadcast Networks with Registers: from NP to the Frontiers of Decidability.
   LG, Corto Mascle, Nicolas Waldburger. FoSSaCS 2024.
   [arxiv]

5. Safety Analysis of Parameterised Networks with Non-Blocking Rendez-Vous.
   LG, Arnaud Sangnier, Nathalie Sznajder. CONCUR 2023.
   [arxiv]

6. Parameterized Analysis of Reconfigurable Broadcast Networks.
   A.R. Balasubramanian, LG, Chana Weil-Kennedy. FoSSaCS 2022.
   [arxiv] and [Erratum]

7. Consensus-Free Ledgers When Operations of Distinct Processes are Commutative.
   Davide Frey, LG, Michel Raynal, François Taïani. PaCT 2021.
   [hal]