Modeling Imperative Constructs in the Pi-Calculus. - Daniel Hirschkoff; Enguerrand Prebet; Davide Sangiorgi (ICTCS, 2019)

On the Representation of References in the Pi-Calculus. - Daniel Hirschkoff; Enguerrand Prebet; Davide Sangiorgi (CONCUR, 2020)

On sequentiality and well-bracketing in the π-calculus. - Daniel Hirschkoff; Enguerrand Prebet; Davide Sangiorgi (LICS, 2021)

On Up-to Context Techniques in the π-calculus. - Enguerrand Prebet (CoRR, 2021)

Functions and References in the Pi-Calculus: Full Abstraction and Proof Techniques. - Enguerrand Prebet (ICALP, 2022)

The Declining Price Anomaly Is Not Universal in Multi-Buyer Sequential Auctions (but almost is). - Vishnu V. Narayan; Enguerrand Prebet; Adrian Vetta (Theory Comput. Syst., 2022)

Typed Behavioural Equivalences in the Pi-Calculus. (Équivalences comportementales typées dans le pi-calcul). - Enguerrand Prebet (2022)

Deciding Contextual Equivalence of ν-Calculus with Effectful Contexts. - Daniel Hirschkoff; Guilhem Jaber; Enguerrand Prebet (FoSSaCS, 2023)

Using Pi-Calculus Names as Locks. - Daniel Hirschkoff; Enguerrand Prebet (EXPRESS/SOS, 2023)

Uniform Substitution for Differential Refinement Logic. - Enguerrand Prebet; André Platzer (IJCAR (2), 2024)

Verification of Autonomous Neural Car Control with KeYmaera X. - Enguerrand Prebet; Samuel Teuber; André Platzer (ABZ, 2025)