| 2023 | CPP | A Formal Disproof of Hirsch Conjecture. | Xavier Allamigeon, Quentin Canu, Pierre-Yves Strub |
| 2022 | FOCS | Interior point methods are not worse than Simplex. | Xavier Allamigeon, Daniel Dadush, Georg Loho, Bento Natura, Lszl A. Vgh |
| 2022 | ICALP | Universal Complexity Bounds Based on Value Iteration and Application to Entropy Games. | Xavier Allamigeon, Stphane Gaubert, Ricardo D. Katz, Mateusz Skomra |
| 2022 | STOC | No self-concordant barrier interior point method is strongly polynomial. | Xavier Allamigeon, Stphane Gaubert, Nicolas Vandame |
| 2020 | CADE | Formalizing the Face Lattice of Polyhedra. | Xavier Allamigeon, Ricardo D. Katz, Pierre-Yves Strub |
| 2017 | ITP | A Formalization of Convex Polyhedra Based on the Simplex Method. | Xavier Allamigeon, Ricardo D. Katz |
| 2016 | ISSAC | Solving Generic Nonarchimedean Semidefinite Programs Using Stochastic Game Algorithms. | Xavier Allamigeon, Stphane Gaubert, Mateusz Skomra |
| 2015 | EMSOFT | A scalable algebraic method to infer quadratic invariants of switched systems. | Xavier Allamigeon, Stphane Gaubert, Eric Goubault, Sylvie Putot, Nikolas Stott |
| 2014 | ICALP | The Tropical Shadow-Vertex Algorithm Solves Mean Payoff Games in Polynomial Time on Average. | Xavier Allamigeon, Pascal Benchimol, Stphane Gaubert |
| 2010 | STACS | The Tropical Double Description Method. | Xavier Allamigeon, Stphane Gaubert, Eric Goubault |
| 2008 | ESOP | Non-disjunctive Numerical Domain for Array Predicate Abstraction. | Xavier Allamigeon |
| 2008 | SAS | Inferring Min and Max Invariants Using Max-Plus Polyhedra. | Xavier Allamigeon, Stephane Gaubert, Eric Goubault |
| 2006 | SAS | Static Analysis of String Manipulations in Critical Embedded C Programs. | Xavier Allamigeon, Wenceslas Godard, Charles Hymans |