Stéphane Gaubert

ORCID

Publication Activity (10 Years)

Years Active: 1996-2024
Publications (10 Years): 50

Top Venues

CoRR

CDC

SIAM J. Discret. Math.

SIAM J. Optim.

Publications

Marianne Akian, Antoine Béreau, Stéphane Gaubert
Eigenvalue Methods for Sparse Tropical Polynomial Systems. ICMS (2024)
Quentin Jacquet, Wim van Ackooij, Clémence Alasseur, Stéphane Gaubert
Quadratic regularization of bilevel pricing problems and application to electricity retail markets. Eur. J. Oper. Res. 313 (3) (2024)
Stéphane Gaubert, Yiannis Vlassopoulos
Directed Metric Structures arising in Large Language Models. CoRR (2024)
Maël Forcier, Stéphane Gaubert, Vincent Leclère
Exact Quantization of Multistage Stochastic Linear Problems. SIAM J. Optim. 34 (1) (2024)
Xavier Allamigeon, Stéphane Gaubert, Frédéric Meunier
Tropical Complementarity Problems and Nash Equilibria. SIAM J. Discret. Math. 37 (3) (2023)
Marianne Akian, Stéphane Gaubert, Ulysse Naepels, Basile Terver
Solving Irreducible Stochastic Mean-Payoff Games and Entropy Games by Relative Krasnoselskii-Mann Iteration. MFCS (2023)
Marianne Akian, Antoine Béreau, Stéphane Gaubert
The Tropical Nullstellensatz and Positivstellensatz for Sparse Polynomial Systems. ISSAC (2023)
Shmuel Friedland, Stéphane Gaubert
Bit-complexity estimates in geometric programming, and application to the polynomial-time computation of the spectral radius of nonnegative tensors. CoRR (2023)
Marianne Akian, Stéphane Gaubert, Yang Qi, Omar Saadi
Tropical Linear Regression and Mean Payoff Games: Or, How to Measure the Distance to Equilibria. SIAM J. Discret. Math. 37 (2) (2023)
Marianne Akian, Stéphane Gaubert, Ulysse Naepels, Basile Terver
Solving irreducible stochastic mean-payoff games and entropy games by relative Krasnoselskii-Mann iteration. CoRR (2023)
Quentin Jacquet, Wim van Ackooij, Clémence Alasseur, Stéphane Gaubert
A Quantization Procedure for Nonlinear Pricing with an Application to Electricity Markets. CDC (2023)
Marianne Akian, Stéphane Gaubert, Zheng Qu, Omar Saadi
Multiply Accelerated Value Iteration for NonSymmetric Affine Fixed Point Problems and Application to Markov Decision Processes. SIAM J. Matrix Anal. Appl. 43 (1) (2022)
Xavier Allamigeon, Marin Boyet, Stéphane Gaubert
Computing Transience Bounds of Emergency Call Centers: A Hierarchical Timed Petri Net Approach. Petri Nets (2022)
Xavier Allamigeon, Stéphane Gaubert, Nicolas Vandame
No self-concordant barrier interior point method is strongly polynomial. STOC (2022)
Quentin Jacquet, Wim van Ackooij, Clémence Alasseur, Stéphane Gaubert
Ergodic control of a heterogeneous population and application to electricity pricing. CDC (2022)
Xavier Allamigeon, Stéphane Gaubert, Ricardo D. Katz, Mateusz Skomra
Universal Complexity Bounds Based on Value Iteration and Application to Entropy Games. CoRR (2022)
Xavier Allamigeon, Stéphane Gaubert, Ricardo D. Katz, Mateusz Skomra
Universal Complexity Bounds Based on Value Iteration and Application to Entropy Games. ICALP (2022)
Xavier Allamigeon, Stéphane Gaubert, Nicolas Vandame
No self-concordant barrier interior point method is strongly polynomial. CoRR (2022)
Xavier Allamigeon, Pascal Benchimol, Stéphane Gaubert, Michael Joswig
What Tropical Geometry Tells Us about the Complexity of Linear Programming. SIAM Rev. 63 (1) (2021)
Xavier Allamigeon, Marin Boyet, Stéphane Gaubert
Piecewise Affine Dynamical Models of Petri Nets - Application to Emergency Call Centers. Fundam. Informaticae 183 (3-4) (2021)
Marianne Akian, Stéphane Gaubert, Yang Qi, Omar Saadi
Tropical linear regression and mean payoff games: or, how to measure the distance to equilibria. CoRR (2021)
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 (2020)
Marianne Akian, Xavier Allamigeon, Marin Boyet, Stéphane Gaubert
A Convex Programming Approach to Solve Posynomial Systems. ICMS (2020)
Xavier Allamigeon, Marin Boyet, Stéphane Gaubert
Piecewise Affine Dynamical Models of Timed Petri Nets - Application to Emergency Call Centers. Petri Nets (2020)
Xavier Allamigeon, Stéphane Gaubert, Mateusz Skomra
Tropical Spectrahedra. Discret. Comput. Geom. 63 (3) (2020)
Olivier Beaude, Pascal Benchimol, Stéphane Gaubert, Paulin Jacquot, Nadia Oudjane
A Privacy-Preserving Method to Optimize Distributed Resource Allocation. SIAM J. Optim. 30 (3) (2020)
Paulin Jacquot, Olivier Beaude, Pascal Benchimol, Stéphane Gaubert, Nadia Oudjane
A Privacy-preserving Disaggregation Algorithm for Non-intrusive Management of Flexible Energy. CoRR (2019)
Paulin Jacquot, Olivier Beaude, Pascal Benchimol, Stéphane Gaubert, Nadia Oudjane
A Privacy-preserving Disaggregation Algorithm for Non-intrusive Management of Flexible Energy. CDC (2019)
Olivier Beaude, Pascal Benchimol, Stéphane Gaubert, Paulin Jacquot, Nadia Oudjane
A Privacy-preserving Method to Optimize Distributed Resource Allocation. CoRR (2019)
Marianne Akian, Stéphane Gaubert, Zheng Qu, Omar Saadi
Solving Ergodic Markov Decision Processes and Perfect Information Zero-sum Stochastic Games by Variance Reduced Deflated Value Iteration. CDC (2019)
Paulin Jacquot, Olivier Beaude, Stéphane Gaubert, Nadia Oudjane
Analysis and Implementation of an Hourly Billing Mechanism for Demand Response Management. IEEE Trans. Smart Grid 10 (4) (2019)
Marianne Akian, Stéphane Gaubert, Julien Grand-Clément, Jérémie Guillaud
The Operator Approach to Entropy Games. Theory Comput. Syst. 63 (5) (2019)
Marianne Akian, Stéphane Gaubert, Julien Grand-Clément, Jérémie Guillaud
The operator approach to entropy games. CoRR (2019)
Xavier Allamigeon, Stéphane Gaubert, Mateusz Skomra
The tropical analogue of the Helton-Nie conjecture is true. J. Symb. Comput. 91 (2019)
Stéphane Gaubert, Marie MacCaig
Approximating the volume of tropical polytopes is difficult. Int. J. Algebra Comput. 29 (2) (2019)
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 (2018)
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) (2018)
Xavier Allamigeon, Stéphane Gaubert, Mateusz Skomra
Solving generic nonarchimedean semidefinite programs using stochastic game algorithms. J. Symb. Comput. 85 (2018)
Paulin Jacquot, Olivier Beaude, Stéphane Gaubert, Nadia Oudjane
Demand Side Management in the Smart Grid: an Efficiency and Fairness Tradeoff. CoRR (2017)
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) (2017)
Xavier Allamigeon, Vianney Boeuf, Stéphane Gaubert
Stationary solutions of discrete and continuous Petri nets with priorities. Perform. Evaluation 113 (2017)
Marianne Akian, Stéphane Gaubert, Julien Grand-Clément, Jérémie Guillaud
The Operator Approach to Entropy Games. STACS (2017)
Paulin Jacquot, Olivier Beaude, Stéphane Gaubert, Nadia Oudjane
Analysis and Implementation of a Hourly Billing Mechanism for Demand Response Management. CoRR (2017)
Stéphane Gaubert, Zheng Qu
Checking strict positivity of Kraus maps is NP-hard. Inf. Process. Lett. 118 (2017)
Jean-Bernard Eytard, Marianne Akian, Mustapha Bouhtou, Stéphane Gaubert
A bilevel optimization model for load balancing in mobile networks through price incentives. WiOpt (2017)
Xavier Allamigeon, Vianney Boeuf, Stéphane Gaubert
Stationary solutions of discrete and continuous Petri nets with priorities. VALUETOOLS (2016)
Stéphane Gaubert, Dima Grigoriev, Michael Joswig, Thorsten Theobald
Algorithms and Effectivity in Tropical Mathematics and Beyond (Dagstuhl Seminar 16482). Dagstuhl Reports 6 (11) (2016)
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) (2016)
Stéphane Gaubert, Zheng Qu, Srinivas Sridharan
Maximizing concave piecewise affine functions on the unitary group. Optim. Lett. 10 (4) (2016)
Xavier Allamigeon, Stéphane Gaubert, Mateusz Skomra
Solving Generic Nonarchimedean Semidefinite Programs Using Stochastic Game Algorithms. ISSAC (2016)
Victor Magron, Xavier Allamigeon, Stéphane Gaubert, Benjamin Werner
Certification of real inequalities: templates and sums of squares. Math. Program. 151 (2) (2015)
Xavier Allamigeon, Vianney Boeuf, Stéphane Gaubert
Performance Evaluation of an Emergency Call Center: Tropical Polynomial Systems Applied to Timed Petri Nets. FORMATS (2015)
Victor Magron, Xavier Allamigeon, Stéphane Gaubert, Benjamin Werner
Formal Proofs for Nonlinear Optimization. J. Formaliz. Reason. 8 (1) (2015)
Marianne Akian, Stéphane Gaubert, Antoine Hochart
Hypergraph conditions for the solvability of the ergodic equation for zero-sum games. CDC (2015)
Xavier Allamigeon, Stéphane Gaubert, Eric Goubault, Sylvie Putot, Nikolas Stott
A scalable algebraic method to infer quadratic invariants of switched systems. EMSOFT (2015)
Xavier Allamigeon, Pascal Benchimol, Stéphane Gaubert, Michael Joswig
Tropicalizing the Simplex Algorithm. SIAM J. Discret. Math. 29 (2) (2015)
Jérôme Bolte, Stéphane Gaubert, Guillaume Vigeral
Definable Zero-Sum Stochastic Games. Math. Oper. Res. 40 (1) (2015)
Frédérique Billy, Jean Clairambault, Olivier Fercoq, Stéphane Gaubert, Thomas Lepoutre, Thomas Ouillon, Shoko Saito
Synchronisation and control of proliferation in cycling cell population models with age structure. Math. Comput. Simul. 96 (2014)
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) (2014)
Xavier Allamigeon, Pascal Benchimol, Stéphane Gaubert, Michael Joswig
Combinatorial Simplex Algorithms Can Solve Mean Payoff Games. SIAM J. Optim. 24 (4) (2014)
Xavier Allamigeon, Pascal Benchimol, Stéphane Gaubert
The Tropical Shadow-Vertex Algorithm Solves Mean Payoff Games in Polynomial Time on Average. ICALP (1) (2014)
Xavier Allamigeon, Stéphane Gaubert, Victor Magron, Benjamin Werner
Formal Proofs for Nonlinear Optimization. CoRR (2014)
Xavier Allamigeon, Pascal Benchimol, Stéphane Gaubert
The tropical shadow-vertex algorithm solves mean payoff games in polynomial time on average. CoRR (2014)
Marianne Akian, Stéphane Gaubert, Antoine Hochart
Generic uniqueness of the bias vector of mean payoff zero-sum games. CDC (2014)
Xavier Allamigeon, Stéphane Gaubert, Victor Magron, Benjamin Werner
Certification of Bounds of Non-linear Functions: the Templates Method. CoRR (2013)
Xavier Allamigeon, Stéphane Gaubert, Eric Goubault
Computing the Vertices of Tropical Polyhedra Using Directed Hypergraphs. Discret. Comput. Geom. 49 (2) (2013)
Xavier Allamigeon, Uli Fahrenberg, Stéphane Gaubert, Ricardo David Katz, Axel Legay
Tropical Fourier-Motzkin elimination, with an application to real-time verification. CoRR (2013)
Stéphane Gaubert, Sergei Sergeev
The level set method for the two-sided max-plus eigenproblem. Discret. Event Dyn. Syst. 23 (2) (2013)
Stéphane Gaubert, Zheng Qu
Dobrushin ergodicity coefficient for Markov operators on cones, and beyond CoRR (2013)
Xavier Allamigeon, Stéphane Gaubert, Victor Magron, Benjamin Werner
Certification of Bounds of Non-linear Functions: The Templates Method. MKM/Calculemus/DML (2013)
Marianne Akian, Stéphane Gaubert, Alexander E. Guterman
Tropical Polyhedra are Equivalent to mean Payoff Games. Int. J. Algebra Comput. 22 (1) (2012)
Assalé Adjé, Stéphane Gaubert, Eric Goubault
Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis Log. Methods Comput. Sci. 8 (1) (2012)
Thomas Martin Gawlitza, Helmut Seidl, Assalé Adjé, Stéphane Gaubert, Eric Goubault
Abstract interpretation meets convex optimization. J. Symb. Comput. 47 (12) (2012)
Marianne Akian, Jean Cochet-Terrasson, Sylvie Detournay, Stéphane Gaubert
Policy iteration algorithm for zero-sum multichain stochastic games with mean payoff and perfect information CoRR (2012)
Stéphane Gaubert, Ricardo Katz, Sergei Sergeev
Tropical linear-fractional programming and parametric mean payoff games. J. Symb. Comput. 47 (12) (2012)
Stéphane Gaubert, Zheng Qu
The contraction rate in Thompson metric of order-preserving flows on a cone - application to generalized Riccati equations CoRR (2012)
Xavier Allamigeon, Stéphane Gaubert, Ricardo Katz
The number of extreme points of tropical polyhedra. J. Comb. Theory, Ser. A 118 (1) (2011)
Vincent D. Blondel, Stéphane Gaubert, Natacha Portier
The set of realizations of a max-plus linear sequence is semi-polyhedral. J. Comput. Syst. Sci. 77 (4) (2011)
Jean Clairambault, Stéphane Gaubert, Thomas Lepoutre
Circadian rhythm and cell population growth. Math. Comput. Model. 53 (7-8) (2011)
Michael Di Loreto, Stéphane Gaubert, Ricardo Katz, Jean Jacques Loiseau
Duality Between Invariant Spaces for Max-Plus Linear Discrete Event Systems. SIAM J. Control. Optim. 48 (8) (2010)
Xavier Allamigeon, Stéphane Gaubert, Ricardo Katz
Tropical polar cones, hypergraph transversals, and mean payoff games CoRR (2010)
Jack R. Edmonds, Stéphane Gaubert, Vladimir Gurvich
Sperner Oiks. Electron. Notes Discret. Math. 36 (2010)
Assalé Adjé, Stéphane Gaubert, Eric Goubault
Coupling Policy Iteration with Semi-definite Relaxation to Compute Accurate Numerical Invariants in Static Analysis. ESOP (2010)
Vincent D. Blondel, Stéphane Gaubert, Natacha Portier
The set of realizations of a max-plus linear sequence is semi-polyhedral CoRR (2010)
Jack R. Edmonds, Stéphane Gaubert, Vladimir Gurvich
Scarf Oiks. Electron. Notes Discret. Math. 36 (2010)
Olivier Fercoq, Marianne Akian, Mustapha Bouhtou, Stéphane Gaubert
Ergodic Control and Polyhedral approaches to PageRank Optimization CoRR (2010)
Sergei Friedland, Stéphane Gaubert
Submodular spectral functions of principal submatrices of an hermitian matrix CoRR (2010)
Mustapha Bouhtou, Stéphane Gaubert, Guillaume Sagnol
Submodularity and Randomized rounding techniques for Optimal Experimental Design. Electron. Notes Discret. Math. 36 (2010)
Stéphane Gaubert, Ricardo Katz, Sergei Sergeev
Tropical linear programming and parametric mean payoff games. WING@ETAPS/IJCAR (2010)
Guillaume Sagnol, Mustapha Bouhtou, Stéphane Gaubert
Successive c-optimal designs: a scalable technique to optimize the measurements on large networks. SIGMETRICS (2010)
Xavier Allamigeon, Stéphane Gaubert, Eric Goubault
The Tropical Double Description Method. STACS (2010)
Xavier Allamigeon, Stéphane Gaubert, Eric Goubault
The tropical double description method CoRR (2010)
Stéphane Gaubert, Frédéric Meunier
Carathéodory, Helly and the Others in the Max-Plus World. Discret. Comput. Geom. 43 (3) (2010)
Guillaume Sagnol, Stéphane Gaubert, Mustapha Bouhtou
Optimal monitoring in large networks by Successive c-optimal Designs. International Teletraffic Congress (2010)
Peter Butkovic, Raymond A. Cuninghame-Green, Stéphane Gaubert
Reducible Spectral Theory with Applications to the Robustness of Matrices in Max-Algebra. SIAM J. Matrix Anal. Appl. 31 (3) (2009)
Marianne Akian, Stéphane Gaubert, Laure Ninove
The T-PageRank: A Model of Self-Validating Effects of Web Surfing. POSTA (2006)
Marianne Akian, Stéphane Gaubert, Cormac Walsh
How to find horizon-independent optimal strategies leading off to infinity: a max-plus approach. CDC (2006)
Stéphane Gaubert, Ricardo Katz
Rational semimodules over the max-plus semiring and geometric approach to discrete event systems. Kybernetika 40 (2) (2004)
Stéphane Gaubert, Jean Jacques Loiseau, Jean Mairesse, Maurice Nivat, Jean-Eric Pin
Foreword. Theor. Comput. Sci. 293 (1) (2003)
Stéphane Gaubert, Jean Jacques Loiseau
Guest editorial: Special issue on max-plus algebras. Kybernetika 39 (2) (2003)

Stéphane Gaubert.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Stéphane Gaubert