Quentin Vermande
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2021–2026
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CPP | Cylindrical Algebraic Decomposition in Coq/Rocq. | Quentin Vermande |
| 2022 | AAAI | Maximizing Nash Social Welfare in 2-Value Instances. | Hannaneh Akrami, Bhaskar Ray Chaudhury, Martin Hoefer, Kurt Mehlhorn, Marco Schmalhofer, Golnoosh Shahkarami, Giovanna Varricchio, Quentin Vermande, Ernest van Wijland |
| 2021 | RTNS | Data Cache Analysis by Counting Integer Points. | Pascal Sotin, Quentin Vermande, Hugues Cass |