default search action
Stéphane Gaubert
Person information
- affiliation: INRIA, France
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j57]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): 841-857 (2024) - [j56]Marianne Akian, Stéphane Gaubert, Shanqing Liu:
A Multilevel Fast Marching Method for the Minimum Time Problem. SIAM J. Control. Optim. 62(6): 2963-2991 (2024) - [j55]Maël Forcier, Stéphane Gaubert, Vincent Leclère:
Exact Quantization of Multistage Stochastic Linear Problems. SIAM J. Optim. 34(1): 533-562 (2024) - [c51]Marianne Akian, Antoine Béreau, Stéphane Gaubert:
Eigenvalue Methods for Sparse Tropical Polynomial Systems. ICMS 2024: 299-312 - [i33]Stéphane Gaubert, Yiannis Vlassopoulos:
Directed Metric Structures arising in Large Language Models. CoRR abs/2405.12264 (2024) - 2023
- [j54]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): 632-674 (2023) - [j53]Xavier Allamigeon, Stéphane Gaubert, Frédéric Meunier:
Tropical Complementarity Problems and Nash Equilibria. SIAM J. Discret. Math. 37(3): 1645-1665 (2023) - [c50]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: 2270-2277 - [c49]Marianne Akian, Antoine Béreau, Stéphane Gaubert:
The Tropical Nullstellensatz and Positivstellensatz for Sparse Polynomial Systems. ISSAC 2023: 43-52 - [c48]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: 10:1-10:15 - [i32]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 abs/2301.10637 (2023) - [i31]Marianne Akian, Stéphane Gaubert, Ulysse Naepels, Basile Terver:
Solving irreducible stochastic mean-payoff games and entropy games by relative Krasnoselskii-Mann iteration. CoRR abs/2305.02458 (2023) - 2022
- [j52]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): 199-232 (2022) - [c47]Xavier Allamigeon, Marin Boyet, Stéphane Gaubert:
Computing Transience Bounds of Emergency Call Centers: A Hierarchical Timed Petri Net Approach. Petri Nets 2022: 90-112 - [c46]Quentin Jacquet, Wim van Ackooij, Clémence Alasseur, Stéphane Gaubert:
Ergodic control of a heterogeneous population and application to electricity pricing. CDC 2022: 3617-3624 - [c45]Xavier Allamigeon, Stéphane Gaubert, Ricardo D. Katz, Mateusz Skomra:
Universal Complexity Bounds Based on Value Iteration and Application to Entropy Games. ICALP 2022: 110:1-110:20 - [c44]Xavier Allamigeon, Stéphane Gaubert, Nicolas Vandame:
No self-concordant barrier interior point method is strongly polynomial. STOC 2022: 515-528 - [d2]Giuseppe Carlo Calafiore, Stephane Gaubert, Corrado Possieri:
Peak power generated through the combustion reaction of propane. IEEE DataPort, 2022 - [i30]Xavier Allamigeon, Stéphane Gaubert, Nicolas Vandame:
No self-concordant barrier interior point method is strongly polynomial. CoRR abs/2201.02186 (2022) - [i29]Xavier Allamigeon, Marin Boyet, Stephane Gaubert:
Computing Transience Bounds of Emergency Call Centers: a Hierarchical Timed Petri Net Approach. CoRR abs/2202.02752 (2022) - [i28]Xavier Allamigeon, Stéphane Gaubert, Ricardo D. Katz, Mateusz Skomra:
Universal Complexity Bounds Based on Value Iteration and Application to Entropy Games. CoRR abs/2206.09044 (2022) - 2021
- [j51]Xavier Allamigeon, Marin Boyet, Stéphane Gaubert:
Piecewise Affine Dynamical Models of Petri Nets - Application to Emergency Call Centers. Fundam. Informaticae 183(3-4): 169-201 (2021) - [j50]Xavier Allamigeon, Pascal Benchimol, Stéphane Gaubert, Michael Joswig:
What Tropical Geometry Tells Us about the Complexity of Linear Programming. SIAM Rev. 63(1): 123-164 (2021) - [i27]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 abs/2106.01930 (2021) - 2020
- [j49]Xavier Allamigeon, Stéphane Gaubert, Mateusz Skomra:
Tropical Spectrahedra. Discret. Comput. Geom. 63(3): 507-548 (2020) - [j48]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): 2303-2336 (2020) - [j47]Giuseppe Carlo Calafiore, Stephane Gaubert, Corrado Possieri:
Log-Sum-Exp Neural Networks and Posynomial Models for Convex and Log-Log-Convex Data. IEEE Trans. Neural Networks Learn. Syst. 31(3): 827-838 (2020) - [j46]Giuseppe Carlo Calafiore, Stephane Gaubert, Corrado Possieri:
A Universal Approximation Result for Difference of Log-Sum-Exp Neural Networks. IEEE Trans. Neural Networks Learn. Syst. 31(12): 5603-5612 (2020) - [c43]Xavier Allamigeon, Marin Boyet, Stéphane Gaubert:
Piecewise Affine Dynamical Models of Timed Petri Nets - Application to Emergency Call Centers. Petri Nets 2020: 260-279 - [c42]Marianne Akian, Xavier Allamigeon, Marin Boyet, Stéphane Gaubert:
A Convex Programming Approach to Solve Posynomial Systems. ICMS 2020: 241-250 - [i26]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 abs/2005.14186 (2020)
2010 – 2019
- 2019
- [j45]Stéphane Gaubert, Marie MacCaig:
Approximating the volume of tropical polytopes is difficult. Int. J. Algebra Comput. 29(2): 357-389 (2019) - [j44]Xavier Allamigeon, Stéphane Gaubert, Mateusz Skomra:
The tropical analogue of the Helton-Nie conjecture is true. J. Symb. Comput. 91: 129-148 (2019) - [j43]Marianne Akian, Stéphane Gaubert, Julien Grand-Clément, Jérémie Guillaud:
The Operator Approach to Entropy Games. Theory Comput. Syst. 63(5): 1089-1130 (2019) - [j42]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): 4265-4278 (2019) - [c41]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: 890-896 - [c40]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: 5963-5970 - [i25]Paulin Jacquot, Olivier Beaude, Pascal Benchimol, Stéphane Gaubert, Nadia Oudjane:
A Privacy-preserving Disaggregation Algorithm for Non-intrusive Management of Flexible Energy. CoRR abs/1903.03053 (2019) - [i24]Marianne Akian, Stéphane Gaubert, Julien Grand-Clément, Jérémie Guillaud:
The operator approach to entropy games. CoRR abs/1904.05151 (2019) - [i23]Giuseppe Carlo Calafiore, Stephane Gaubert, Corrado Possieri:
A Universal Approximation Result for Difference of log-sum-exp Neural Networks. CoRR abs/1905.08503 (2019) - [i22]Olivier Beaude, Pascal Benchimol, Stéphane Gaubert, Paulin Jacquot, Nadia Oudjane:
A Privacy-preserving Method to Optimize Distributed Resource Allocation. CoRR abs/1908.03080 (2019) - 2018
- [j41]Xavier Allamigeon, Stéphane Gaubert, Mateusz Skomra:
Solving generic nonarchimedean semidefinite programs using stochastic game algorithms. J. Symb. Comput. 85: 25-54 (2018) - [j40]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): 140-178 (2018) - [d1]Giuseppe Carlo Calafiore, Stephane Gaubert, Corrado Possieri:
Amount of vibration transmitted by a vehicle suspension system. IEEE DataPort, 2018 - [i21]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 abs/1802.07712 (2018) - [i20]Giuseppe Carlo Calafiore, Stephane Gaubert, Corrado Possieri:
Log-sum-exp neural networks and posynomial models for convex and log-log-convex data. CoRR abs/1806.07850 (2018) - 2017
- [j39]Stéphane Gaubert, Zheng Qu:
Checking strict positivity of Kraus maps is NP-hard. Inf. Process. Lett. 118: 35-43 (2017) - [j38]Xavier Allamigeon, Vianney Boeuf, Stéphane Gaubert:
Stationary solutions of discrete and continuous Petri nets with priorities. Perform. Evaluation 113: 1-12 (2017) - [j37]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): 166:1-166:19 (2017) - [c39]Stephane Gaubert, Nikolas Stott:
Tropical Kraus maps for optimal control of switched systems. CDC 2017: 1330-1337 - [c38]Paulin Jacquot, Olivier Beaude, Stephane Gaubert, Nadia Oudjane:
Demand side management in the smart grid: An efficiency and fairness tradeoff. ISGT Europe 2017: 1-6 - [c37]Paulin Jacquot, Olivier Beaude, Stephane Gaubert, Nadia Oudjane:
Demand response in the smart grid: The impact of consumers temporal preferences. SmartGridComm 2017: 540-545 - [c36]Marianne Akian, Stéphane Gaubert, Julien Grand-Clément, Jérémie Guillaud:
The Operator Approach to Entropy Games. STACS 2017: 6:1-6:14 - [c35]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: 1-8 - [i19]Stephane Gaubert, Marie MacCaig:
Approximating the Volume of Tropical Polytopes is Difficult. CoRR abs/1706.06467 (2017) - [i18]Paulin Jacquot, Olivier Beaude, Stéphane Gaubert, Nadia Oudjane:
Demand Side Management in the Smart Grid: an Efficiency and Fairness Tradeoff. CoRR abs/1711.11129 (2017) - [i17]Paulin Jacquot, Olivier Beaude, Nadia Oudjane, Stephane Gaubert:
Demand Response in the Smart Grid: the Impact of Consumers Temporal Preferences. CoRR abs/1711.11304 (2017) - [i16]Paulin Jacquot, Olivier Beaude, Stéphane Gaubert, Nadia Oudjane:
Analysis and Implementation of a Hourly Billing Mechanism for Demand Response Management. CoRR abs/1712.08622 (2017) - 2016
- [j36]Stéphane Gaubert, Zheng Qu, Srinivas Sridharan:
Maximizing concave piecewise affine functions on the unitary group. Optim. Lett. 10(4): 655-665 (2016) - [j35]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): 69:1-69:20 (2016) - [c34]Xavier Allamigeon, Stéphane Gaubert, Mateusz Skomra:
Solving Generic Nonarchimedean Semidefinite Programs Using Stochastic Game Algorithms. ISSAC 2016: 31-38 - [c33]Xavier Allamigeon, Vianney Boeuf, Stéphane Gaubert:
Stationary solutions of discrete and continuous Petri nets with priorities. VALUETOOLS 2016 - [i15]Stéphane Gaubert, Dima Grigoriev, Michael Joswig, Thorsten Theobald:
Algorithms and Effectivity in Tropical Mathematics and Beyond (Dagstuhl Seminar 16482). Dagstuhl Reports 6(11): 168-184 (2016) - 2015
- [j34]Victor Magron, Xavier Allamigeon, Stéphane Gaubert, Benjamin Werner:
Formal Proofs for Nonlinear Optimization. J. Formaliz. Reason. 8(1): 1-24 (2015) - [j33]Jérôme Bolte, Stéphane Gaubert, Guillaume Vigeral:
Definable Zero-Sum Stochastic Games. Math. Oper. Res. 40(1): 171-191 (2015) - [j32]Victor Magron, Xavier Allamigeon, Stéphane Gaubert, Benjamin Werner:
Certification of real inequalities: templates and sums of squares. Math. Program. 151(2): 477-506 (2015) - [j31]Xavier Allamigeon, Pascal Benchimol, Stéphane Gaubert, Michael Joswig:
Tropicalizing the Simplex Algorithm. SIAM J. Discret. Math. 29(2): 751-795 (2015) - [c32]Marianne Akian, Stéphane Gaubert, Antoine Hochart:
Hypergraph conditions for the solvability of the ergodic equation for zero-sum games. CDC 2015: 5845-5850 - [c31]Xavier Allamigeon, Stéphane Gaubert, Eric Goubault, Sylvie Putot, Nikolas Stott:
A scalable algebraic method to infer quadratic invariants of switched systems. EMSOFT 2015: 75-84 - [c30]Xavier Allamigeon, Vianney Boeuf, Stéphane Gaubert:
Performance Evaluation of an Emergency Call Center: Tropical Polynomial Systems Applied to Timed Petri Nets. FORMATS 2015: 10-26 - 2014
- [j30]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): 569-608 (2014) - [j29]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: 66-94 (2014) - [j28]Xavier Allamigeon, Pascal Benchimol, Stéphane Gaubert, Michael Joswig:
Combinatorial Simplex Algorithms Can Solve Mean Payoff Games. SIAM J. Optim. 24(4): 2096-2117 (2014) - [c29]Marianne Akian, Stéphane Gaubert, Antoine Hochart:
Generic uniqueness of the bias vector of mean payoff zero-sum games. CDC 2014: 1581-1587 - [c28]Vincent Calvez, Pierre Gabriel, Stephane Gaubert:
Non-linear eigenvalue problems arising from growth maximization of positive linear dynamical systems. CDC 2014: 1600-1607 - [c27]Xavier Allamigeon, Pascal Benchimol, Stéphane Gaubert:
The Tropical Shadow-Vertex Algorithm Solves Mean Payoff Games in Polynomial Time on Average. ICALP (1) 2014: 89-100 - [i14]Stephane Gaubert, Zheng Qu:
Checking the strict positivity of Kraus maps is NP-hard. CoRR abs/1402.1429 (2014) - [i13]Xavier Allamigeon, Stéphane Gaubert, Victor Magron, Benjamin Werner:
Formal Proofs for Nonlinear Optimization. CoRR abs/1404.7282 (2014) - [i12]Xavier Allamigeon, Pascal Benchimol, Stéphane Gaubert:
The tropical shadow-vertex algorithm solves mean payoff games in polynomial time on average. CoRR abs/1406.5433 (2014) - 2013
- [j27]Xavier Allamigeon, Stéphane Gaubert, Eric Goubault:
Computing the Vertices of Tropical Polyhedra Using Directed Hypergraphs. Discret. Comput. Geom. 49(2): 247-279 (2013) - [j26]Stéphane Gaubert, Sergei Sergeev:
The level set method for the two-sided max-plus eigenproblem. Discret. Event Dyn. Syst. 23(2): 105-134 (2013) - [j25]Olivier Fercoq, Marianne Akian, Mustapha Bouhtou, Stephane Gaubert:
Ergodic Control and Polyhedral Approaches to PageRank Optimization. IEEE Trans. Autom. Control. 58(1): 134-148 (2013) - [c26]Marianne Akian, Jean Cochet-Terrasson, Sylvie Detournay, Stephane Gaubert:
Solving multichain stochastic games with mean payoff by policy iteration. CDC 2013: 1834-1841 - [c25]Xavier Allamigeon, Stephane Gaubert, Victor Magron, Benjamin Werner:
Certification of inequalities involving transcendental functions: Combining SDP and max-plus approximation. ECC 2013: 2244-2250 - [c24]Stephane Gaubert, Zheng Qu:
Markov operators on cones and non-commutative consensus. ECC 2013: 2693-2700 - [c23]Xavier Allamigeon, Stéphane Gaubert, Victor Magron, Benjamin Werner:
Certification of Bounds of Non-linear Functions: The Templates Method. MKM/Calculemus/DML 2013: 51-65 - [p1]Nathanael Beeker, Stéphane Gaubert, Christian Glusa, Leo Liberti:
Is the Distance Geometry Problem in NP? Distance Geometry 2013: 85-93 - [i11]Stéphane Gaubert, Zheng Qu:
Dobrushin ergodicity coefficient for Markov operators on cones, and beyond. CoRR abs/1302.5226 (2013) - [i10]Xavier Allamigeon, Stéphane Gaubert, Victor Magron, Benjamin Werner:
Certification of Bounds of Non-linear Functions: the Templates Method. CoRR abs/1307.3231 (2013) - [i9]Xavier Allamigeon, Uli Fahrenberg, Stéphane Gaubert, Ricardo David Katz, Axel Legay:
Tropical Fourier-Motzkin elimination, with an application to real-time verification. CoRR abs/1308.2122 (2013) - 2012
- [j24]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) - [j23]Marianne Akian, Stéphane Gaubert, Alexander E. Guterman:
Tropical Polyhedra are Equivalent to mean Payoff Games. Int. J. Algebra Comput. 22(1) (2012) - [j22]Thomas Martin Gawlitza, Helmut Seidl, Assalé Adjé, Stéphane Gaubert, Eric Goubault:
Abstract interpretation meets convex optimization. J. Symb. Comput. 47(12): 1416-1446 (2012) - [j21]Stéphane Gaubert, Ricardo Katz, Sergei Sergeev:
Tropical linear-fractional programming and parametric mean payoff games. J. Symb. Comput. 47(12): 1447-1478 (2012) - [i8]Stéphane Gaubert, Zheng Qu:
The contraction rate in Thompson metric of order-preserving flows on a cone - application to generalized Riccati equations. CoRR abs/1206.0448 (2012) - [i7]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 abs/1208.0446 (2012) - 2011
- [j20]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): 820-833 (2011) - [j19]Xavier Allamigeon, Stéphane Gaubert, Ricardo Katz:
The number of extreme points of tropical polyhedra. J. Comb. Theory A 118(1): 162-189 (2011) - [j18]Jean Clairambault, Stéphane Gaubert, Thomas Lepoutre:
Circadian rhythm and cell population growth. Math. Comput. Model. 53(7-8): 1558-1567 (2011) - [c22]Stephane Gaubert, William M. McEneaney, Zheng Qu:
Curse of dimensionality reduction in max-plus based approximation methods: Theoretical estimates and improved pruning algorithms. CDC/ECC 2011: 1054-1061 - [i6]Stephane Gaubert, William M. McEneaney, Zheng Qu:
Curse of dimensionality reduction. CoRR abs/1109.5241 (2011) - 2010
- [j17]Stéphane Gaubert, Frédéric Meunier:
Carathéodory, Helly and the Others in the Max-Plus World. Discret. Comput. Geom. 43(3): 648-662 (2010) - [j16]Mustapha Bouhtou, Stéphane Gaubert, Guillaume Sagnol:
Submodularity and Randomized rounding techniques for Optimal Experimental Design. Electron. Notes Discret. Math. 36: 679-686 (2010) - [j15]Jack Edmonds, Stéphane Gaubert, Vladimir Gurvich:
Sperner Oiks. Electron. Notes Discret. Math. 36: 1273-1280 (2010) - [j14]Jack Edmonds, Stéphane Gaubert, Vladimir Gurvich:
Scarf Oiks. Electron. Notes Discret. Math. 36: 1281-1288 (2010) - [j13]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): 5606-5628 (2010) - [c21]Stéphane Gaubert, Ricardo Katz, Sergei Sergeev:
Tropical linear programming and parametric mean payoff games. WING@ETAPS/IJCAR 2010: 94-110 - [c20]Assalé Adjé, Stéphane Gaubert, Eric Goubault:
Coupling Policy Iteration with Semi-definite Relaxation to Compute Accurate Numerical Invariants in Static Analysis. ESOP 2010: 23-42 - [c19]Guillaume Sagnol, Mustapha Bouhtou, Stéphane Gaubert:
Successive c-optimal designs: a scalable technique to optimize the measurements on large networks. SIGMETRICS 2010: 347-348 - [c18]Xavier Allamigeon, Stéphane Gaubert, Eric Goubault:
The Tropical Double Description Method. STACS 2010: 47-58 - [c17]Guillaume Sagnol, Stéphane Gaubert, Mustapha Bouhtou:
Optimal monitoring in large networks by Successive c-optimal Designs. ITC 2010: 1-8 - [i5]Xavier Allamigeon, Stéphane Gaubert, Eric Goubault:
The tropical double description method. CoRR abs/1001.4119 (2010) - [i4]Xavier Allamigeon, Stéphane Gaubert, Ricardo Katz:
Tropical polar cones, hypergraph transversals, and mean payoff games. CoRR abs/1004.2778 (2010) - [i3]Sergei Friedland, Stéphane Gaubert:
Submodular spectral functions of principal submatrices of an hermitian matrix. CoRR abs/1007.3478 (2010) - [i2]Vincent D. Blondel, Stéphane Gaubert, Natacha Portier:
The set of realizations of a max-plus linear sequence is semi-polyhedral. CoRR abs/1010.3685 (2010) - [i1]Olivier Fercoq, Marianne Akian, Mustapha Bouhtou, Stéphane Gaubert:
Ergodic Control and Polyhedral approaches to PageRank Optimization. CoRR abs/1011.2348 (2010)
2000 – 2009
- 2009
- [j12]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): 1412-1431 (2009) - [c16]Stephane Gaubert:
Max-plus Algebraic Tools for Discrete Event Systems, Static Analysis, and Zero-Sum Games. FORMATS 2009: 7-11 - 2008
- [j11]Marianne Akian, Stephane Gaubert, Asma Lakhoua:
The Max-Plus Finite Element Method for Solving Deterministic Optimal Control Problems: Basic Properties and Convergence Analysis. SIAM J. Control. Optim. 47(2): 817-848 (2008) - [c15]William M. McEneaney, Ameet S. Deshpande, Stephane Gaubert:
Curse-of-complexity attenuation in the curse-of-dimensionality-free method for HJB PDEs. ACC 2008: 4684-4690 - [c14]Marianne Akian, Stephane Gaubert, Asma Lakhoua:
Convergence analysis of the Max-Plus Finite Element Method for Solving Deterministic Optimal Control Problems. CDC 2008: 927-934 - [c13]Xavier Allamigeon, Stephane Gaubert, Eric Goubault:
Inferring Min and Max Invariants Using Max-Plus Polyhedra. SAS 2008: 189-204 - 2007
- [c12]Stephane Gaubert, Eric Goubault, Ankur Taly, Sarah Zennou:
Static Analysis by Policy Iteration on Relational Domains. ESOP 2007: 237-252 - 2006
- [j10]Stephane Gaubert, Ricardo Katz:
Reachability Problems for Products of Matrices in Semirings. Int. J. Algebra Comput. 16(3): 603-627 (2006) - [c11]Stephane Gaubert, Ricardo Katz:
Max-Plus Convex Geometry. RelMiCS 2006: 192-206 - [c10]Marianne Akian, Stéphane Gaubert, Cormac Walsh:
How to find horizon-independent optimal strategies leading off to infinity: a max-plus approach. CDC 2006: 5024-5029 - [c9]Marianne Akian, Stéphane Gaubert, Laure Ninove:
The T-PageRank: A Model of Self-Validating Effects of Web Surfing. POSTA 2006: 239-246 - [c8]Vishesh Dhingra, Stephane Gaubert:
How to solve large scale deterministic games with mean payoff by policy iteration. VALUETOOLS 2006: 12 - 2005
- [c7]Alexandru Costan, Stephane Gaubert, Eric Goubault, Matthieu Martel, Sylvie Putot:
A Policy Iteration Algorithm for Computing Fixed Points in Static Analysis of Programs. CAV 2005: 462-475 - [c6]Marianne Akian, Stephane Gaubert, Asma Lakhoua:
The max-plus finite element method for optimal control problems: further approximation results. CDC/ECC 2005: 4505-4510 - [c5]Marianne Akian, Stephane Gaubert, Vassili Kolokoltsov:
Solutions of max-plus linear equations and large deviations. CDC/ECC 2005: 7787-7792 - 2004
- [j9]Stéphane Gaubert, Ricardo Katz:
Rational semimodules over the max-plus semiring and geometric approach to discrete event systems. Kybernetika 40(2): 153-180 (2004) - 2003
- [j8]Stéphane Gaubert, Jean Jacques Loiseau:
Guest editorial: Special issue on max-plus algebras. Kybernetika 39(2): 121-122 (2003) - [j7]Stéphane Gaubert, Jean Jacques Loiseau, Jean Mairesse, Maurice Nivat, Jean-Eric Pin:
Foreword. Theor. Comput. Sci. 293(1): 1-2 (2003) - [c4]Stephane Gaubert, Ricardo Katz:
Reachability and Invariance Problems in Max-plus Algebra. POSTA 2003: 15-22 - 2000
- [j6]Vincent D. Blondel, Stéphane Gaubert, John N. Tsitsiklis:
Approximating the spectral radius of sets of matrices in the max-algebra is NP-hard. IEEE Trans. Autom. Control. 45(9): 1762-1765 (2000)
1990 – 1999
- 1999
- [j5]Stephane Gaubert, Alessandro Giua:
Petri Net Languages and Infinite Subsets of m. J. Comput. Syst. Sci. 59(3): 373-391 (1999) - [j4]Stéphane Gaubert, Jean Mairesse:
Modeling and analysis of timed Petri nets using heaps of pieces. IEEE Trans. Autom. Control. 44(4): 683-697 (1999) - [c3]Stéphane Gaubert, Jean Mairesse:
Asymptotic analysis of heaps of pieces and application to timed Petri nets. PNPM 1999: 158-169 - 1998
- [j3]Guy Cohen, Stephane Gaubert, Jean-Pierre Quadrat:
Timed-event graphs with multipliers and homogeneous min-plus systems. IEEE Trans. Autom. Control. 43(9): 1296-1302 (1998) - [c2]Albert Benveniste, Claude Jard, Stephane Gaubert:
Algebraic Techniques for Timed Systems. CONCUR 1998: 373-388 - 1997
- [c1]Stephane Gaubert, Max Plus:
Methods and Applications of (MAX, +) Linear Algebra. STACS 1997: 261-282 - 1996
- [j2]Stéphane Gaubert, Alessandro Giua:
Deterministic weak-and-marked Petri net languages are regular. IEEE Trans. Autom. Control. 41(12): 1802-1803 (1996) - 1995
- [j1]Stephane Gaubert:
Resource optimization and (min, +) spectral theory. IEEE Trans. Autom. Control. 40(11): 1931-1934 (1995)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-03 21:23 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint