Quentin Vermande

13 papers A* 1B 1Misc 1Journal 10
YearRankTypeTitle / Venue / Authors
2026 B conf
Cylindrical Algebraic Decomposition in Coq/Rocq.
CPP
Quentin Vermande
2025 J jnl
Problems, Proofs, and Disproofs on the Inversion Number.
Electron. J. Comb.
Guillaume Aubian, Frédéric Havet, Florian Hörsch, Felix Kingelhoefer, Nicolas Nisse, Clément Rambaud, Quentin Vermande
2025 J jnl
Universal Pairs for Diophantine Equations.
Arch. Formal Proofs
Marco David, Théo André, Mathis Bouverot-Dupuis, Eva Brenner, Loïc Chevalier, Anna Danilkin, Charlotte Dorneich, Kevin Lee, Xavier Pigé, Timothé Ringeard, Quentin Vermande, Paul Wang, Annie Yao, Zhengkun Ye, Jonas Bayer
2024 J jnl
Various Bounds on the Minimum Number of Arcs in a $k$-Dicritical Digraph.
Electron. J. Comb.
Pierre Aboulker, Quentin Vermande
2022 A* conf
Maximizing Nash Social Welfare in 2-Value Instances.
AAAI
Hannaneh Akrami, Bhaskar Ray Chaudhury, Martin Hoefer, Kurt Mehlhorn, Marco Schmalhofer, Golnoosh Shahkarami, Giovanna Varricchio, Quentin Vermande, Ernest van Wijland
2022 J jnl
Maximizing Nash Social Welfare in 2-Value Instances: The Half-Integer Case.
CoRR
Hannaneh Akrami, Bhaskar Ray Chaudhury, Martin Hoefer, Kurt Mehlhorn, Marco Schmalhofer, Golnoosh Shahkarami, Giovanna Varricchio, Quentin Vermande, Ernest van Wijland
2022 J jnl
Physarum-inspired multi-commodity flow dynamics.
Theor. Comput. Sci.
Vincenzo Bonifaci, Enrico Facca, Frederic Folz, Andreas Karrenbauer, Pavel Kolev, Kurt Mehlhorn, Giovanna Morigi, Golnoosh Shahkarami, Quentin Vermande
2022 J jnl
Problems, proofs, and disproofs on the inversion number.
CoRR
Guillaume Aubian, Frédéric Havet, Florian Hörsch, Felix Klingelhöfer, Nicolas Nisse, Clément Rambaud, Quentin Vermande
2022 J jnl
Various bounds on the minimum number of arcs in a k-dicritical digraph.
CoRR
Pierre Aboulker, Quentin Vermande
2021 Misc conf
Data Cache Analysis by Counting Integer Points.
RTNS
Pascal Sotin, Quentin Vermande, Hugues Cassé
2021 J jnl
Discovering New L-Function Relations Using Algebraic Sieving.
IACR Cryptol. ePrint Arch.
Hadrien Barral, Éric Brier, Rémi Géraud-Stewart, Arthur Léonard, David Naccache, Quentin Vermande, Samuel Vivien
2021 J jnl
Nash Social Welfare for 2-value Instances.
CoRR
Hannaneh Akrami, Bhaskar Ray Chaudhury, Kurt Mehlhorn, Golnoosh Shahkarami, Quentin Vermande
2020 J jnl
Physarum Multi-Commodity Flow Dynamics.
CoRR
Vincenzo Bonifaci, Enrico Facca, Frederic Folz, Andreas Karrenbauer, Pavel Kolev, Kurt Mehlhorn, Giovanna Morigi, Golnoosh Shahkarami, Quentin Vermande