Xavier Allamigeon

According to our database, Xavier Allamigeon authored at least 43 papers between 2005 and 2023.

Collaborative distances:

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

2023

Tropical Complementarity Problems and Nash Equilibria.

Xavier Allamigeon, Stéphane Gaubert, Frédéric Meunier

SIAM J. Discret. Math., September, 2023

A Formal Disproof of Hirsch Conjecture.

Xavier Allamigeon, Quentin Canu, Pierre-Yves Strub

Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2023

2022

Formalizing the Face Lattice of Polyhedra.

Xavier Allamigeon, Ricardo D. Katz, Pierre-Yves Strub

Log. Methods Comput. Sci., 2022

No self-concordant barrier interior point method is strongly polynomial.

Xavier Allamigeon, Stéphane Gaubert, Nicolas Vandame

Proceedings of the STOC '22: 54th Annual ACM SIGACT Symposium on Theory of Computing, Rome, Italy, June 20, 2022

Universal Complexity Bounds Based on Value Iteration and Application to Entropy Games.

Xavier Allamigeon, Stéphane Gaubert, Ricardo D. Katz, Mateusz Skomra

Proceedings of the 49th International Colloquium on Automata, Languages, and Programming, 2022

Interior point methods are not worse than Simplex.

Xavier Allamigeon, Daniel Dadush, Georg Loho, Bento Natura, László A. Végh

Proceedings of the 63rd IEEE Annual Symposium on Foundations of Computer Science, 2022

Computing Transience Bounds of Emergency Call Centers: A Hierarchical Timed Petri Net Approach.

Xavier Allamigeon, Marin Boyet, Stéphane Gaubert

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2022

2021

What Tropical Geometry Tells Us about the Complexity of Linear Programming.

Xavier Allamigeon, Pascal Benchimol, Stéphane Gaubert, Michael Joswig

SIAM Rev., 2021

Piecewise Affine Dynamical Models of Petri Nets - Application to Emergency Call Centers.

Xavier Allamigeon, Marin Boyet, Stéphane Gaubert

Fundam. Informaticae, 2021

2020

Tropical Spectrahedra.

Xavier Allamigeon, Stéphane Gaubert, Mateusz Skomra

Discret. Comput. Geom., 2020

Forecasting the local progression of the Covid-19 epidemic from medical emergency calls: the example of the Paris area.

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

CoRR, 2020

A Convex Programming Approach to Solve Posynomial Systems.

Marianne Akian, Xavier Allamigeon, Marin Boyet, Stéphane Gaubert

Proceedings of the Mathematical Software - ICMS 2020, 2020

Piecewise Affine Dynamical Models of Timed Petri Nets - Application to Emergency Call Centers.

Xavier Allamigeon, Marin Boyet, Stéphane Gaubert

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2020

2019

The tropical analogue of the Helton-Nie conjecture is true.

Xavier Allamigeon, Stéphane Gaubert, Mateusz Skomra

J. Symb. Comput., 2019

A Formalization of Convex Polyhedra Based on the Simplex Method.

Xavier Allamigeon, Ricardo D. Katz

J. Autom. Reason., 2019

2018

Log-Barrier Interior Point Methods Are Not Strongly Polynomial.

Xavier Allamigeon, Pascal Benchimol, Stéphane Gaubert, Michael Joswig

SIAM J. Appl. Algebra Geom., 2018

Solving generic nonarchimedean semidefinite programs using stochastic game algorithms.

Xavier Allamigeon, Stéphane Gaubert, Mateusz Skomra

J. Symb. Comput., 2018

Condition numbers of stochastic mean payoff games and what they say about nonarchimedean semidefinite programming.

Xavier Allamigeon, Stéphane Gaubert, Ricardo D. Katz, Mateusz Skomra

CoRR, 2018

2017

A Fast Method to Compute Disjunctive Quadratic Invariants of Numerical Programs.

Xavier Allamigeon, Stéphane Gaubert, Eric Goubault, Sylvie Putot, Nikolas Stott

ACM Trans. Embed. Comput. Syst., 2017

Stationary solutions of discrete and continuous Petri nets with priorities.

Xavier Allamigeon, Vianney Boeuf, Stéphane Gaubert

Perform. Evaluation, 2017

2016

A Scalable Algebraic Method to Infer Quadratic Invariants of Switched Systems.

Xavier Allamigeon, Stéphane Gaubert, Nikolas Stott, Eric Goubault, Sylvie Putot

ACM Trans. Embed. Comput. Syst., 2016

2015

Tropicalizing the Simplex Algorithm.

Xavier Allamigeon, Pascal Benchimol, Stéphane Gaubert, Michael Joswig

SIAM J. Discret. Math., 2015

Certification of real inequalities: templates and sums of squares.

Victor Magron, Xavier Allamigeon, Stéphane Gaubert, Benjamin Werner

Math. Program., 2015

Formal Proofs for Nonlinear Optimization.

Victor Magron, Xavier Allamigeon, Stéphane Gaubert, Benjamin Werner

J. Formaliz. Reason., 2015

Performance Evaluation of an Emergency Call Center: Tropical Polynomial Systems Applied to Timed Petri Nets.

Xavier Allamigeon, Vianney Boeuf, Stéphane Gaubert

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2015

2014

Combinatorial Simplex Algorithms Can Solve Mean Payoff Games.

Xavier Allamigeon, Pascal Benchimol, Stéphane Gaubert, Michael Joswig

SIAM J. Optim., 2014

Tropical Fourier-Motzkin elimination, with an application to real-time verification.

Xavier Allamigeon, Uli Fahrenberg, Stéphane Gaubert, Ricardo David Katz, Axel Legay

Int. J. Algebra Comput., 2014

On the Complexity of Strongly Connected Components in Directed Hypergraphs.

Xavier Allamigeon

Algorithmica, 2014

The Tropical Shadow-Vertex Algorithm Solves Mean Payoff Games in Polynomial Time on Average.

Xavier Allamigeon, Pascal Benchimol, Stéphane Gaubert

Proceedings of the Automata, Languages, and Programming - 41st International Colloquium, 2014

2013

Minimal external representations of tropical polyhedra.

Xavier Allamigeon, Ricardo Katz

J. Comb. Theory, Ser. A, 2013

Computing the Vertices of Tropical Polyhedra Using Directed Hypergraphs.

Xavier Allamigeon, Stéphane Gaubert, Eric Goubault

Discret. Comput. Geom., 2013

Certification of Bounds of Non-linear Functions: The Templates Method.

Xavier Allamigeon, Stéphane Gaubert, Victor Magron, Benjamin Werner

Proceedings of the Intelligent Computer Mathematics, 2013

Certification of inequalities involving transcendental functions: Combining SDP and max-plus approximation.

Xavier Allamigeon, Stephane Gaubert, Victor Magron, Benjamin Werner

Proceedings of the 12th European Control Conference, 2013

2011

The number of extreme points of tropical polyhedra.

Xavier Allamigeon, Stéphane Gaubert, Ricardo Katz

J. Comb. Theory, Ser. A, 2011

Strongly connected components of directed hypergraphs

Xavier Allamigeon

CoRR, 2011

2010

Tropical polar cones, hypergraph transversals, and mean payoff games

Xavier Allamigeon, Stéphane Gaubert, Ricardo Katz

CoRR, 2010

The Tropical Double Description Method.

Xavier Allamigeon, Stéphane Gaubert, Eric Goubault

Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science, 2010

2009

Static analysis of memory manipulations by abstract interpretation - Algorithmics of tropical polyhedra, and application to abstract interpretation. (Analyse statique de manipulations de mémoire par interprétation abstraite - Algorithmique des polyèdres tropicaux, et application à l'interprétation abstraite).

Xavier Allamigeon

PhD thesis, 2009

2008

Static analysis by abstract interpretation: application to the detection of heap overflows.

Xavier Allamigeon, Charles Hymans

J. Comput. Virol., 2008

Inferring Min and Max Invariants Using Max-Plus Polyhedra.

Xavier Allamigeon, Stephane Gaubert, Eric Goubault

Proceedings of the Static Analysis, 15th International Symposium, 2008

Non-disjunctive Numerical Domain for Array Predicate Abstraction.

Xavier Allamigeon

Proceedings of the Programming Languages and Systems, 2008

2006

Static Analysis of String Manipulations in Critical Embedded C Programs.

Xavier Allamigeon, Wenceslas Godard, Charles Hymans

Proceedings of the Static Analysis, 13th International Symposium, 2006

2005

Reconstruction of Attacks against Cryptographic Protocols.

Xavier Allamigeon, Bruno Blanchet

Proceedings of the 18th IEEE Computer Security Foundations Workshop, 2005