Sign in
Lucie Guillou
ORCID
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 7
Top Topics
Fault Model
Safety Analysis
Query Answering
Primitive Operations
Top Venues
CoRR
FoSSaCS
CONCUR
PaCT
</>
Publications
</>
Lucie Guillou
,
Arnaud Sangnier
,
Nathalie Sznajder
Safety Analysis of Parameterised Networks with Non-Blocking Rendez-Vous.
CONCUR
(2023)
Lucie Guillou
,
Arnaud Sangnier
,
Nathalie Sznajder
Safety Analysis of Parameterised Networks with Non-Blocking Rendez-Vous.
CoRR
(2023)
Lucie Guillou
,
Corto Mascle
,
Nicolas Waldburger
Parameterized Broadcast Networks with Registers: from NP to the Frontiers of Decidability.
CoRR
(2023)
Davide Frey
,
Lucie Guillou
,
Michel Raynal
,
François Taïani
Process-Commutative Distributed Objects: From Cryptocurrencies to Byzantine-Fault-Tolerant CRDTs.
CoRR
(2023)
A. R. Balasubramanian
,
Lucie Guillou
,
Chana Weil-Kennedy
Parameterized Analysis of Reconfigurable Broadcast Networks (Long Version).
CoRR
(2022)
A. R. Balasubramanian
,
Lucie Guillou
,
Chana Weil-Kennedy
Parameterized Analysis of Reconfigurable Broadcast Networks.
FoSSaCS
(2022)
Davide Frey
,
Lucie Guillou
,
Michel Raynal
,
François Taïani
Consensus-Free Ledgers When Operations of Distinct Processes are Commutative.
PaCT
(2021)