Enguerrand Prebet

According to our database, Enguerrand Prebet authored at least 10 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Uniform Substitution for Differential Refinement Logic.

Enguerrand Prebet, André Platzer

Proceedings of the Automated Reasoning - 12th International Joint Conference, 2024

2023

Using Pi-Calculus Names as Locks.

Daniel Hirschkoff, Enguerrand Prebet

Proceedings of the Proceedings Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics, 2023

Deciding Contextual Equivalence of ν-Calculus with Effectful Contexts.

Daniel Hirschkoff, Guilhem Jaber, Enguerrand Prebet

Proceedings of the Foundations of Software Science and Computation Structures, 2023

2022

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

Enguerrand Prebet

PhD thesis, 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

Functions and References in the Pi-Calculus: Full Abstraction and Proof Techniques.

Enguerrand Prebet

Proceedings of the 49th International Colloquium on Automata, Languages, and Programming, 2022

2021

On Up-to Context Techniques in the π-calculus.

Enguerrand Prebet

CoRR, 2021

On sequentiality and well-bracketing in the π-calculus.

Daniel Hirschkoff, Enguerrand Prebet, Davide Sangiorgi

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

2020

On the Representation of References in the Pi-Calculus.

Daniel Hirschkoff, Enguerrand Prebet, Davide Sangiorgi

Proceedings of the 31st International Conference on Concurrency Theory, 2020

2019

Modeling Imperative Constructs in the Pi-Calculus.

Daniel Hirschkoff, Enguerrand Prebet, Davide Sangiorgi

Proceedings of the 20th Italian Conference on Theoretical Computer Science, 2019