Reconstruction of Attacks against Cryptographic Protocols. - Xavier Allamigeon; Bruno Blanchet (CSFW, 2005)

Static Analysis of String Manipulations in Critical Embedded C Programs. - Xavier Allamigeon; Wenceslas Godard; Charles Hymans (SAS, 2006)

Non-disjunctive Numerical Domain for Array Predicate Abstraction. - Xavier Allamigeon (ESOP, 2008)

Inferring Min and Max Invariants Using Max-Plus Polyhedra. - Xavier Allamigeon; Stephane Gaubert; Eric Goubault (SAS, 2008)

Static analysis by abstract interpretation: application to the detection of heap overflows. - Xavier Allamigeon; Charles Hymans (J. Comput. Virol., 2008)

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 (2009)

The Tropical Double Description Method. - Xavier Allamigeon; Stéphane Gaubert; Eric Goubault (STACS, 2010)

Tropical polar cones, hypergraph transversals, and mean payoff games - Xavier Allamigeon; Stéphane Gaubert; Ricardo Katz (CoRR, 2010)

Strongly connected components of directed hypergraphs - Xavier Allamigeon (CoRR, 2011)

The number of extreme points of tropical polyhedra. - Xavier Allamigeon; Stéphane Gaubert; Ricardo Katz (J. Comb. Theory A, 2011)

Certification of inequalities involving transcendental functions: Combining SDP and max-plus approximation. - Xavier Allamigeon; Stephane Gaubert; Victor Magron; Benjamin Werner (ECC, 2013)

Certification of Bounds of Non-linear Functions: The Templates Method. - Xavier Allamigeon; Stéphane Gaubert; Victor Magron; Benjamin Werner (MKM/Calculemus/DML, 2013)

Computing the Vertices of Tropical Polyhedra Using Directed Hypergraphs. - Xavier Allamigeon; Stéphane Gaubert; Eric Goubault (Discret. Comput. Geom., 2013)

Minimal external representations of tropical polyhedra. - Xavier Allamigeon; Ricardo Katz (J. Comb. Theory A, 2013)

The Tropical Shadow-Vertex Algorithm Solves Mean Payoff Games in Polynomial Time on Average. - Xavier Allamigeon; Pascal Benchimol; Stéphane Gaubert (ICALP (1), 2014)

On the Complexity of Strongly Connected Components in Directed Hypergraphs. - Xavier Allamigeon (Algorithmica, 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)

Combinatorial Simplex Algorithms Can Solve Mean Payoff Games. - Xavier Allamigeon; Pascal Benchimol; Stéphane Gaubert; Michael Joswig (SIAM J. Optim., 2014)

Performance Evaluation of an Emergency Call Center: Tropical Polynomial Systems Applied to Timed Petri Nets. - Xavier Allamigeon; Vianney Boeuf; Stéphane Gaubert (FORMATS, 2015)

Formal Proofs for Nonlinear Optimization. - Victor Magron; Xavier Allamigeon; Stéphane Gaubert; Benjamin Werner (J. Formaliz. Reason., 2015)

Certification of real inequalities: templates and sums of squares. - Victor Magron; Xavier Allamigeon; Stéphane Gaubert; Benjamin Werner (Math. Program., 2015)

Tropicalizing the Simplex Algorithm. - Xavier Allamigeon; Pascal Benchimol; Stéphane Gaubert; Michael Joswig (SIAM J. Discret. Math., 2015)

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)

Stationary solutions of discrete and continuous Petri nets with priorities. - Xavier Allamigeon; Vianney Boeuf; Stéphane Gaubert (Perform. Evaluation, 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)

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)

Solving generic nonarchimedean semidefinite programs using stochastic game algorithms. - Xavier Allamigeon; Stéphane Gaubert; Mateusz Skomra (J. Symb. Comput., 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)

A Formalization of Convex Polyhedra Based on the Simplex Method. - Xavier Allamigeon; Ricardo D. Katz (J. Autom. Reason., 2019)

The tropical analogue of the Helton-Nie conjecture is true. - Xavier Allamigeon; Stéphane Gaubert; Mateusz Skomra (J. Symb. Comput., 2019)

Piecewise Affine Dynamical Models of Timed Petri Nets - Application to Emergency Call Centers. - Xavier Allamigeon; Marin Boyet; Stéphane Gaubert (Petri Nets, 2020)

A Convex Programming Approach to Solve Posynomial Systems. - Marianne Akian; Xavier Allamigeon; Marin Boyet; Stéphane Gaubert (ICMS, 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; et al. (CoRR, 2020)

Tropical Spectrahedra. - Xavier Allamigeon; Stéphane Gaubert; Mateusz Skomra (Discret. Comput. Geom., 2020)

Piecewise Affine Dynamical Models of Petri Nets - Application to Emergency Call Centers. - Xavier Allamigeon; Marin Boyet; Stéphane Gaubert (Fundam. Informaticae, 2021)

What Tropical Geometry Tells Us about the Complexity of Linear Programming. - Xavier Allamigeon; Pascal Benchimol; Stéphane Gaubert; Michael Joswig (SIAM Rev., 2021)

Computing Transience Bounds of Emergency Call Centers: A Hierarchical Timed Petri Net Approach. - Xavier Allamigeon; Marin Boyet; Stéphane Gaubert (Petri Nets, 2022)

Interior point methods are not worse than Simplex. - Xavier Allamigeon; Daniel Dadush; Georg Loho; Bento Natura; László A. Végh (FOCS, 2022)

Universal Complexity Bounds Based on Value Iteration and Application to Entropy Games. - Xavier Allamigeon; Stéphane Gaubert; Ricardo D. Katz; Mateusz Skomra (ICALP, 2022)

No self-concordant barrier interior point method is strongly polynomial. - Xavier Allamigeon; Stéphane Gaubert; Nicolas Vandame (STOC, 2022)

Formalizing the Face Lattice of Polyhedra. - Xavier Allamigeon; Ricardo D. Katz; Pierre-Yves Strub (Log. Methods Comput. Sci., 2022)

A Formal Disproof of Hirsch Conjecture. - Xavier Allamigeon; Quentin Canu; Pierre-Yves Strub (CPP, 2023)

Tropical Complementarity Problems and Nash Equilibria. - Xavier Allamigeon; Stéphane Gaubert; Frédéric Meunier (SIAM J. Discret. Math., 2023)

Stationary regimes of piecewise linear dynamical systems with priorities. - Xavier Allamigeon; Pascal Capetillo; Stéphane Gaubert (HSCC, 2025)

Universal complexity bounds based on value iteration for stochastic mean payoff games and entropy games. - Xavier Allamigeon; Stéphane Gaubert; Ricardo D. Katz; Mateusz Skomra (Inf. Comput., 2025)

Signed Tropicalization of Polar Cones. - Marianne Akian; Xavier Allamigeon; Stéphane Gaubert; Sergei Sergeev (J. Optim. Theory Appl., 2025)