Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Stéphane Gaubert
Stephane Gaubert
2010 – today
- 2013
[j19]Xavier Allamigeon, Stéphane Gaubert, Eric Goubault: Computing the Vertices of Tropical Polyhedra Using Directed Hypergraphs. Discrete & Computational Geometry 49(2): 247-279 (2013)- [j18]Stéphane Gaubert, Sergei Sergeev: The level set method for the two-sided max-plus eigenproblem. Discrete Event Dynamic Systems 23(2): 105-134 (2013)
- [j17]Olivier Fercoq, Marianne Akian, Mustapha Bouhtou, Stephane Gaubert: Ergodic Control and Polyhedral Approaches to PageRank Optimization. IEEE Trans. Automat. Contr. 58(1): 134-148 (2013)
- [i9]Stéphane Gaubert, Zheng Qu: Dobrushin ergodicity coefficient for Markov operators on cones, and beyond. CoRR abs/1302.5226 (2013)
- 2012
- [j16]Assalé Adjé, Stéphane Gaubert, Eric Goubault: Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis. Logical Methods in Computer Science 8(1) (2012)
- [j15]Marianne Akian, Stéphane Gaubert, Alexander E. Guterman: Tropical Polyhedra are Equivalent to mean Payoff Games. IJAC 22(1) (2012)
- [j14]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)
- [j13]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
- [j12]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)
- [j11]Xavier Allamigeon, Stéphane Gaubert, Ricardo Katz: The number of extreme points of tropical polyhedra. J. Comb. Theory, Ser. A 118(1): 162-189 (2011)
- [j10]Jean Clairambault, Stéphane Gaubert, Thomas Lepoutre: Circadian rhythm and cell population growth. Mathematical and Computer Modelling 53(7-8): 1558-1567 (2011)
- [c15]Stephane Gaubert, William M. McEneaney, Zheng Qu: Curse of dimensionality reduction in max-plus based approximation methods: Theoretical estimates and improved pruning algorithms. CDC-ECE 2011: 1054-1061
- [i6]Stephane Gaubert, William M. McEneaney, Zheng Qu: Curse of dimensionality reduction. CoRR abs/1109.5241 (2011)
- 2010
- [j9]Stéphane Gaubert, Frédéric Meunier: Carathéodory, Helly and the Others in the Max-Plus World. Discrete & Computational Geometry 43(3): 648-662 (2010)
- [j8]Mustapha Bouhtou, Stéphane Gaubert, Guillaume Sagnol: Submodularity and Randomized rounding techniques for Optimal Experimental Design. Electronic Notes in Discrete Mathematics 36: 679-686 (2010)
- [j7]Jack Edmonds, Stéphane Gaubert, Vladimir Gurvich: Sperner Oiks. Electronic Notes in Discrete Mathematics 36: 1273-1280 (2010)
- [j6]Jack Edmonds, Stéphane Gaubert, Vladimir Gurvich: Scarf Oiks. Electronic Notes in Discrete Mathematics 36: 1281-1288 (2010)
- [j5]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 and Optimization 48(8): 5606-5628 (2010)
- [c14]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
- [c13]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
- [c12]Xavier Allamigeon, Stéphane Gaubert, Eric Goubault: The Tropical Double Description Method. STACS 2010: 47-58
- [c11]Guillaume Sagnol, Stéphane Gaubert, Mustapha Bouhtou: Optimal monitoring in large networks by Successive c-optimal Designs. International Teletraffic Congress 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
- [j4]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 Analysis Applications 31(3): 1412-1431 (2009)
- [c10]Stephane Gaubert: Max-plus Algebraic Tools for Discrete Event Systems, Static Analysis, and Zero-Sum Games. FORMATS 2009: 7-11
- 2008
- [j3]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 and Optimization 47(2): 817-848 (2008)
- [c9]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
- [c8]Xavier Allamigeon, Stephane Gaubert, Eric Goubault: Inferring Min and Max Invariants Using Max-Plus Polyhedra. SAS 2008: 189-204
- 2007
- [c7]Stephane Gaubert, Eric Goubault, Ankur Taly, Sarah Zennou: Static Analysis by Policy Iteration on Relational Domains. ESOP 2007: 237-252
- 2006
- [j2]Stephane Gaubert, Ricardo Katz: Reachability Problems for Products of Matrices in Semirings. IJAC 16(3): 603-627 (2006)
- [c6]
- [c5]Vishesh Dhingra, Stephane Gaubert: How to solve large scale deterministic games with mean payoff by policy iteration. VALUETOOLS 2006: 12
- 2005
- [c4]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
- 2003
- [c3]Stephane Gaubert, Ricardo Katz: Reachability and Invariance Problems in Max-plus Algebra. POSTA 2003: 15-22
1990 – 1999
- 1999
- [j1]Stephane Gaubert, Alessandro Giua: Petri Net Languages and Infinite Subsets of m. J. Comput. Syst. Sci. 59(3): 373-391 (1999)
- 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
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-05-05 01:45 CEST by the dblp team