Epistemic Reasoning with Byzantine-Faulty Agents. - Roman Kuznets; Laurent Prosperi; Ulrich Schmid 001; Krisztina Fruzsa (FroCos, 2019)

Causality and Epistemic Reasoning in Byzantine Multi-Agent Systems. - Roman Kuznets; Laurent Prosperi; Ulrich Schmid 001; Krisztina Fruzsa (TARK, 2019)

Varda: A Framework for Compositional Distributed Programming. - Laurent Prosperi; Ahmed Bouajjani; Marc Shapiro 001 (NETYS, 2022)

Transactional-Turn Causal Consistency. - Benoît Martin; Laurent Prosperi; Marc Shapiro 001 (Euro-Par, 2023)

Varda: a language for programming distributed systems by composition. (Varda: un langage pour la programmation de systèmes distribués par composition). - Laurent Prosperi (2023)