| Publication | Date of Publication | Type |
|---|
| 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 | 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 |
| Signed tropicalization of polar cones | N/A | Paper |
