Stéphane Gaubert

Stephane Gaubert

	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)
	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		Stephane Gaubert, Ricardo Katz: Max-Plus Convex Geometry. RelMiCS 2006: 192-206
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
	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

Colors in the list of coauthors

Last update Sun May 19 04:17:51 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page