Xavier Allamigeon

ORCID

Publication Activity (10 Years)

Years Active: 2005-2023
Publications (10 Years): 37

Top Venues

CoRR

Petri Nets

SIAM J. Discret. Math.

Discret. Comput. Geom.

École Polytechnique, Palaiseau, France (PHD)

Education History

École Polytechnique, Palaiseau, France

PHD

Publications

Xavier Allamigeon, Stéphane Gaubert, Frédéric Meunier
Tropical Complementarity Problems and Nash Equilibria. SIAM J. Discret. Math. 37 (3) (2023)
Xavier Allamigeon, Quentin Canu, Pierre-Yves Strub
A Formal Disproof of Hirsch Conjecture. CPP (2023)
Xavier Allamigeon, Quentin Canu, Pierre-Yves Strub
A Formal Disproof of the Hirsch Conjecture. CoRR (2023)
Xavier Allamigeon, Daniel Dadush, Georg Loho, Bento Natura, László A. Végh
Interior point methods are not worse than Simplex. CoRR (2022)
Xavier Allamigeon, Marin Boyet, Stéphane Gaubert
Computing Transience Bounds of Emergency Call Centers: A Hierarchical Timed Petri Net Approach. Petri Nets (2022)
Xavier Allamigeon, Stéphane Gaubert, Nicolas Vandame
No self-concordant barrier interior point method is strongly polynomial. STOC (2022)
Xavier Allamigeon, Marin Boyet, Stephane Gaubert
Computing Transience Bounds of Emergency Call Centers: a Hierarchical Timed Petri Net Approach. CoRR (2022)
Xavier Allamigeon, Ricardo D. Katz, Pierre-Yves Strub
Formalizing the Face Lattice of Polyhedra. Log. Methods Comput. Sci. 18 (2) (2022)
Xavier Allamigeon, Stéphane Gaubert, Ricardo D. Katz, Mateusz Skomra
Universal Complexity Bounds Based on Value Iteration and Application to Entropy Games. CoRR (2022)
Xavier Allamigeon, Daniel Dadush, Georg Loho, Bento Natura, László A. Végh
Interior point methods are not worse than Simplex. FOCS (2022)
Xavier Allamigeon, Stéphane Gaubert, Ricardo D. Katz, Mateusz Skomra
Universal Complexity Bounds Based on Value Iteration and Application to Entropy Games. ICALP (2022)
Xavier Allamigeon, Stéphane Gaubert, Nicolas Vandame
No self-concordant barrier interior point method is strongly polynomial. CoRR (2022)
Xavier Allamigeon, Pascal Benchimol, Stéphane Gaubert, Michael Joswig
What Tropical Geometry Tells Us about the Complexity of Linear Programming. SIAM Rev. 63 (1) (2021)
Xavier Allamigeon, Marin Boyet, Stéphane Gaubert
Piecewise Affine Dynamical Models of Petri Nets - Application to Emergency Call Centers. Fundam. Informaticae 183 (3-4) (2021)
Xavier Allamigeon, Ricardo D. Katz, Pierre-Yves Strub
Formalizing the Face Lattice of Polyhedra. CoRR (2021)
Stéphane Gaubert, Marianne Akian, Xavier Allamigeon, Marin Boyet, Baptiste Colin, Théotime Grohens, Laurent Massoulié, David P. Parsons, Frédéric Adnet, Érick Chanzy, Laurent Goix, Frédéric Lapostolle, Éric Lecarpentier, Christophe Leroy, Thomas Loeb, Jean-Sébastien Marx, Caroline Télion, Laurent Tréluyer, Pierre Carli
Forecasting the local progression of the Covid-19 epidemic from medical emergency calls: the example of the Paris area. CoRR (2020)
Xavier Allamigeon, Ricardo D. Katz, Pierre-Yves Strub
Formalizing the Face Lattice of Polyhedra. IJCAR (2) (2020)
Marianne Akian, Xavier Allamigeon, Marin Boyet, Stéphane Gaubert
A Convex Programming Approach to Solve Posynomial Systems. ICMS (2020)
Xavier Allamigeon, Marin Boyet, Stéphane Gaubert
Piecewise Affine Dynamical Models of Timed Petri Nets - Application to Emergency Call Centers. Petri Nets (2020)
Xavier Allamigeon, Stéphane Gaubert, Mateusz Skomra
Tropical Spectrahedra. Discret. Comput. Geom. 63 (3) (2020)
Xavier Allamigeon, Ricardo D. Katz
A Formalization of Convex Polyhedra Based on the Simplex Method. J. Autom. Reason. 63 (2) (2019)
Xavier Allamigeon, Stéphane Gaubert, Mateusz Skomra
The tropical analogue of the Helton-Nie conjecture is true. J. Symb. Comput. 91 (2019)
Xavier Allamigeon, Stéphane Gaubert, Ricardo D. Katz, Mateusz Skomra
Condition numbers of stochastic mean payoff games and what they say about nonarchimedean semidefinite programming. CoRR (2018)
Xavier Allamigeon, Pascal Benchimol, Stéphane Gaubert, Michael Joswig
Log-Barrier Interior Point Methods Are Not Strongly Polynomial. SIAM J. Appl. Algebra Geom. 2 (1) (2018)
Xavier Allamigeon, Stéphane Gaubert, Mateusz Skomra
Solving generic nonarchimedean semidefinite programs using stochastic game algorithms. J. Symb. Comput. 85 (2018)
Xavier Allamigeon, Stéphane Gaubert, Eric Goubault, Sylvie Putot, Nikolas Stott
A Fast Method to Compute Disjunctive Quadratic Invariants of Numerical Programs. ACM Trans. Embed. Comput. Syst. 16 (5s) (2017)
Xavier Allamigeon, Vianney Boeuf, Stéphane Gaubert
Stationary solutions of discrete and continuous Petri nets with priorities. Perform. Evaluation 113 (2017)
Xavier Allamigeon, Ricardo D. Katz
A formalization of convex polyhedra based on the simplex method. CoRR (2017)
Xavier Allamigeon, Ricardo D. Katz
A Formalization of Convex Polyhedra Based on the Simplex Method. ITP (2017)
Xavier Allamigeon, Vianney Boeuf, Stéphane Gaubert
Stationary solutions of discrete and continuous Petri nets with priorities. VALUETOOLS (2016)
Xavier Allamigeon, Stéphane Gaubert, Nikolas Stott, Eric Goubault, Sylvie Putot
A Scalable Algebraic Method to Infer Quadratic Invariants of Switched Systems. ACM Trans. Embed. Comput. Syst. 15 (4) (2016)
Xavier Allamigeon, Stéphane Gaubert, Mateusz Skomra
Solving Generic Nonarchimedean Semidefinite Programs Using Stochastic Game Algorithms. ISSAC (2016)
Victor Magron, Xavier Allamigeon, Stéphane Gaubert, Benjamin Werner
Certification of real inequalities: templates and sums of squares. Math. Program. 151 (2) (2015)
Xavier Allamigeon, Vianney Boeuf, Stéphane Gaubert
Performance Evaluation of an Emergency Call Center: Tropical Polynomial Systems Applied to Timed Petri Nets. FORMATS (2015)
Victor Magron, Xavier Allamigeon, Stéphane Gaubert, Benjamin Werner
Formal Proofs for Nonlinear Optimization. J. Formaliz. Reason. 8 (1) (2015)
Xavier Allamigeon, Stéphane Gaubert, Eric Goubault, Sylvie Putot, Nikolas Stott
A scalable algebraic method to infer quadratic invariants of switched systems. EMSOFT (2015)
Xavier Allamigeon, Pascal Benchimol, Stéphane Gaubert, Michael Joswig
Tropicalizing the Simplex Algorithm. SIAM J. Discret. Math. 29 (2) (2015)
Xavier Allamigeon
On the Complexity of Strongly Connected Components in Directed Hypergraphs. Algorithmica 69 (2) (2014)
Xavier Allamigeon, Uli Fahrenberg, Stéphane Gaubert, Ricardo David Katz, Axel Legay
Tropical Fourier-Motzkin elimination, with an application to real-time verification. Int. J. Algebra Comput. 24 (5) (2014)
Xavier Allamigeon, Pascal Benchimol, Stéphane Gaubert, Michael Joswig
Combinatorial Simplex Algorithms Can Solve Mean Payoff Games. SIAM J. Optim. 24 (4) (2014)
Xavier Allamigeon, Pascal Benchimol, Stéphane Gaubert
The Tropical Shadow-Vertex Algorithm Solves Mean Payoff Games in Polynomial Time on Average. ICALP (1) (2014)
Xavier Allamigeon, Stéphane Gaubert, Victor Magron, Benjamin Werner
Formal Proofs for Nonlinear Optimization. CoRR (2014)
Xavier Allamigeon, Pascal Benchimol, Stéphane Gaubert
The tropical shadow-vertex algorithm solves mean payoff games in polynomial time on average. CoRR (2014)
Xavier Allamigeon, Stéphane Gaubert, Victor Magron, Benjamin Werner
Certification of Bounds of Non-linear Functions: the Templates Method. CoRR (2013)
Xavier Allamigeon, Stéphane Gaubert, Eric Goubault
Computing the Vertices of Tropical Polyhedra Using Directed Hypergraphs. Discret. Comput. Geom. 49 (2) (2013)
Xavier Allamigeon, Uli Fahrenberg, Stéphane Gaubert, Ricardo David Katz, Axel Legay
Tropical Fourier-Motzkin elimination, with an application to real-time verification. CoRR (2013)
Xavier Allamigeon, Stephane Gaubert, Victor Magron, Benjamin Werner
Certification of inequalities involving transcendental functions: Combining SDP and max-plus approximation. ECC (2013)
Xavier Allamigeon, Ricardo Katz
Minimal external representations of tropical polyhedra. J. Comb. Theory, Ser. A 120 (4) (2013)
Xavier Allamigeon, Stéphane Gaubert, Victor Magron, Benjamin Werner
Certification of Bounds of Non-linear Functions: The Templates Method. MKM/Calculemus/DML (2013)
Xavier Allamigeon, Stéphane Gaubert, Ricardo Katz
The number of extreme points of tropical polyhedra. J. Comb. Theory, Ser. A 118 (1) (2011)
Xavier Allamigeon
Strongly connected components of directed hypergraphs CoRR (2011)
Xavier Allamigeon, Stéphane Gaubert, Ricardo Katz
Tropical polar cones, hypergraph transversals, and mean payoff games CoRR (2010)
Xavier Allamigeon, Stéphane Gaubert, Eric Goubault
The Tropical Double Description Method. STACS (2010)
Xavier Allamigeon, Stéphane Gaubert, Eric Goubault
The tropical double description method CoRR (2010)
Xavier Allamigeon, Charles Hymans
Static analysis by abstract interpretation: application to the detection of heap overflows. J. Comput. Virol. 4 (1) (2008)
Xavier Allamigeon, Stephane Gaubert, Eric Goubault
Inferring Min and Max Invariants Using Max-Plus Polyhedra. SAS (2008)
Xavier Allamigeon
Non-disjunctive Numerical Domain for Array Predicate Abstraction. ESOP (2008)
Xavier Allamigeon, Wenceslas Godard, Charles Hymans
Static Analysis of String Manipulations in Critical Embedded C Programs. SAS (2006)
Xavier Allamigeon, Bruno Blanchet
Reconstruction of Attacks against Cryptographic Protocols. CSFW (2005)

Xavier Allamigeon.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Xavier Allamigeon