dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Stéphane Gaubert Home Page Coauthor index pubzone.org

Stephane Gaubert

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarianne Akian, Stéphane Gaubert, Alexander E. Guterman: Tropical Polyhedra are Equivalent to mean Payoff Games. IJAC 22(1): (2012)
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAssalé 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)
2011
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephane 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
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephane Gaubert, William M. McEneaney, Zheng Qu: Curse of dimensionality reduction CoRR abs/1109.5241: (2011)
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXavier Allamigeon, Stéphane Gaubert, Ricardo Katz: The number of extreme points of tropical polyhedra. J. Comb. Theory, Ser. A 118(1): 162-189 (2011)
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVincent 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)
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean Clairambault, Stéphane Gaubert, Thomas Lepoutre: Circadian rhythm and cell population growth. Mathematical and Computer Modelling 53(7-8): 1558-1567 (2011)
2010
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAssalé 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
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuillaume Sagnol, Mustapha Bouhtou, Stéphane Gaubert: Successive c-optimal designs: a scalable technique to optimize the measurements on large networks. SIGMETRICS 2010: 347-348
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXavier Allamigeon, Stéphane Gaubert, Eric Goubault: The Tropical Double Description Method. STACS 2010: 47-58
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXavier Allamigeon, Stéphane Gaubert, Eric Goubault: The tropical double description method CoRR abs/1001.4119: (2010)
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXavier Allamigeon, Stéphane Gaubert, Ricardo Katz: Tropical polar cones, hypergraph transversals, and mean payoff games CoRR abs/1004.2778: (2010)
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVincent 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)
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlivier Fercoq, Marianne Akian, Mustapha Bouhtou, Stéphane Gaubert: Ergodic Control and Polyhedral approaches to PageRank Optimization CoRR abs/1011.2348: (2010)
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSté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)
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJack Edmonds, Stéphane Gaubert, Vladimir Gurvich: Sperner Oiks. Electronic Notes in Discrete Mathematics 36: 1273-1280 (2010)
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJack Edmonds, Stéphane Gaubert, Vladimir Gurvich: Scarf Oiks. Electronic Notes in Discrete Mathematics 36: 1281-1288 (2010)
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMustapha Bouhtou, Stéphane Gaubert, Guillaume Sagnol: Submodularity and Randomized rounding techniques for Optimal Experimental Design. Electronic Notes in Discrete Mathematics 36: 679-686 (2010)
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael 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)
2009
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephane Gaubert: Max-plus Algebraic Tools for Discrete Event Systems, Static Analysis, and Zero-Sum Games. FORMATS 2009: 7-11
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter 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)
2008
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarianne Akian, Stephane Gaubert, Asma Lakhoua: Convergence analysis of the Max-Plus Finite Element Method for Solving Deterministic Optimal Control Problems. CDC 2008: 927-934
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXavier Allamigeon, Stephane Gaubert, Eric Goubault: Inferring Min and Max Invariants Using Max-Plus Polyhedra. SAS 2008: 189-204
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarianne 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)
2007
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephane Gaubert, Eric Goubault, Ankur Taly, Sarah Zennou: Static Analysis by Policy Iteration on Relational Domains. ESOP 2007: 237-252
2006
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephane Gaubert, Ricardo Katz: Max-Plus Convex Geometry. RelMiCS 2006: 192-206
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVishesh Dhingra, Stephane Gaubert: How to solve large scale deterministic games with mean payoff by policy iteration. VALUETOOLS 2006: 12
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephane Gaubert, Ricardo Katz: Reachability Problems for Products of Matrices in Semirings. IJAC 16(3): 603-627 (2006)
2005
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandru 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
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephane Gaubert, Ricardo Katz: Reachability and Invariance Problems in Max-plus Algebra. POSTA 2003: 15-22
1999
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephane Gaubert, Alessandro Giua: Petri Net Languages and Infinite Subsets of m. J. Comput. Syst. Sci. 59(3): 373-391 (1999)
1998
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlbert Benveniste, Claude Jard, Stephane Gaubert: Algebraic Techniques for Timed Systems. CONCUR 1998: 373-388
1997
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephane Gaubert, Max Plus: Methods and Applications of (MAX, +) Linear Algebra. STACS 1997: 261-282

Coauthor Index

1Assalé Adjé [26] [32]
2Marianne Akian [10] [12] [20] [33]
3Xavier Allamigeon [11] [22] [23] [24] [29]
4Albert Benveniste [2]
5Vincent D. Blondel [21] [28]
6Mustapha Bouhtou [16] [20] [25]
7Peter Butkovic [13]
8Jean Clairambault [27]
9Alexandru Costan [5]
10Raymond A. Cuninghame-Green [13]
11Vishesh Dhingra [7]
12Jack Edmonds [17] [18]
13Olivier Fercoq [20]
14Alessandro Giua [3]
15Eric Goubault [5] [9] [11] [23] [24] [26] [32]
16Vladimir Gurvich [17] [18]
17Alexander E. Guterman [33]
18Claude Jard [2]
19Ricardo Katz [4] [6] [8] [15] [22] [29]
20Asma Lakhoua [10] [12]
21Thomas Lepoutre [27]
22Jean Jacques Loiseau [15]
23Michael Di Loreto [15]
24Matthieu Martel [5]
25William M. McEneaney [30] [31]
26Frédéric Meunier [19]
27Max Plus [1]
28Natacha Portier [21] [28]
29Sylvie Putot [5]
30Zheng Qu [30] [31]
31Guillaume Sagnol [16] [25]
32Ankur Taly [9]
33Sarah Zennou [9]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page