| Publication | Date of Publication | Type |
|---|
| Stationary regimes of piecewise linear dynamical systems with priorities | 2025-11-07 | Paper |
| Universal complexity bounds based on value iteration and application to entropy games | 2024-06-24 | Paper |
No self-concordant barrier interior point method is strongly polynomial
Proceedings of the 54th Annual ACM SIGACT Symposium on Theory of Computing | 2023-12-08 | Paper |
Tropical Complementarity Problems and Nash Equilibria
SIAM Journal on Discrete Mathematics | 2023-08-11 | Paper |
Formalizing the Face Lattice of Polyhedra
Automated Reasoning | 2022-11-09 | Paper |
A convex programming approach to solve posynomial systems
Lecture Notes in Computer Science | 2022-10-13 | Paper |
Computing transience bounds of emergency call centers: a hierarchical timed Petri net approach
(available as arXiv preprint) | 2022-08-19 | Paper |
Formalizing the face lattice of polyhedra
(available as arXiv preprint) | 2022-08-02 | Paper |
| Formalizing the face lattice of polyhedra | 2022-08-02 | Paper |
Piecewise affine dynamical models of Petri nets -- application to emergency call centers
Fundamenta Informaticae | 2022-02-01 | Paper |
Formalizing the Face Lattice of Polyhedra
(available as arXiv preprint) | 2021-04-30 | Paper |
What Tropical Geometry Tells Us about the Complexity of Linear Programming
SIAM Review | 2021-02-10 | Paper |
Understanding and monitoring the evolution of the Covid-19 epidemic from medical emergency calls: the example of the Paris area
Comptes Rendus. Mathématique. Académie des Sciences, Paris | 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
(available as arXiv preprint) | 2020-05-28 | Paper |
Piecewise Affine Dynamical Models of Timed Petri Nets -- Application to Emergency Call Centers
(available as arXiv preprint) | 2020-04-20 | Paper |
Tropical spectrahedra
Discrete & Computational Geometry | 2020-04-07 | Paper |
Formal Proofs for Nonlinear Optimization
(available as arXiv preprint) | 2019-09-18 | Paper |
A formalization of convex polyhedra based on the simplex method
Journal of Automated Reasoning | 2019-08-21 | Paper |
The tropical analogue of the Helton-Nie conjecture is true
Journal of Symbolic Computation | 2018-11-01 | Paper |
Log-Barrier Interior Point Methods Are Not Strongly Polynomial
SIAM Journal on Applied Algebra and Geometry | 2018-06-12 | Paper |
A formalization of convex polyhedra based on the simplex method
Lecture Notes in Computer Science | 2018-01-04 | Paper |
Solving generic nonarchimedean semidefinite programs using stochastic game algorithms
Journal of Symbolic Computation | 2017-10-10 | Paper |
Tropicalization of facets of polytopes
Linear Algebra and its Applications | 2017-08-28 | Paper |
Tropicalization of facets of polytopes
Linear Algebra and its Applications | 2017-08-28 | Paper |
Solving generic nonarchimedean semidefinite programs using stochastic game algorithms
Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation | 2017-05-10 | Paper |
On the complexity of strongly connected components in directed hypergraphs
Algorithmica | 2017-03-27 | Paper |
| Stationary solutions of discrete and continuous Petri nets with priorities | 2016-12-22 | Paper |
Tropicalizing the simplex algorithm
SIAM Journal on Discrete Mathematics | 2015-11-27 | Paper |
Performance evaluation of an emergency call center: tropical polynomial systems applied to timed Petri nets
Lecture Notes in Computer Science | 2015-09-14 | Paper |
Certification of real inequalities: templates and sums of squares
Mathematical Programming. Series A. Series B | 2015-06-19 | Paper |
Combinatorial simplex algorithms can solve mean payoff games
SIAM Journal on Optimization | 2015-04-08 | Paper |
Tropical Fourier-Motzkin elimination, with an application to real-time verification
International Journal of Algebra and Computation | 2014-10-15 | Paper |
The tropical shadow-vertex algorithm solves mean payoff games in polynomial time on average
Automata, Languages, and Programming | 2014-07-01 | Paper |
| Long and winding central paths | 2014-05-16 | Paper |
Certification of bounds of non-linear functions: the templates method
Lecture Notes in Computer Science | 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
Journal of Combinatorial Theory. Series A | 2013-04-15 | Paper |
Computing the vertices of tropical polyhedra using directed hypergraphs
Discrete & Computational Geometry | 2013-03-20 | Paper |
| The tropical double description method | 2012-01-23 | Paper |
Tropical polar cones, hypergraph transversals, and mean payoff games
Linear Algebra and its Applications | 2011-07-13 | Paper |
The number of extreme points of tropical polyhedra
Journal of Combinatorial Theory. Series A | 2011-01-07 | Paper |
Static Analysis of String Manipulations in Critical Embedded C Programs
Static Analysis | 2009-03-12 | Paper |
Inferring Min and Max Invariants Using Max-Plus Polyhedra
Static Analysis | 2008-08-28 | Paper |
Non-disjunctive Numerical Domain for Array Predicate Abstraction
Programming Languages and Systems | 2008-04-11 | Paper |
Signed tropicalization of polar cones
(available as arXiv preprint) | N/A | Paper |
