Stéphane Gaubert

119 papers A* 3A 4B 6Misc 1Journal 83Unranked 21

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Computing the Congestion Phases of Dynamical Systems with Priorities and Application to Emergency Departments. QEST+FORMATS Xavier Allamigeon, Pascal Capetillo, Stéphane Gaubert
2025	—	`conf`	Continuity and approximability of competitive spectral radii. CDC Marianne Akian, Stéphane Gaubert, Loïc Marchesini, Ian Morris
2025	J	`jnl`	Continuity and approximability of competitive spectral radii. CoRR Marianne Akian, Stéphane Gaubert, Loïc Marchesini, Ian Morris
2025	—	`conf`	Duality between polyhedral approximation of value functions and optimal quantization of measures. CDC Abdellah Bulaich Mehamdi, Wim van Ackooij, Luce Brotcorne, Stéphane Gaubert, Quentin Jacquet
2025	J	`jnl`	Dynamics of multidimensional Simple Clock Auctions. CoRR Jad Zeroual, Marianne Akian, Aurélien Bechler, Matthieu Chardy, Stéphane Gaubert
2025	J	`jnl`	Ergodic Control of a Heterogeneous Population and Application to Electricity Pricing. IEEE Trans. Autom. Control. Quentin Jacquet, Wim van Ackooij, Clémence Alasseur, Stéphane Gaubert
2025	J	`jnl`	Optimal strategy against straightforward bidding in clock auctions. Perform. Evaluation Jad Zeroual, Marianne Akian, Aurélien Bechler, Matthieu Chardy, Stéphane Gaubert
2025	J	`jnl`	Signed Tropicalization of Polar Cones. J. Optim. Theory Appl. Marianne Akian, Xavier Allamigeon, Stéphane Gaubert, Sergei Sergeev
2025	—	`conf`	Stationary regimes of piecewise linear dynamical systems with priorities. HSCC Xavier Allamigeon, Pascal Capetillo, Stéphane Gaubert
2025	J	`jnl`	Thresholds for sensitive optimality and Blackwell optimality in stochastic games. CoRR Stéphane Gaubert, Julien Grand-Clément, Ricardo D. Katz
2025	J	`jnl`	Universal complexity bounds based on value iteration for stochastic mean payoff games and entropy games. Inf. Comput. Xavier Allamigeon, Stéphane Gaubert, Ricardo D. Katz, Mateusz Skomra
2024	J	`jnl`	A Multilevel Fast Marching Method for the Minimum Time Problem. SIAM J. Control. Optim. Marianne Akian, Stéphane Gaubert, Shanqing Liu
2024	J	`jnl`	Directed Metric Structures arising in Large Language Models. CoRR Stéphane Gaubert, Yiannis Vlassopoulos
2024	—	`conf`	Eigenvalue Methods for Sparse Tropical Polynomial Systems. ICMS Marianne Akian, Antoine Béreau, Stéphane Gaubert
2024	J	`jnl`	Exact Quantization of Multistage Stochastic Linear Problems. SIAM J. Optim. Maël Forcier, Stéphane Gaubert, Vincent Leclère
2024	—	`conf`	Optimal Strategy Against Straightforward Bidding in Clock Auctions. NETGCOOP Jad Zeroual, Marianne Akian, Aurélien Bechler, Matthieu Chardy, Stéphane Gaubert
2024	J	`jnl`	Quadratic regularization of bilevel pricing problems and application to electricity retail markets. Eur. J. Oper. Res. Quentin Jacquet, Wim van Ackooij, Clémence Alasseur, Stéphane Gaubert
2023	—	`conf`	A Quantization Procedure for Nonlinear Pricing with an Application to Electricity Markets. CDC Quentin Jacquet, Wim van Ackooij, Clémence Alasseur, Stéphane Gaubert
2023	J	`jnl`	Bit-complexity estimates in geometric programming, and application to the polynomial-time computation of the spectral radius of nonnegative tensors. CoRR Shmuel Friedland, Stéphane Gaubert
2023	B	`conf`	Solving Irreducible Stochastic Mean-Payoff Games and Entropy Games by Relative Krasnoselskii-Mann Iteration. MFCS Marianne Akian, Stéphane Gaubert, Ulysse Naepels, Basile Terver
2023	J	`jnl`	Solving irreducible stochastic mean-payoff games and entropy games by relative Krasnoselskii-Mann iteration. CoRR Marianne Akian, Stéphane Gaubert, Ulysse Naepels, Basile Terver
2023	B	`conf`	The Tropical Nullstellensatz and Positivstellensatz for Sparse Polynomial Systems. ISSAC Marianne Akian, Antoine Béreau, Stéphane Gaubert
2023	J	`jnl`	Tropical Complementarity Problems and Nash Equilibria. SIAM J. Discret. Math. Xavier Allamigeon, Stéphane Gaubert, Frédéric Meunier
2023	J	`jnl`	Tropical Linear Regression and Mean Payoff Games: Or, How to Measure the Distance to Equilibria. SIAM J. Discret. Math. Marianne Akian, Stéphane Gaubert, Yang Qi, Omar Saadi
2022	B	`conf`	Computing Transience Bounds of Emergency Call Centers: A Hierarchical Timed Petri Net Approach. Petri Nets Xavier Allamigeon, Marin Boyet, Stéphane Gaubert
2022	—	`conf`	Ergodic control of a heterogeneous population and application to electricity pricing. CDC Quentin Jacquet, Wim van Ackooij, Clémence Alasseur, Stéphane Gaubert
2022	J	`jnl`	Multiply Accelerated Value Iteration for NonSymmetric Affine Fixed Point Problems and Application to Markov Decision Processes. SIAM J. Matrix Anal. Appl. Marianne Akian, Stéphane Gaubert, Zheng Qu, Omar Saadi
2022	A*	`conf`	No self-concordant barrier interior point method is strongly polynomial. STOC Xavier Allamigeon, Stéphane Gaubert, Nicolas Vandame
2022	J	`jnl`	No self-concordant barrier interior point method is strongly polynomial. CoRR Xavier Allamigeon, Stéphane Gaubert, Nicolas Vandame
2022	A*	`conf`	Universal Complexity Bounds Based on Value Iteration and Application to Entropy Games. ICALP Xavier Allamigeon, Stéphane Gaubert, Ricardo D. Katz, Mateusz Skomra
2022	J	`jnl`	Universal Complexity Bounds Based on Value Iteration and Application to Entropy Games. CoRR Xavier Allamigeon, Stéphane Gaubert, Ricardo D. Katz, Mateusz Skomra
2021	J	`jnl`	Piecewise Affine Dynamical Models of Petri Nets - Application to Emergency Call Centers. Fundam. Informaticae Xavier Allamigeon, Marin Boyet, Stéphane Gaubert
2021	J	`jnl`	Tropical linear regression and mean payoff games: or, how to measure the distance to equilibria. CoRR Marianne Akian, Stéphane Gaubert, Yang Qi, Omar Saadi
2021	J	`jnl`	What Tropical Geometry Tells Us about the Complexity of Linear Programming. SIAM Rev. Xavier Allamigeon, Pascal Benchimol, Stéphane Gaubert, Michael Joswig
2020	—	`conf`	A Convex Programming Approach to Solve Posynomial Systems. ICMS Marianne Akian, Xavier Allamigeon, Marin Boyet, Stéphane Gaubert
2020	J	`jnl`	A Privacy-Preserving Method to Optimize Distributed Resource Allocation. SIAM J. Optim. Olivier Beaude, Pascal Benchimol, Stéphane Gaubert, Paulin Jacquot, Nadia Oudjane
2020	J	`jnl`	Forecasting the local progression of the Covid-19 epidemic from medical emergency calls: the example of the Paris area. CoRR 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
2020	B	`conf`	Piecewise Affine Dynamical Models of Timed Petri Nets - Application to Emergency Call Centers. Petri Nets Xavier Allamigeon, Marin Boyet, Stéphane Gaubert
2020	J	`jnl`	Tropical Spectrahedra. Discret. Comput. Geom. Xavier Allamigeon, Stéphane Gaubert, Mateusz Skomra
2019	—	`conf`	A Privacy-preserving Disaggregation Algorithm for Non-intrusive Management of Flexible Energy. CDC Paulin Jacquot, Olivier Beaude, Pascal Benchimol, Stéphane Gaubert, Nadia Oudjane
2019	J	`jnl`	A Privacy-preserving Disaggregation Algorithm for Non-intrusive Management of Flexible Energy. CoRR Paulin Jacquot, Olivier Beaude, Pascal Benchimol, Stéphane Gaubert, Nadia Oudjane
2019	J	`jnl`	A Privacy-preserving Method to Optimize Distributed Resource Allocation. CoRR Olivier Beaude, Pascal Benchimol, Stéphane Gaubert, Paulin Jacquot, Nadia Oudjane
2019	J	`jnl`	Analysis and Implementation of an Hourly Billing Mechanism for Demand Response Management. IEEE Trans. Smart Grid Paulin Jacquot, Olivier Beaude, Stéphane Gaubert, Nadia Oudjane
2019	J	`jnl`	Approximating the volume of tropical polytopes is difficult. Int. J. Algebra Comput. Stéphane Gaubert, Marie MacCaig
2019	—	`conf`	Solving Ergodic Markov Decision Processes and Perfect Information Zero-sum Stochastic Games by Variance Reduced Deflated Value Iteration. CDC Marianne Akian, Stéphane Gaubert, Zheng Qu, Omar Saadi
2019	J	`jnl`	The Operator Approach to Entropy Games. Theory Comput. Syst. Marianne Akian, Stéphane Gaubert, Julien Grand-Clément, Jérémie Guillaud
2019	J	`jnl`	The operator approach to entropy games. CoRR Marianne Akian, Stéphane Gaubert, Julien Grand-Clément, Jérémie Guillaud
2019	J	`jnl`	The tropical analogue of the Helton-Nie conjecture is true. J. Symb. Comput. Xavier Allamigeon, Stéphane Gaubert, Mateusz Skomra
2018	J	`jnl`	Condition numbers of stochastic mean payoff games and what they say about nonarchimedean semidefinite programming. CoRR Xavier Allamigeon, Stéphane Gaubert, Ricardo D. Katz, Mateusz Skomra
2018	J	`jnl`	Log-Barrier Interior Point Methods Are Not Strongly Polynomial. SIAM J. Appl. Algebra Geom. Xavier Allamigeon, Pascal Benchimol, Stéphane Gaubert, Michael Joswig
2018	J	`jnl`	Solving generic nonarchimedean semidefinite programs using stochastic game algorithms. J. Symb. Comput. Xavier Allamigeon, Stéphane Gaubert, Mateusz Skomra
2017	J	`jnl`	A Fast Method to Compute Disjunctive Quadratic Invariants of Numerical Programs. ACM Trans. Embed. Comput. Syst. Xavier Allamigeon, Stéphane Gaubert, Eric Goubault, Sylvie Putot, Nikolas Stott
2017	B	`conf`	A bilevel optimization model for load balancing in mobile networks through price incentives. WiOpt Jean-Bernard Eytard, Marianne Akian, Mustapha Bouhtou, Stéphane Gaubert
2017	J	`jnl`	Analysis and Implementation of a Hourly Billing Mechanism for Demand Response Management. CoRR Paulin Jacquot, Olivier Beaude, Stéphane Gaubert, Nadia Oudjane
2017	J	`jnl`	Checking strict positivity of Kraus maps is NP-hard. Inf. Process. Lett. Stéphane Gaubert, Zheng Qu
2017	J	`jnl`	Demand Side Management in the Smart Grid: an Efficiency and Fairness Tradeoff. CoRR Paulin Jacquot, Olivier Beaude, Stéphane Gaubert, Nadia Oudjane
2017	J	`jnl`	Stationary solutions of discrete and continuous Petri nets with priorities. Perform. Evaluation Xavier Allamigeon, Vianney Boeuf, Stéphane Gaubert
2017	A	`conf`	The Operator Approach to Entropy Games. STACS Marianne Akian, Stéphane Gaubert, Julien Grand-Clément, Jérémie Guillaud
2016	J	`jnl`	A Scalable Algebraic Method to Infer Quadratic Invariants of Switched Systems. ACM Trans. Embed. Comput. Syst. Xavier Allamigeon, Stéphane Gaubert, Nikolas Stott, Eric Goubault, Sylvie Putot
2016	J	`jnl`	Algorithms and Effectivity in Tropical Mathematics and Beyond (Dagstuhl Seminar 16482). Dagstuhl Reports Stéphane Gaubert, Dima Grigoriev, Michael Joswig, Thorsten Theobald
2016	J	`jnl`	Maximizing concave piecewise affine functions on the unitary group. Optim. Lett. Stéphane Gaubert, Zheng Qu, Srinivas Sridharan
2016	B	`conf`	Solving Generic Nonarchimedean Semidefinite Programs Using Stochastic Game Algorithms. ISSAC Xavier Allamigeon, Stéphane Gaubert, Mateusz Skomra
2016	—	`conf`	Stationary solutions of discrete and continuous Petri nets with priorities. VALUETOOLS Xavier Allamigeon, Vianney Boeuf, Stéphane Gaubert
2015	Misc	`conf`	A scalable algebraic method to infer quadratic invariants of switched systems. EMSOFT Xavier Allamigeon, Stéphane Gaubert, Eric Goubault, Sylvie Putot, Nikolas Stott
2015	J	`jnl`	Certification of real inequalities: templates and sums of squares. Math. Program. Victor Magron, Xavier Allamigeon, Stéphane Gaubert, Benjamin Werner
2015	J	`jnl`	Definable Zero-Sum Stochastic Games. Math. Oper. Res. Jérôme Bolte, Stéphane Gaubert, Guillaume Vigeral
2015	J	`jnl`	Formal Proofs for Nonlinear Optimization. J. Formaliz. Reason. Victor Magron, Xavier Allamigeon, Stéphane Gaubert, Benjamin Werner
2015	—	`conf`	Hypergraph conditions for the solvability of the ergodic equation for zero-sum games. CDC Marianne Akian, Stéphane Gaubert, Antoine Hochart
2015	—	`conf`	Performance Evaluation of an Emergency Call Center: Tropical Polynomial Systems Applied to Timed Petri Nets. FORMATS Xavier Allamigeon, Vianney Boeuf, Stéphane Gaubert
2015	J	`jnl`	Tropicalizing the Simplex Algorithm. SIAM J. Discret. Math. Xavier Allamigeon, Pascal Benchimol, Stéphane Gaubert, Michael Joswig
2014	J	`jnl`	Combinatorial Simplex Algorithms Can Solve Mean Payoff Games. SIAM J. Optim. Xavier Allamigeon, Pascal Benchimol, Stéphane Gaubert, Michael Joswig
2014	J	`jnl`	Formal Proofs for Nonlinear Optimization. CoRR Xavier Allamigeon, Stéphane Gaubert, Victor Magron, Benjamin Werner
2014	—	`conf`	Generic uniqueness of the bias vector of mean payoff zero-sum games. CDC Marianne Akian, Stéphane Gaubert, Antoine Hochart
2014	J	`jnl`	Synchronisation and control of proliferation in cycling cell population models with age structure. Math. Comput. Simul. Frédérique Billy, Jean Clairambault, Olivier Fercoq, Stéphane Gaubert, Thomas Lepoutre, Thomas Ouillon, Shoko Saito
2014	—	`conf`	The Tropical Shadow-Vertex Algorithm Solves Mean Payoff Games in Polynomial Time on Average. ICALP (1) Xavier Allamigeon, Pascal Benchimol, Stéphane Gaubert
2014	J	`jnl`	The tropical shadow-vertex algorithm solves mean payoff games in polynomial time on average. CoRR Xavier Allamigeon, Pascal Benchimol, Stéphane Gaubert
2014	J	`jnl`	Tropical Fourier-Motzkin elimination, with an application to real-time verification. Int. J. Algebra Comput. Xavier Allamigeon, Uli Fahrenberg, Stéphane Gaubert, Ricardo David Katz, Axel Legay
2013	—	`conf`	Certification of Bounds of Non-linear Functions: The Templates Method. MKM/Calculemus/DML Xavier Allamigeon, Stéphane Gaubert, Victor Magron, Benjamin Werner
2013	J	`jnl`	Certification of Bounds of Non-linear Functions: the Templates Method. CoRR Xavier Allamigeon, Stéphane Gaubert, Victor Magron, Benjamin Werner
2013	J	`jnl`	Computing the Vertices of Tropical Polyhedra Using Directed Hypergraphs. Discret. Comput. Geom. Xavier Allamigeon, Stéphane Gaubert, Eric Goubault
2013	J	`jnl`	Dobrushin ergodicity coefficient for Markov operators on cones, and beyond CoRR Stéphane Gaubert, Zheng Qu
2013	—	`ch.`	Is the Distance Geometry Problem in NP? Distance Geometry Nathanael Beeker, Stéphane Gaubert, Christian Glusa, Leo Liberti
2013	J	`jnl`	The level set method for the two-sided max-plus eigenproblem. Discret. Event Dyn. Syst. Stéphane Gaubert, Sergei Sergeev
2013	J	`jnl`	Tropical Fourier-Motzkin elimination, with an application to real-time verification. CoRR Xavier Allamigeon, Uli Fahrenberg, Stéphane Gaubert, Ricardo David Katz, Axel Legay
2012	J	`jnl`	Abstract interpretation meets convex optimization. J. Symb. Comput. Thomas Martin Gawlitza, Helmut Seidl, Assalé Adjé, Stéphane Gaubert, Eric Goubault
2012	J	`jnl`	Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis Log. Methods Comput. Sci. Assalé Adjé, Stéphane Gaubert, Eric Goubault
2012	J	`jnl`	Policy iteration algorithm for zero-sum multichain stochastic games with mean payoff and perfect information CoRR Marianne Akian, Jean Cochet-Terrasson, Sylvie Detournay, Stéphane Gaubert
2012	J	`jnl`	The contraction rate in Thompson metric of order-preserving flows on a cone - application to generalized Riccati equations CoRR Stéphane Gaubert, Zheng Qu
2012	J	`jnl`	Tropical Polyhedra are Equivalent to mean Payoff Games. Int. J. Algebra Comput. Marianne Akian, Stéphane Gaubert, Alexander E. Guterman
2012	J	`jnl`	Tropical linear-fractional programming and parametric mean payoff games. J. Symb. Comput. Stéphane Gaubert, Ricardo Katz, Sergei Sergeev
2011	J	`jnl`	Circadian rhythm and cell population growth. Math. Comput. Model. Jean Clairambault, Stéphane Gaubert, Thomas Lepoutre
2011	J	`jnl`	The number of extreme points of tropical polyhedra. J. Comb. Theory A Xavier Allamigeon, Stéphane Gaubert, Ricardo Katz
2011	J	`jnl`	The set of realizations of a max-plus linear sequence is semi-polyhedral. J. Comput. Syst. Sci. Vincent D. Blondel, Stéphane Gaubert, Natacha Portier
2010	J	`jnl`	Carathéodory, Helly and the Others in the Max-Plus World. Discret. Comput. Geom. Stéphane Gaubert, Frédéric Meunier
2010	A	`conf`	Coupling Policy Iteration with Semi-definite Relaxation to Compute Accurate Numerical Invariants in Static Analysis. ESOP Assalé Adjé, Stéphane Gaubert, Eric Goubault
2010	J	`jnl`	Duality Between Invariant Spaces for Max-Plus Linear Discrete Event Systems. SIAM J. Control. Optim. Michael Di Loreto, Stéphane Gaubert, Ricardo Katz, Jean Jacques Loiseau
2010	J	`jnl`	Ergodic Control and Polyhedral approaches to PageRank Optimization CoRR Olivier Fercoq, Marianne Akian, Mustapha Bouhtou, Stéphane Gaubert
2010	A	`conf`	Optimal monitoring in large networks by Successive c-optimal Designs. ITC Guillaume Sagnol, Stéphane Gaubert, Mustapha Bouhtou
2010	J	`jnl`	Scarf Oiks. Electron. Notes Discret. Math. Jack Edmonds, Stéphane Gaubert, Vladimir Gurvich
2010	J	`jnl`	Sperner Oiks. Electron. Notes Discret. Math. Jack Edmonds, Stéphane Gaubert, Vladimir Gurvich
2010	J	`jnl`	Submodular spectral functions of principal submatrices of an hermitian matrix CoRR Sergei Friedland, Stéphane Gaubert
2010	J	`jnl`	Submodularity and Randomized rounding techniques for Optimal Experimental Design. Electron. Notes Discret. Math. Mustapha Bouhtou, Stéphane Gaubert, Guillaume Sagnol
2010	A*	`conf`	Successive c-optimal designs: a scalable technique to optimize the measurements on large networks. SIGMETRICS Guillaume Sagnol, Mustapha Bouhtou, Stéphane Gaubert
2010	A	`conf`	The Tropical Double Description Method. STACS Xavier Allamigeon, Stéphane Gaubert, Eric Goubault
2010	J	`jnl`	The set of realizations of a max-plus linear sequence is semi-polyhedral CoRR Vincent D. Blondel, Stéphane Gaubert, Natacha Portier
2010	J	`jnl`	The tropical double description method CoRR Xavier Allamigeon, Stéphane Gaubert, Eric Goubault
2010	—	`conf`	Tropical linear programming and parametric mean payoff games. WING@ETAPS/IJCAR Stéphane Gaubert, Ricardo Katz, Sergei Sergeev
2010	J	`jnl`	Tropical polar cones, hypergraph transversals, and mean payoff games CoRR Xavier Allamigeon, Stéphane Gaubert, Ricardo Katz
2009	J	`jnl`	Reducible Spectral Theory with Applications to the Robustness of Matrices in Max-Algebra. SIAM J. Matrix Anal. Appl. Peter Butkovic, Raymond A. Cuninghame-Green, Stéphane Gaubert
2006	—	`conf`	How to find horizon-independent optimal strategies leading off to infinity: a max-plus approach. CDC Marianne Akian, Stéphane Gaubert, Cormac Walsh
2006	—	`conf`	The T-PageRank: A Model of Self-Validating Effects of Web Surfing. POSTA Marianne Akian, Stéphane Gaubert, Laure Ninove
2004	J	`jnl`	Rational semimodules over the max-plus semiring and geometric approach to discrete event systems. Kybernetika Stéphane Gaubert, Ricardo Katz
2003	J	`jnl`	Foreword. Theor. Comput. Sci. Stéphane Gaubert, Jean Jacques Loiseau, Jean Mairesse, Maurice Nivat, Jean-Eric Pin
2003	J	`jnl`	Guest editorial: Special issue on max-plus algebras. Kybernetika Stéphane Gaubert, Jean Jacques Loiseau
2000	J	`jnl`	Approximating the spectral radius of sets of matrices in the max-algebra is NP-hard. IEEE Trans. Autom. Control. Vincent D. Blondel, Stéphane Gaubert, John N. Tsitsiklis
1999	—	`conf`	Asymptotic analysis of heaps of pieces and application to timed Petri nets. PNPM Stéphane Gaubert, Jean Mairesse
1999	J	`jnl`	Modeling and analysis of timed Petri nets using heaps of pieces. IEEE Trans. Autom. Control. Stéphane Gaubert, Jean Mairesse
1996	J	`jnl`	Deterministic weak-and-marked Petri net languages are regular. IEEE Trans. Autom. Control. Stéphane Gaubert, Alessandro Giua
1995	J	`jnl`	Performance evaluation of (max, +) automata. IEEE Trans. Autom. Control. Stéphane Gaubert