Quentin Vermande

According to our database, Quentin Vermande authored at least 13 papers between 2020 and 2026.

Collaborative distances:

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

2026

Cylindrical Algebraic Decomposition in Coq/Rocq.

Quentin Vermande

Proceedings of the 15th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2026

2025

Universal Pairs for Diophantine Equations.

Jonas Bayer, 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

Dataset, September, 2025

Problems, Proofs, and Disproofs on the Inversion Number.

Guillaume Aubian, Frédéric Havet, Florian Hörsch, Felix Kingelhoefer, Nicolas Nisse, Clément Rambaud, Quentin Vermande

Electron. J. Comb., 2025

Universal Pairs for Diophantine Equations.

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

Arch. Formal Proofs, 2025

2024

Various Bounds on the Minimum Number of Arcs in a $k$-Dicritical Digraph.

Pierre Aboulker, Quentin Vermande

Electron. J. Comb., 2024

2022

Physarum-inspired multi-commodity flow dynamics.

Vincenzo Bonifaci, Enrico Facca, Frederic Folz, Andreas Karrenbauer, Pavel Kolev, Kurt Mehlhorn, Giovanna Morigi, Golnoosh Shahkarami, Quentin Vermande

Theor. Comput. Sci., 2022

Problems, proofs, and disproofs on the inversion number.

Guillaume Aubian, Frédéric Havet, Florian Hörsch, Felix Klingelhöfer, Nicolas Nisse, Clément Rambaud, Quentin Vermande

CoRR, 2022

Maximizing Nash Social Welfare in 2-Value Instances: The Half-Integer Case.

Hannaneh Akrami, Bhaskar Ray Chaudhury, Martin Hoefer, Kurt Mehlhorn, Marco Schmalhofer, Golnoosh Shahkarami, Giovanna Varricchio, Quentin Vermande, Ernest van Wijland

CoRR, 2022

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

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

Discovering New L-Function Relations Using Algebraic Sieving.

Hadrien Barral, Éric Brier, Rémi Géraud-Stewart, Arthur Léonard, David Naccache, Quentin Vermande, Samuel Vivien

IACR Cryptol. ePrint Arch., 2021

Nash Social Welfare for 2-value Instances.

Hannaneh Akrami, Bhaskar Ray Chaudhury, Kurt Mehlhorn, Golnoosh Shahkarami, Quentin Vermande

CoRR, 2021

Data Cache Analysis by Counting Integer Points.

Pascal Sotin, Quentin Vermande, Hugues Cassé

Proceedings of the RTNS'2021: 29th International Conference on Real-Time Networks and Systems, 2021

2020

Physarum Multi-Commodity Flow Dynamics.

Vincenzo Bonifaci, Enrico Facca, Frederic Folz, Andreas Karrenbauer, Pavel Kolev, Kurt Mehlhorn, Giovanna Morigi, Golnoosh Shahkarami, Quentin Vermande

CoRR, 2020