Resource optimization and (min, +) spectral theory. - Stephane Gaubert (IEEE Trans. Autom. Control., 1995)

Performance evaluation of (max, +) automata. - Stéphane Gaubert (IEEE Trans. Autom. Control., 1995)

Deterministic weak-and-marked Petri net languages are regular. - Stéphane Gaubert; Alessandro Giua (IEEE Trans. Autom. Control., 1996)

Methods and Applications of (MAX, +) Linear Algebra. - Stephane Gaubert; Max Plus (STACS, 1997)

Algebraic Techniques for Timed Systems. - Albert Benveniste; Claude Jard; Stephane Gaubert (CONCUR, 1998)

Timed-event graphs with multipliers and homogeneous min-plus systems. - Guy Cohen; Stephane Gaubert; Jean-Pierre Quadrat (IEEE Trans. Autom. Control., 1998)

Asymptotic analysis of heaps of pieces and application to timed Petri nets. - Stéphane Gaubert; Jean Mairesse (PNPM, 1999)

Petri Net Languages and Infinite Subsets of m. - Stephane Gaubert; Alessandro Giua (J. Comput. Syst. Sci., 1999)

Modeling and analysis of timed Petri nets using heaps of pieces. - Stéphane Gaubert; Jean Mairesse (IEEE Trans. Autom. Control., 1999)

Approximating the spectral radius of sets of matrices in the max-algebra is NP-hard. - Vincent D. Blondel; Stéphane Gaubert; John N. Tsitsiklis (IEEE Trans. Autom. Control., 2000)

Reachability and Invariance Problems in Max-plus Algebra. - Stephane Gaubert; Ricardo Katz (POSTA, 2003)

Guest editorial: Special issue on max-plus algebras. - Stéphane Gaubert; Jean Jacques Loiseau (Kybernetika, 2003)

Foreword. - Stéphane Gaubert; Jean Jacques Loiseau; Jean Mairesse; Maurice Nivat; Jean-Eric Pin (Theor. Comput. Sci., 2003)

Rational semimodules over the max-plus semiring and geometric approach to discrete event systems. - Stéphane Gaubert; Ricardo Katz (Kybernetika, 2004)

A Policy Iteration Algorithm for Computing Fixed Points in Static Analysis of Programs. - Alexandru Costan; Stephane Gaubert; Eric Goubault; Matthieu Martel; Sylvie Putot (CAV, 2005)

Solutions of max-plus linear equations and large deviations. - Marianne Akian; Stephane Gaubert; Vassili Kolokoltsov (CDC/ECC, 2005)

The max-plus finite element method for optimal control problems: further approximation results. - Marianne Akian; Stephane Gaubert; Asma Lakhoua (CDC/ECC, 2005)

Max-Plus Convex Geometry. - Stephane Gaubert; Ricardo Katz (RelMiCS, 2006)

How to find horizon-independent optimal strategies leading off to infinity: a max-plus approach. - Marianne Akian; Stéphane Gaubert; Cormac Walsh (CDC, 2006)

The T-PageRank: A Model of Self-Validating Effects of Web Surfing. - Marianne Akian; Stéphane Gaubert; Laure Ninove (POSTA, 2006)

How to solve large scale deterministic games with mean payoff by policy iteration. - Vishesh Dhingra; Stephane Gaubert (VALUETOOLS, 2006)

Reachability Problems for Products of Matrices in Semirings. - Stephane Gaubert; Ricardo Katz (Int. J. Algebra Comput., 2006)

Static Analysis by Policy Iteration on Relational Domains. - Stephane Gaubert; Eric Goubault; Ankur Taly; Sarah Zennou (ESOP, 2007)

Curse-of-complexity attenuation in the curse-of-dimensionality-free method for HJB PDEs. - William M. McEneaney; Ameet S. Deshpande; Stephane Gaubert (ACC, 2008)

Convergence analysis of the Max-Plus Finite Element Method for Solving Deterministic Optimal Control Problems. - Marianne Akian; Stephane Gaubert; Asma Lakhoua (CDC, 2008)

Inferring Min and Max Invariants Using Max-Plus Polyhedra. - Xavier Allamigeon; Stephane Gaubert; Eric Goubault (SAS, 2008)

The Max-Plus Finite Element Method for Solving Deterministic Optimal Control Problems: Basic Properties and Convergence Analysis. - Marianne Akian; Stephane Gaubert; Asma Lakhoua (SIAM J. Control. Optim., 2008)

Max-plus Algebraic Tools for Discrete Event Systems, Static Analysis, and Zero-Sum Games. - Stephane Gaubert (FORMATS, 2009)

Reducible Spectral Theory with Applications to the Robustness of Matrices in Max-Algebra. - Peter Butkovic; Raymond A. Cuninghame-Green; Stéphane Gaubert (SIAM J. Matrix Anal. Appl., 2009)

Tropical linear programming and parametric mean payoff games. - Stéphane Gaubert; Ricardo Katz; Sergei Sergeev (WING@ETAPS/IJCAR, 2010)

Successive c-optimal designs: a scalable technique to optimize the measurements on large networks. - Guillaume Sagnol; Mustapha Bouhtou; Stéphane Gaubert (SIGMETRICS, 2010)

The Tropical Double Description Method. - Xavier Allamigeon; Stéphane Gaubert; Eric Goubault (STACS, 2010)

Optimal monitoring in large networks by Successive c-optimal Designs. - Guillaume Sagnol; Stéphane Gaubert; Mustapha Bouhtou (ITC, 2010)

Tropical polar cones, hypergraph transversals, and mean payoff games - Xavier Allamigeon; Stéphane Gaubert; Ricardo Katz (CoRR, 2010)

Submodular spectral functions of principal submatrices of an hermitian matrix - Sergei Friedland; Stéphane Gaubert (CoRR, 2010)

Carathéodory, Helly and the Others in the Max-Plus World. - Stéphane Gaubert; Frédéric Meunier (Discret. Comput. Geom., 2010)

Submodularity and Randomized rounding techniques for Optimal Experimental Design. - Mustapha Bouhtou; Stéphane Gaubert; Guillaume Sagnol (Electron. Notes Discret. Math., 2010)

Sperner Oiks. - Jack Edmonds 001; Stéphane Gaubert; Vladimir Gurvich (Electron. Notes Discret. Math., 2010)

Scarf Oiks. - Jack Edmonds 001; Stéphane Gaubert; Vladimir Gurvich (Electron. Notes Discret. Math., 2010)

Duality Between Invariant Spaces for Max-Plus Linear Discrete Event Systems. - Michael Di Loreto; Stéphane Gaubert; Ricardo Katz; Jean Jacques Loiseau (SIAM J. Control. Optim., 2010)

Curse of dimensionality reduction in max-plus based approximation methods: Theoretical estimates and improved pruning algorithms. - Stephane Gaubert; William M. McEneaney; Zheng Qu 001 (CDC/ECC, 2011)

Curse of dimensionality reduction - Stephane Gaubert; William M. McEneaney; Zheng Qu 001 (CoRR, 2011)

The set of realizations of a max-plus linear sequence is semi-polyhedral. - Vincent D. Blondel; Stéphane Gaubert; Natacha Portier (J. Comput. Syst. Sci., 2011)

The number of extreme points of tropical polyhedra. - Xavier Allamigeon; Stéphane Gaubert; Ricardo Katz (J. Comb. Theory A, 2011)

Circadian rhythm and cell population growth. - Jean Clairambault; Stéphane Gaubert; Thomas Lepoutre (Math. Comput. Model., 2011)

Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis - Assalé Adjé; Stéphane Gaubert; Eric Goubault (Log. Methods Comput. Sci., 2012)

The contraction rate in Thompson metric of order-preserving flows on a cone - application to generalized Riccati equations - Stéphane Gaubert; Zheng Qu 001 (CoRR, 2012)

Policy iteration algorithm for zero-sum multichain stochastic games with mean payoff and perfect information - Marianne Akian; Jean Cochet-Terrasson; Sylvie Detournay; Stéphane Gaubert (CoRR, 2012)

Tropical Polyhedra are Equivalent to mean Payoff Games. - Marianne Akian; Stéphane Gaubert; Alexander E. Guterman (Int. J. Algebra Comput., 2012)

Tropical linear-fractional programming and parametric mean payoff games. - Stéphane Gaubert; Ricardo Katz; Sergei Sergeev (J. Symb. Comput., 2012)

Abstract interpretation meets convex optimization. - Thomas Martin Gawlitza; Helmut Seidl; Assalé Adjé; Stéphane Gaubert; Eric Goubault (J. Symb. Comput., 2012)

Is the Distance Geometry Problem in NP? - Nathanael Beeker; Stéphane Gaubert; Christian Glusa; Leo Liberti (Distance Geometry, 2013)

Solving multichain stochastic games with mean payoff by policy iteration. - Marianne Akian; Jean Cochet-Terrasson; Sylvie Detournay; Stephane Gaubert (CDC, 2013)

Certification of inequalities involving transcendental functions: Combining SDP and max-plus approximation. - Xavier Allamigeon; Stephane Gaubert; Victor Magron; Benjamin Werner (ECC, 2013)

Markov operators on cones and non-commutative consensus. - Stephane Gaubert; Zheng Qu 001 (ECC, 2013)

Certification of Bounds of Non-linear Functions: The Templates Method. - Xavier Allamigeon; Stéphane Gaubert; Victor Magron; Benjamin Werner (MKM/Calculemus/DML, 2013)

Dobrushin ergodicity coefficient for Markov operators on cones, and beyond - Stéphane Gaubert; Zheng Qu 001 (CoRR, 2013)

Computing the Vertices of Tropical Polyhedra Using Directed Hypergraphs. - Xavier Allamigeon; Stéphane Gaubert; Eric Goubault (Discret. Comput. Geom., 2013)

The level set method for the two-sided max-plus eigenproblem. - Stéphane Gaubert; Sergei Sergeev (Discret. Event Dyn. Syst., 2013)

Ergodic Control and Polyhedral Approaches to PageRank Optimization. - Olivier Fercoq; Marianne Akian; Mustapha Bouhtou; Stephane Gaubert (IEEE Trans. Autom. Control., 2013)

Generic uniqueness of the bias vector of mean payoff zero-sum games. - Marianne Akian; Stéphane Gaubert; Antoine Hochart (CDC, 2014)

Non-linear eigenvalue problems arising from growth maximization of positive linear dynamical systems. - Vincent Calvez; Pierre Gabriel; Stephane Gaubert (CDC, 2014)

The Tropical Shadow-Vertex Algorithm Solves Mean Payoff Games in Polynomial Time on Average. - Xavier Allamigeon; Pascal Benchimol; Stéphane Gaubert (ICALP (1), 2014)

Tropical Fourier-Motzkin elimination, with an application to real-time verification. - Xavier Allamigeon; Uli Fahrenberg; Stéphane Gaubert; Ricardo David Katz; Axel Legay (Int. J. Algebra Comput., 2014)

Synchronisation and control of proliferation in cycling cell population models with age structure. - Frédérique Billy; Jean Clairambault; Olivier Fercoq; Stéphane Gaubert; Thomas Lepoutre; Thomas Ouillon; Shoko Saito (Math. Comput. Simul., 2014)

Combinatorial Simplex Algorithms Can Solve Mean Payoff Games. - Xavier Allamigeon; Pascal Benchimol; Stéphane Gaubert; Michael Joswig (SIAM J. Optim., 2014)

Hypergraph conditions for the solvability of the ergodic equation for zero-sum games. - Marianne Akian; Stéphane Gaubert; Antoine Hochart (CDC, 2015)

Performance Evaluation of an Emergency Call Center: Tropical Polynomial Systems Applied to Timed Petri Nets. - Xavier Allamigeon; Vianney Boeuf; Stéphane Gaubert (FORMATS, 2015)

Formal Proofs for Nonlinear Optimization. - Victor Magron; Xavier Allamigeon; Stéphane Gaubert; Benjamin Werner (J. Formaliz. Reason., 2015)

Definable Zero-Sum Stochastic Games. - Jérôme Bolte; Stéphane Gaubert; Guillaume Vigeral (Math. Oper. Res., 2015)

Certification of real inequalities: templates and sums of squares. - Victor Magron; Xavier Allamigeon; Stéphane Gaubert; Benjamin Werner (Math. Program., 2015)

Tropicalizing the Simplex Algorithm. - Xavier Allamigeon; Pascal Benchimol; Stéphane Gaubert; Michael Joswig (SIAM J. Discret. Math., 2015)

Algorithms and Effectivity in Tropical Mathematics and Beyond (Dagstuhl Seminar 16482). - Stéphane Gaubert; Dima Grigoriev; Michael Joswig; Thorsten Theobald (Dagstuhl Reports, 2016)

Maximizing concave piecewise affine functions on the unitary group. - Stéphane Gaubert; Zheng Qu 001; Srinivas Sridharan (Optim. Lett., 2016)

A Scalable Algebraic Method to Infer Quadratic Invariants of Switched Systems. - Xavier Allamigeon; Stéphane Gaubert; Nikolas Stott; Eric Goubault; Sylvie Putot (ACM Trans. Embed. Comput. Syst., 2016)

Tropical Kraus maps for optimal control of switched systems. - Stephane Gaubert; Nikolas Stott (CDC, 2017)

Demand side management in the smart grid: An efficiency and fairness tradeoff. - Paulin Jacquot; Olivier Beaude; Stephane Gaubert; Nadia Oudjane (ISGT Europe, 2017)

Demand response in the smart grid: The impact of consumers temporal preferences. - Paulin Jacquot; Olivier Beaude; Stephane Gaubert; Nadia Oudjane (SmartGridComm, 2017)

A bilevel optimization model for load balancing in mobile networks through price incentives. - Jean-Bernard Eytard; Marianne Akian; Mustapha Bouhtou; Stéphane Gaubert (WiOpt, 2017)

Analysis and Implementation of a Hourly Billing Mechanism for Demand Response Management. - Paulin Jacquot; Olivier Beaude; Stéphane Gaubert; Nadia Oudjane (CoRR, 2017)

Checking strict positivity of Kraus maps is NP-hard. - Stéphane Gaubert; Zheng Qu 001 (Inf. Process. Lett., 2017)

Stationary solutions of discrete and continuous Petri nets with priorities. - Xavier Allamigeon; Vianney Boeuf; Stéphane Gaubert (Perform. Evaluation, 2017)

A Fast Method to Compute Disjunctive Quadratic Invariants of Numerical Programs. - Xavier Allamigeon; Stéphane Gaubert; Eric Goubault; Sylvie Putot; Nikolas Stott (ACM Trans. Embed. Comput. Syst., 2017)

Condition numbers of stochastic mean payoff games and what they say about nonarchimedean semidefinite programming. - Xavier Allamigeon; Stéphane Gaubert; Ricardo D. Katz; Mateusz Skomra (CoRR, 2018)

Solving generic nonarchimedean semidefinite programs using stochastic game algorithms. - Xavier Allamigeon; Stéphane Gaubert; Mateusz Skomra (J. Symb. Comput., 2018)

Log-Barrier Interior Point Methods Are Not Strongly Polynomial. - Xavier Allamigeon; Pascal Benchimol; Stéphane Gaubert; Michael Joswig (SIAM J. Appl. Algebra Geom., 2018)

Amount of vibration transmitted by a vehicle suspension system. - Giuseppe Carlo Calafiore; Stephane Gaubert; Corrado Possieri (IEEE DataPort, 2018)

Solving Ergodic Markov Decision Processes and Perfect Information Zero-sum Stochastic Games by Variance Reduced Deflated Value Iteration. - Marianne Akian; Stéphane Gaubert; Zheng Qu 001; Omar Saadi (CDC, 2019)

A Privacy-preserving Disaggregation Algorithm for Non-intrusive Management of Flexible Energy. - Paulin Jacquot; Olivier Beaude; Pascal Benchimol; Stéphane Gaubert; Nadia Oudjane (CDC, 2019)

Approximating the volume of tropical polytopes is difficult. - Stéphane Gaubert; Marie MacCaig (Int. J. Algebra Comput., 2019)

The tropical analogue of the Helton-Nie conjecture is true. - Xavier Allamigeon; Stéphane Gaubert; Mateusz Skomra (J. Symb. Comput., 2019)

The Operator Approach to Entropy Games. - Marianne Akian; Stéphane Gaubert; Julien Grand-Clément; Jérémie Guillaud (Theory Comput. Syst., 2019)

Analysis and Implementation of an Hourly Billing Mechanism for Demand Response Management. - Paulin Jacquot; Olivier Beaude; Stéphane Gaubert; Nadia Oudjane (IEEE Trans. Smart Grid, 2019)

Piecewise Affine Dynamical Models of Timed Petri Nets - Application to Emergency Call Centers. - Xavier Allamigeon; Marin Boyet; Stéphane Gaubert (Petri Nets, 2020)

A Convex Programming Approach to Solve Posynomial Systems. - Marianne Akian; Xavier Allamigeon; Marin Boyet; Stéphane Gaubert (ICMS, 2020)

Forecasting the local progression of the Covid-19 epidemic from medical emergency calls: the example of the Paris area. - 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; et al. (CoRR, 2020)

Tropical Spectrahedra. - Xavier Allamigeon; Stéphane Gaubert; Mateusz Skomra (Discret. Comput. Geom., 2020)

A Privacy-Preserving Method to Optimize Distributed Resource Allocation. - Olivier Beaude; Pascal Benchimol; Stéphane Gaubert; Paulin Jacquot; Nadia Oudjane (SIAM J. Optim., 2020)

Log-Sum-Exp Neural Networks and Posynomial Models for Convex and Log-Log-Convex Data. - Giuseppe Carlo Calafiore; Stephane Gaubert; Corrado Possieri (IEEE Trans. Neural Networks Learn. Syst., 2020)

A Universal Approximation Result for Difference of Log-Sum-Exp Neural Networks. - Giuseppe Carlo Calafiore; Stephane Gaubert; Corrado Possieri (IEEE Trans. Neural Networks Learn. Syst., 2020)

Piecewise Affine Dynamical Models of Petri Nets - Application to Emergency Call Centers. - Xavier Allamigeon; Marin Boyet; Stéphane Gaubert (Fundam. Informaticae, 2021)

What Tropical Geometry Tells Us about the Complexity of Linear Programming. - Xavier Allamigeon; Pascal Benchimol; Stéphane Gaubert; Michael Joswig (SIAM Rev., 2021)

Computing Transience Bounds of Emergency Call Centers: A Hierarchical Timed Petri Net Approach. - Xavier Allamigeon; Marin Boyet; Stéphane Gaubert (Petri Nets, 2022)

Universal Complexity Bounds Based on Value Iteration and Application to Entropy Games. - Xavier Allamigeon; Stéphane Gaubert; Ricardo D. Katz; Mateusz Skomra (ICALP, 2022)

No self-concordant barrier interior point method is strongly polynomial. - Xavier Allamigeon; Stéphane Gaubert; Nicolas Vandame (STOC, 2022)

Multiply Accelerated Value Iteration for NonSymmetric Affine Fixed Point Problems and Application to Markov Decision Processes. - Marianne Akian; Stéphane Gaubert; Zheng Qu 001; Omar Saadi (SIAM J. Matrix Anal. Appl., 2022)

Peak power generated through the combustion reaction of propane. - Giuseppe Carlo Calafiore; Stephane Gaubert; Corrado Possieri (IEEE DataPort, 2022)

A Quantization Procedure for Nonlinear Pricing with an Application to Electricity Markets. - Quentin Jacquet; Wim van Ackooij; Clémence Alasseur; Stéphane Gaubert (CDC, 2023)

The Tropical Nullstellensatz and Positivstellensatz for Sparse Polynomial Systems. - Marianne Akian; Antoine Béreau; Stéphane Gaubert (ISSAC, 2023)

Solving Irreducible Stochastic Mean-Payoff Games and Entropy Games by Relative Krasnoselskii-Mann Iteration. - Marianne Akian; Stéphane Gaubert; Ulysse Naepels; Basile Terver (MFCS, 2023)

Bit-complexity estimates in geometric programming, and application to the polynomial-time computation of the spectral radius of nonnegative tensors. - Shmuel Friedland; Stéphane Gaubert (CoRR, 2023)

Tropical Linear Regression and Mean Payoff Games: Or, How to Measure the Distance to Equilibria. - Marianne Akian; Stéphane Gaubert; Yang Qi; Omar Saadi (SIAM J. Discret. Math., 2023)

Tropical Complementarity Problems and Nash Equilibria. - Xavier Allamigeon; Stéphane Gaubert; Frédéric Meunier (SIAM J. Discret. Math., 2023)

Eigenvalue Methods for Sparse Tropical Polynomial Systems. - Marianne Akian; Antoine Béreau; Stéphane Gaubert (ICMS, 2024)

Directed Metric Structures arising in Large Language Models. - Stéphane Gaubert; Yiannis Vlassopoulos (CoRR, 2024)

Spectral Properties of Positive Definite Matrices over Symmetrized Tropical Algebras and Valued Ordered fields. - Marianne Akian; Stephane Gaubert; Dariush Kiani; Hanieh Tavakolipour (CoRR, 2024)

A Multilevel Fast Marching Method for the Minimum Time Problem. - Marianne Akian; Stéphane Gaubert; Shanqing Liu (SIAM J. Control. Optim., 2024)

Quadratic regularization of bilevel pricing problems and application to electricity retail markets. - Quentin Jacquet; Wim van Ackooij; Clémence Alasseur; Stéphane Gaubert (Eur. J. Oper. Res., 2024)

Exact Quantization of Multistage Stochastic Linear Problems. - Maël Forcier; Stéphane Gaubert; Vincent Leclère (SIAM J. Optim., 2024)

Stationary regimes of piecewise linear dynamical systems with priorities. - Xavier Allamigeon; Pascal Capetillo; Stéphane Gaubert (HSCC, 2025)

Universal complexity bounds based on value iteration for stochastic mean payoff games and entropy games. - Xavier Allamigeon; Stéphane Gaubert; Ricardo D. Katz; Mateusz Skomra (Inf. Comput., 2025)

Optimal strategy against straightforward bidding in clock auctions. - Jad Zeroual; Marianne Akian; Aurélien Bechler; Matthieu Chardy; Stéphane Gaubert (Perform. Evaluation, 2025)

Continuity and approximability of competitive spectral radii. - Marianne Akian; Stéphane Gaubert; Loïc Marchesini; Ian Morris (CoRR, 2025)

Thresholds for sensitive optimality and Blackwell optimality in stochastic games. - Stéphane Gaubert; Julien Grand-Clément; Ricardo D. Katz (CoRR, 2025)

Ergodic Control of a Heterogeneous Population and Application to Electricity Pricing. - Quentin Jacquet; Wim van Ackooij; Clémence Alasseur; Stéphane Gaubert (IEEE Trans. Autom. Control., 2025)

Signed Tropicalization of Polar Cones. - Marianne Akian; Xavier Allamigeon; Stéphane Gaubert; Sergei Sergeev (J. Optim. Theory Appl., 2025)