default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDXavier Allamigeon
Person information
- affiliation: Ecole Polytechnique, Paris, France
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[j22]Xavier Allamigeon, Stéphane Gaubert
, Frédéric Meunier:
Tropical Complementarity Problems and Nash Equilibria. SIAM J. Discret. Math. 37(3): 1645-1665 (2023)- [c21]Xavier Allamigeon, Quentin Canu, Pierre-Yves Strub:
A Formal Disproof of Hirsch Conjecture. CPP 2023: 17-29 - [i16]Xavier Allamigeon, Quentin Canu, Pierre-Yves Strub:
A Formal Disproof of the Hirsch Conjecture. CoRR abs/2301.04060 (2023) - 2022
- [j21]Xavier Allamigeon, Ricardo D. Katz, Pierre-Yves Strub:
Formalizing the Face Lattice of Polyhedra. Log. Methods Comput. Sci. 18(2) (2022) - [c20]Xavier Allamigeon, Marin Boyet, Stéphane Gaubert:
Computing Transience Bounds of Emergency Call Centers: A Hierarchical Timed Petri Net Approach. Petri Nets 2022: 90-112 - [c19]Xavier Allamigeon, Daniel Dadush, Georg Loho, Bento Natura, László A. Végh:
Interior point methods are not worse than Simplex. FOCS 2022: 267-277 - [c18]Xavier Allamigeon, Stéphane Gaubert, Ricardo D. Katz, Mateusz Skomra:
Universal Complexity Bounds Based on Value Iteration and Application to Entropy Games. ICALP 2022: 110:1-110:20 - [c17]Xavier Allamigeon, Stéphane Gaubert, Nicolas Vandame:
No self-concordant barrier interior point method is strongly polynomial. STOC 2022: 515-528 - [i15]Xavier Allamigeon, Stéphane Gaubert, Nicolas Vandame:
No self-concordant barrier interior point method is strongly polynomial. CoRR abs/2201.02186 (2022) - [i14]Xavier Allamigeon, Marin Boyet, Stephane Gaubert:
Computing Transience Bounds of Emergency Call Centers: a Hierarchical Timed Petri Net Approach. CoRR abs/2202.02752 (2022) - [i13]Xavier Allamigeon, Daniel Dadush, Georg Loho, Bento Natura, László A. Végh:
Interior point methods are not worse than Simplex. CoRR abs/2206.08810 (2022) - [i12]Xavier Allamigeon, Stéphane Gaubert, Ricardo D. Katz, Mateusz Skomra:
Universal Complexity Bounds Based on Value Iteration and Application to Entropy Games. CoRR abs/2206.09044 (2022) - 2021
- [j20]Xavier Allamigeon, Marin Boyet, Stéphane Gaubert:
Piecewise Affine Dynamical Models of Petri Nets - Application to Emergency Call Centers. Fundam. Informaticae 183(3-4): 169-201 (2021) - [j19]Xavier Allamigeon, Pascal Benchimol, Stéphane Gaubert, Michael Joswig:
What Tropical Geometry Tells Us about the Complexity of Linear Programming. SIAM Rev. 63(1): 123-164 (2021) - [i11]Xavier Allamigeon, Ricardo D. Katz, Pierre-Yves Strub:
Formalizing the Face Lattice of Polyhedra. CoRR abs/2104.15021 (2021) - 2020
- [j18]Xavier Allamigeon, Stéphane Gaubert, Mateusz Skomra:
Tropical Spectrahedra. Discret. Comput. Geom. 63(3): 507-548 (2020) - [c16]Xavier Allamigeon, Marin Boyet, Stéphane Gaubert:
Piecewise Affine Dynamical Models of Timed Petri Nets - Application to Emergency Call Centers. Petri Nets 2020: 260-279 - [c15]Xavier Allamigeon, Ricardo D. Katz, Pierre-Yves Strub:
Formalizing the Face Lattice of Polyhedra. IJCAR (2) 2020: 185-203 - [c14]Marianne Akian, Xavier Allamigeon, Marin Boyet, Stéphane Gaubert:
A Convex Programming Approach to Solve Posynomial Systems. ICMS 2020: 241-250 - [i10]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:
Forecasting the local progression of the Covid-19 epidemic from medical emergency calls: the example of the Paris area. CoRR abs/2005.14186 (2020)
2010 – 2019
- 2019
- [j17]Xavier Allamigeon, Ricardo D. Katz:
A Formalization of Convex Polyhedra Based on the Simplex Method. J. Autom. Reason. 63(2): 323-345 (2019) - [j16]Xavier Allamigeon, Stéphane Gaubert, Mateusz Skomra:
The tropical analogue of the Helton-Nie conjecture is true. J. Symb. Comput. 91: 129-148 (2019) - 2018
- [j15]Xavier Allamigeon, Stéphane Gaubert, Mateusz Skomra:
Solving generic nonarchimedean semidefinite programs using stochastic game algorithms. J. Symb. Comput. 85: 25-54 (2018) - [j14]Xavier Allamigeon, Pascal Benchimol, Stéphane Gaubert, Michael Joswig:
Log-Barrier Interior Point Methods Are Not Strongly Polynomial. SIAM J. Appl. Algebra Geom. 2(1): 140-178 (2018) - [i9]Xavier Allamigeon, Stéphane Gaubert, Ricardo D. Katz, Mateusz Skomra:
Condition numbers of stochastic mean payoff games and what they say about nonarchimedean semidefinite programming. CoRR abs/1802.07712 (2018) - 2017
- [j13]Xavier Allamigeon, Vianney Boeuf, Stéphane Gaubert:
Stationary solutions of discrete and continuous Petri nets with priorities. Perform. Evaluation 113: 1-12 (2017) - [j12]Xavier Allamigeon, Stéphane Gaubert, Eric Goubault, Sylvie Putot, Nikolas Stott:
A Fast Method to Compute Disjunctive Quadratic Invariants of Numerical Programs. ACM Trans. Embed. Comput. Syst. 16(5s): 166:1-166:19 (2017) - [c13]Xavier Allamigeon, Ricardo D. Katz:
A Formalization of Convex Polyhedra Based on the Simplex Method. ITP 2017: 28-45 - [i8]Xavier Allamigeon, Ricardo D. Katz:
A formalization of convex polyhedra based on the simplex method. CoRR abs/1706.10269 (2017) - 2016
- [j11]Xavier Allamigeon, Stéphane Gaubert, Nikolas Stott, Eric Goubault, Sylvie Putot:
A Scalable Algebraic Method to Infer Quadratic Invariants of Switched Systems. ACM Trans. Embed. Comput. Syst. 15(4): 69:1-69:20 (2016) - [c12]Xavier Allamigeon, Stéphane Gaubert, Mateusz Skomra:
Solving Generic Nonarchimedean Semidefinite Programs Using Stochastic Game Algorithms. ISSAC 2016: 31-38 - [c11]Xavier Allamigeon, Vianney Boeuf, Stéphane Gaubert:
Stationary solutions of discrete and continuous Petri nets with priorities. VALUETOOLS 2016 - 2015
- [j10]Victor Magron, Xavier Allamigeon, Stéphane Gaubert, Benjamin Werner:
Formal Proofs for Nonlinear Optimization. J. Formaliz. Reason. 8(1): 1-24 (2015) - [j9]Victor Magron, Xavier Allamigeon, Stéphane Gaubert, Benjamin Werner:
Certification of real inequalities: templates and sums of squares. Math. Program. 151(2): 477-506 (2015) - [j8]Xavier Allamigeon, Pascal Benchimol, Stéphane Gaubert, Michael Joswig:
Tropicalizing the Simplex Algorithm. SIAM J. Discret. Math. 29(2): 751-795 (2015) - [c10]Xavier Allamigeon, Stéphane Gaubert, Eric Goubault, Sylvie Putot, Nikolas Stott:
A scalable algebraic method to infer quadratic invariants of switched systems. EMSOFT 2015: 75-84 - [c9]Xavier Allamigeon, Vianney Boeuf, Stéphane Gaubert:
Performance Evaluation of an Emergency Call Center: Tropical Polynomial Systems Applied to Timed Petri Nets. FORMATS 2015: 10-26 - 2014
- [j7]Xavier Allamigeon:
On the Complexity of Strongly Connected Components in Directed Hypergraphs. Algorithmica 69(2): 335-369 (2014) - [j6]Xavier Allamigeon, Uli Fahrenberg, Stéphane Gaubert, Ricardo David Katz, Axel Legay:
Tropical Fourier-Motzkin elimination, with an application to real-time verification. Int. J. Algebra Comput. 24(5): 569-608 (2014) - [j5]Xavier Allamigeon, Pascal Benchimol, Stéphane Gaubert, Michael Joswig:
Combinatorial Simplex Algorithms Can Solve Mean Payoff Games. SIAM J. Optim. 24(4): 2096-2117 (2014) - [c8]Xavier Allamigeon, Pascal Benchimol, Stéphane Gaubert:
The Tropical Shadow-Vertex Algorithm Solves Mean Payoff Games in Polynomial Time on Average. ICALP (1) 2014: 89-100 - [i7]Xavier Allamigeon, Stéphane Gaubert, Victor Magron, Benjamin Werner:
Formal Proofs for Nonlinear Optimization. CoRR abs/1404.7282 (2014) - [i6]Xavier Allamigeon, Pascal Benchimol, Stéphane Gaubert:
The tropical shadow-vertex algorithm solves mean payoff games in polynomial time on average. CoRR abs/1406.5433 (2014) - 2013
- [j4]Xavier Allamigeon, Stéphane Gaubert, Eric Goubault:
Computing the Vertices of Tropical Polyhedra Using Directed Hypergraphs. Discret. Comput. Geom. 49(2): 247-279 (2013) - [j3]Xavier Allamigeon, Ricardo Katz:
Minimal external representations of tropical polyhedra. J. Comb. Theory A 120(4): 907-940 (2013) - [c7]Xavier Allamigeon, Stephane Gaubert, Victor Magron, Benjamin Werner:
Certification of inequalities involving transcendental functions: Combining SDP and max-plus approximation. ECC 2013: 2244-2250 - [c6]Xavier Allamigeon, Stéphane Gaubert, Victor Magron, Benjamin Werner:
Certification of Bounds of Non-linear Functions: The Templates Method. MKM/Calculemus/DML 2013: 51-65 - [i5]Xavier Allamigeon, Stéphane Gaubert, Victor Magron, Benjamin Werner:
Certification of Bounds of Non-linear Functions: the Templates Method. CoRR abs/1307.3231 (2013) - [i4]Xavier Allamigeon, Uli Fahrenberg, Stéphane Gaubert, Ricardo David Katz, Axel Legay:
Tropical Fourier-Motzkin elimination, with an application to real-time verification. CoRR abs/1308.2122 (2013) - 2011
- [j2]Xavier Allamigeon, Stéphane Gaubert, Ricardo Katz:
The number of extreme points of tropical polyhedra. J. Comb. Theory A 118(1): 162-189 (2011) - [i3]Xavier Allamigeon:
Strongly connected components of directed hypergraphs. CoRR abs/1112.1444 (2011) - 2010
- [c5]Xavier Allamigeon, Stéphane Gaubert, Eric Goubault:
The Tropical Double Description Method. STACS 2010: 47-58 - [i2]Xavier Allamigeon, Stéphane Gaubert, Eric Goubault:
The tropical double description method. CoRR abs/1001.4119 (2010) - [i1]Xavier Allamigeon, Stéphane Gaubert, Ricardo Katz:
Tropical polar cones, hypergraph transversals, and mean payoff games. CoRR abs/1004.2778 (2010)
2000 – 2009
- 2009
- [b1]Xavier Allamigeon:
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). École Polytechnique, Palaiseau, France, 2009 - 2008
- [j1]Xavier Allamigeon, Charles Hymans:
Static analysis by abstract interpretation: application to the detection of heap overflows. J. Comput. Virol. 4(1): 5-23 (2008) - [c4]Xavier Allamigeon:
Non-disjunctive Numerical Domain for Array Predicate Abstraction. ESOP 2008: 163-177 - [c3]Xavier Allamigeon, Stephane Gaubert, Eric Goubault:
Inferring Min and Max Invariants Using Max-Plus Polyhedra. SAS 2008: 189-204 - 2006
- [c2]Xavier Allamigeon, Wenceslas Godard, Charles Hymans:
Static Analysis of String Manipulations in Critical Embedded C Programs. SAS 2006: 35-51 - 2005
- [c1]Xavier Allamigeon, Bruno Blanchet:
Reconstruction of Attacks against Cryptographic Protocols. CSFW 2005: 140-154
Coauthor Index
aka: Stephane Gaubert
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-06-10 21:26 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
