Xavier Allamigeon

Available identifiers

zbMath Open allamigeon.xavierMaRDI QIDQ517788

List of research outcomes

Publication	Date of Publication	Type
No self-concordant barrier interior point method is strongly polynomial	2023-12-08	Paper
Tropical Complementarity Problems and Nash Equilibria	2023-08-11	Paper
Formalizing the Face Lattice of Polyhedra	2022-11-09	Paper
A Convex Programming Approach to Solve Posynomial Systems	2022-10-13	Paper
Computing transience bounds of emergency call centers: a hierarchical timed Petri net approach	2022-08-19	Paper
https://portal.mardi4nfdi.de/entity/Q5094138	2022-08-02	Paper
Piecewise Affine Dynamical Models of Petri Nets – Application to Emergency Call Centers*	2022-02-01	Paper
Formalizing the Face Lattice of Polyhedra	2021-04-30	Paper
What Tropical Geometry Tells Us about the Complexity of Linear Programming	2021-02-10	Paper
Understanding and monitoring the evolution of the Covid-19 epidemic from medical emergency calls: the example of the Paris area	2020-11-27	Paper
The tropicalization of the entropic barrier	2020-10-20	Paper
Understanding and monitoring the evolution of the Covid-19 epidemic from medical emergency calls: the example of the Paris area	2020-05-28	Paper
Piecewise Affine Dynamical Models of Timed Petri Nets -- Application to Emergency Call Centers	2020-04-20	Paper
Tropical spectrahedra	2020-04-07	Paper
Formal Proofs for Nonlinear Optimization	2019-09-18	Paper
A formalization of convex polyhedra based on the simplex method	2019-08-21	Paper
The tropical analogue of the Helton-Nie conjecture is true	2018-11-01	Paper
Log-Barrier Interior Point Methods Are Not Strongly Polynomial	2018-06-12	Paper
A formalization of convex polyhedra based on the simplex method	2018-01-04	Paper
Solving generic nonarchimedean semidefinite programs using stochastic game algorithms	2017-10-10	Paper
Tropicalization of facets of polytopes	2017-08-28	Paper
Solving generic nonarchimedean semidefinite programs using stochastic game algorithms	2017-05-10	Paper
On the complexity of strongly connected components in directed hypergraphs	2017-03-27	Paper
Stationary solutions of discrete and continuous Petri nets with priorities	2016-12-22	Paper
Tropicalizing the Simplex Algorithm	2015-11-27	Paper
Performance Evaluation of an Emergency Call Center: Tropical Polynomial Systems Applied to Timed Petri Nets	2015-09-14	Paper
Certification of real inequalities: templates and sums of squares	2015-06-19	Paper
Combinatorial Simplex Algorithms Can Solve Mean Payoff Games	2015-04-08	Paper
Tropical Fourier–Motzkin elimination, with an application to real-time verification	2014-10-15	Paper
The Tropical Shadow-Vertex Algorithm Solves Mean Payoff Games in Polynomial Time on Average	2014-07-01	Paper
Long and winding central paths	2014-05-16	Paper
Certification of Bounds of Non-linear Functions: The Templates Method	2013-08-09	Paper
Certification of inequalities involving transcendental functions: combining SDP and max-plus approximation	2013-07-26	Paper
Minimal external representations of tropical polyhedra	2013-04-15	Paper
Computing the vertices of tropical polyhedra using directed hypergraphs	2013-03-20	Paper
https://portal.mardi4nfdi.de/entity/Q3113735	2012-01-23	Paper
Tropical polar cones, hypergraph transversals, and mean payoff games	2011-07-13	Paper
The number of extreme points of tropical polyhedra	2011-01-07	Paper
Static Analysis of String Manipulations in Critical Embedded C Programs	2009-03-12	Paper
Inferring Min and Max Invariants Using Max-Plus Polyhedra	2008-08-28	Paper
Non-disjunctive Numerical Domain for Array Predicate Abstraction	2008-04-11	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Xavier Allamigeon