Xavier Allamigeon

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