Personal profile
Research interests
Engineering and Technology
Fingerprint
Dive into the research topics where Xavier Allamigeon is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Computing the Congestion Phases of Dynamical Systems with Priorities and Application to Emergency Departments
Allamigeon, X., Capetillo, P. & Gaubert, S., 1 Jan 2026, Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems - Second International Joint Conference, QEST+FORMATS 2025, Proceedings. Prabhakar, P. & Vandin, A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 487-505 19 p. (Lecture Notes in Computer Science; vol. 16143 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
INTERIOR POINT METHODS ARE NOT WORSE THAN SIMPLEX
Allamigeon, X., Dadush, D., Loho, G., Natura, B. & Végh, L. A., 1 Jan 2025, In: SIAM Journal on Computing. 54, 5, p. FOCS22178-FOCS22264Research output: Contribution to journal › Article › peer-review
-
Signed Tropicalization of Polar Cones
Akian, M., Allamigeon, X., Gaubert, S. & Sergeev, S., 1 Oct 2025, In: Journal of Optimization Theory and Applications. 207, 1, 10.Research output: Contribution to journal › Article › peer-review
Open Access -
Stationary regimes of piecewise linear dynamical systems with priorities
Allamigeon, X., Capetillo, P. & Gaubert, S., 21 May 2025, HSCC 2025 - Proceedings of the 28th International Conference on Hybrid Systems: Computation and Control, part of CPS-IoT Week. Association for Computing Machinery, Inc, 1. (HSCC 2025 - Proceedings of the 28th International Conference on Hybrid Systems: Computation and Control, part of CPS-IoT Week).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
Universal complexity bounds based on value iteration for stochastic mean payoff games and entropy games
Allamigeon, X., Gaubert, S., Katz, R. D. & Skomra, M., 1 Jan 2025, In: Information and Computation. 302, 105236.Research output: Contribution to journal › Article › peer-review
-
A Formal Disproof of Hirsch Conjecture
Allamigeon, X., Canu, Q. & Strub, P. Y., 11 Jan 2023, CPP 2023 - Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2023. Krebbers, R., Traytel, D., Pientka, B. & Zdancewic, S. (eds.). Association for Computing Machinery, Inc, p. 17-29 13 p. (CPP 2023 - Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2023).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
TROPICAL COMPLEMENTARITY PROBLEMS AND NASH EQUILIBRIA
Allamigeon, X., Gaubert, S. & Meunier, F., 1 Jan 2023, In: SIAM Journal on Discrete Mathematics. 37, 3, p. 1645-1665 21 p.Research output: Contribution to journal › Article › peer-review
-
Computing Transience Bounds of Emergency Call Centers: A Hierarchical Timed Petri Net Approach
Allamigeon, X., Boyet, M. & Gaubert, S., 1 Jan 2022, Application and Theory of Petri Nets and Concurrency - 43rd International Conference, PETRI NETS 2022, Proceedings. Bernardinello, L. & Petrucci, L. (eds.). Springer Science and Business Media Deutschland GmbH, p. 90-112 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13288 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
FORMALIZING THE FACE LATTICE OF POLYHEDRA∗
Allamigeon, X., Katz, R. D. & Strub, P. Y., 1 Jan 2022, In: Logical Methods in Computer Science. 18, 2Research output: Contribution to journal › Article › peer-review
Open Access -
Interior point methods are not worse than Simplex
Allamigeon, X., Dadush, D., Loho, G., Natura, B. & Vegh, L. A., 1 Jan 2022, Proceedings - 2022 IEEE 63rd Annual Symposium on Foundations of Computer Science, FOCS 2022. IEEE Computer Society, p. 267-277 11 p. (Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS; vol. 2022-October).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review