Enguerrand Prebet

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 13

Top Topics

Computer Algebra

Multi Robot Task Allocation

Formal Language

Reverse Auction

Top Venues

Publications

Enguerrand Prebet, André Platzer
Uniform Substitution for Differential Refinement Logic. CoRR (2024)
Enguerrand Prebet, André Platzer
Uniform Substitution for Differential Refinement Logic. IJCAR (2) (2024)
Daniel Hirschkoff, Enguerrand Prebet
Using Pi-Calculus Names as Locks. EXPRESS/SOS (2023)
Daniel Hirschkoff, Guilhem Jaber, Enguerrand Prebet
Deciding Contextual Equivalence of ν-Calculus with Effectful Contexts. FoSSaCS (2023)
Enguerrand Prebet
Functions and References in the Pi-Calculus: Full Abstraction and Proof Techniques. ICALP (2022)
Vishnu V. Narayan, Enguerrand Prebet, Adrian Vetta
The Declining Price Anomaly Is Not Universal in Multi-Buyer Sequential Auctions (but almost is). Theory Comput. Syst. 66 (3) (2022)
Daniel Hirschkoff, Enguerrand Prebet, Davide Sangiorgi
On sequentiality and well-bracketing in the π-calculus. CoRR (2021)
Enguerrand Prebet
On Up-to Context Techniques in the π-calculus. CoRR (2021)
Daniel Hirschkoff, Enguerrand Prebet, Davide Sangiorgi
On sequentiality and well-bracketing in the π-calculus. LICS (2021)
Daniel Hirschkoff, Enguerrand Prebet, Davide Sangiorgi
On the Representation of References in the Pi-Calculus. CONCUR (2020)
Vishnu V. Narayan, Enguerrand Prebet, Adrian Vetta
The Declining Price Anomaly Is Not Universal in Multi-buyer Sequential Auctions (But Almost Is). SAGT (2019)
Vishnu V. Narayan, Enguerrand Prebet, Adrian Vetta
The Declining Price Anomaly is not Universal in Multi-Buyer Sequential Auctions (but almost is). CoRR (2019)
Daniel Hirschkoff, Enguerrand Prebet, Davide Sangiorgi
Modeling Imperative Constructs in the Pi-Calculus. ICTCS (2019)