Enguerrand Prebet
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2019–2026
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | IJCAR | Refactoring-as-Propositions: Proved Refactoring of Hybrid Systems via Proved Refinements. | Enguerrand Prebet, Andr Platzer |
| 2024 | IJCAR | Uniform Substitution for Differential Refinement Logic. | Enguerrand Prebet, Andr Platzer |
| 2023 | FOSSACS | Deciding Contextual Equivalence of ν-Calculus with Effectful Contexts. | Daniel Hirschkoff, Guilhem Jaber, Enguerrand Prebet |
| 2022 | ICALP | Functions and References in the Pi-Calculus: Full Abstraction and Proof Techniques. | Enguerrand Prebet |
| 2021 | LICS | On sequentiality and well-bracketing in the π-calculus. | Daniel Hirschkoff, Enguerrand Prebet, Davide Sangiorgi |
| 2020 | CONCUR | On the Representation of References in the Pi-Calculus. | Daniel Hirschkoff, Enguerrand Prebet, Davide Sangiorgi |
| 2019 | SAGT | The Declining Price Anomaly Is Not Universal in Multi-buyer Sequential Auctions (But Almost Is). | Vishnu V. Narayan, Enguerrand Prebet, Adrian Vetta |