The following pages link to Xavier Allamigeon (Q517788):
Displayed 39 items.
- On the complexity of strongly connected components in directed hypergraphs (Q517789) (← links)
- Tropical polar cones, hypergraph transversals, and mean payoff games (Q550656) (← links)
- The number of extreme points of tropical polyhedra (Q616447) (← links)
- Computing the vertices of tropical polyhedra using directed hypergraphs (Q1943657) (← links)
- Minimal external representations of tropical polyhedra (Q1946742) (← links)
- Tropical spectrahedra (Q1985292) (← links)
- The tropical analogue of the Helton-Nie conjecture is true (Q1994125) (← links)
- Computing transience bounds of emergency call centers: a hierarchical timed Petri net approach (Q2165235) (← links)
- Understanding and monitoring the evolution of the Covid-19 epidemic from medical emergency calls: the example of the Paris area (Q2213078) (← links)
- Certification of real inequalities: templates and sums of squares (Q2349133) (← links)
- Tropicalization of facets of polytopes (Q2400247) (← links)
- Solving generic nonarchimedean semidefinite programs using stochastic game algorithms (Q2409007) (← links)
- Certification of Bounds of Non-linear Functions: The Templates Method (Q2843005) (← links)
- Tropical Fourier–Motzkin elimination, with an application to real-time verification (Q2923336) (← links)
- Performance Evaluation of an Emergency Call Center: Tropical Polynomial Systems Applied to Timed Petri Nets (Q2945579) (← links)
- (Q3113735) (← links)
- Tropicalizing the Simplex Algorithm (Q3453613) (← links)
- Inferring Min and Max Invariants Using Max-Plus Polyhedra (Q3522071) (← links)
- Static Analysis of String Manipulations in Critical Embedded C Programs (Q3613377) (← links)
- Log-Barrier Interior Point Methods Are Not Strongly Polynomial (Q4564017) (← links)
- Piecewise Affine Dynamical Models of Petri Nets – Application to Emergency Call Centers* (Q5025063) (← links)
- A Convex Programming Approach to Solve Posynomial Systems (Q5041057) (← links)
- Formalizing the Face Lattice of Polyhedra (Q5049001) (← links)
- (Q5094138) (← links)
- What Tropical Geometry Tells Us about the Complexity of Linear Programming (Q5150211) (← links)
- The Tropical Shadow-Vertex Algorithm Solves Mean Payoff Games in Polynomial Time on Average (Q5167733) (← links)
- Formal Proofs for Nonlinear Optimization (Q5195260) (← links)
- Combinatorial Simplex Algorithms Can Solve Mean Payoff Games (Q5245379) (← links)
- Non-disjunctive Numerical Domain for Array Predicate Abstraction (Q5458394) (← links)
- A formalization of convex polyhedra based on the simplex method (Q5915783) (← links)
- No self-concordant barrier interior point method is strongly polynomial (Q6083505) (← links)
- Tropical Complementarity Problems and Nash Equilibria (Q6171260) (← links)
- Certification of inequalities involving transcendental functions: combining SDP and max-plus approximation (Q6243651) (← links)
- Long and winding central paths (Q6251598) (← links)
- Stationary solutions of discrete and continuous Petri nets with priorities (Q6281163) (← links)
- Piecewise Affine Dynamical Models of Timed Petri Nets -- Application to Emergency Call Centers (Q6339085) (← links)
- Understanding and monitoring the evolution of the Covid-19 epidemic from medical emergency calls: the example of the Paris area (Q6341639) (← links)
- The tropicalization of the entropic barrier (Q6351766) (← links)
- Formalizing the Face Lattice of Polyhedra (Q6366528) (← links)