Enguerrand Prebet

16 papers A* 2B 3C 1Journal 6Unranked 3
YearRankTypeTitle / Venue / Authors
2025 C conf
Verification of Autonomous Neural Car Control with KeYmaera X.
ABZ
Enguerrand Prebet, Samuel Teuber, André Platzer
2025 J jnl
Verification of Autonomous Neural Car Control with KeYmaera X.
CoRR
Enguerrand Prebet, Samuel Teuber, André Platzer
2024 — conf
Uniform Substitution for Differential Refinement Logic.
IJCAR (2)
Enguerrand Prebet, André Platzer
2024 J jnl
Uniform Substitution for Differential Refinement Logic.
CoRR
Enguerrand Prebet, André Platzer
2023 B conf
Deciding Contextual Equivalence of ν-Calculus with Effectful Contexts.
FoSSaCS
Daniel Hirschkoff, Guilhem Jaber, Enguerrand Prebet
2023 — conf
Using Pi-Calculus Names as Locks.
EXPRESS/SOS
Daniel Hirschkoff, Enguerrand Prebet
2022 A* conf
Functions and References in the Pi-Calculus: Full Abstraction and Proof Techniques.
ICALP
Enguerrand Prebet
2022 J jnl
The Declining Price Anomaly Is Not Universal in Multi-Buyer Sequential Auctions (but almost is).
Theory Comput. Syst.
Vishnu V. Narayan, Enguerrand Prebet, Adrian Vetta
2022 — —
Typed Behavioural Equivalences in the Pi-Calculus. (Équivalences comportementales typées dans le pi-calcul).
Enguerrand Prebet
2021 J jnl
On Up-to Context Techniques in the π-calculus.
CoRR
Enguerrand Prebet
2021 A* conf
On sequentiality and well-bracketing in the π-calculus.
LICS
Daniel Hirschkoff, Enguerrand Prebet, Davide Sangiorgi
2021 J jnl
On sequentiality and well-bracketing in the π-calculus.
CoRR
Daniel Hirschkoff, Enguerrand Prebet, Davide Sangiorgi
2020 B conf
On the Representation of References in the Pi-Calculus.
CONCUR
Daniel Hirschkoff, Enguerrand Prebet, Davide Sangiorgi
2019 — conf
Modeling Imperative Constructs in the Pi-Calculus.
ICTCS
Daniel Hirschkoff, Enguerrand Prebet, Davide Sangiorgi
2019 B conf
The Declining Price Anomaly Is Not Universal in Multi-buyer Sequential Auctions (But Almost Is).
SAGT
Vishnu V. Narayan, Enguerrand Prebet, Adrian Vetta
2019 J jnl
The Declining Price Anomaly is not Universal in Multi-Buyer Sequential Auctions (but almost is).
CoRR
Vishnu V. Narayan, Enguerrand Prebet, Adrian Vetta