Enguerrand Prebet
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Refactoring-as-propositions: proved refactoring of hybrid systems via proved refinements | 2026-01-01 | Paper |
| Using -calculus names as locks | 2025-07-24 | Paper |
| Uniform substitution for differential refinement logic | 2025-01-31 | Paper |
| Functions and references in the -calculus: full abstraction and proof techniques | 2024-06-24 | Paper |
| Deciding contextual equivalence of \(\nu \)-calculus with effectful contexts Lecture Notes in Computer Science | 2023-11-24 | Paper |
| scientific article; zbMATH DE number 7559490 (Why is no real title available?) | 2022-07-18 | Paper |
| The declining price anomaly is not universal in multi-buyer sequential auctions (but almost is) Theory of Computing Systems | 2022-06-21 | Paper |
| The declining price anomaly is not universal in multi-buyer sequential auctions (but almost is) Algorithmic Game Theory | 2020-02-04 | Paper |
| The declining price anomaly is not universal in multi-buyer sequential auctions (but almost is) Algorithmic Game Theory | 2020-02-04 | Paper |
Research outcomes over time
This page was built for person: Enguerrand Prebet
