Stephane Gaubert
Stephane Gaubert
Directeur de recherche, INRIA and CMAP, Ecole polytechnique
Verified email at inria.fr - Homepage
TitleCited byYear
Théorie des systèmes linéaires dans les dioïdes
S Gaubert
Paris, ENMP, 1992
3881992
Methods and applications of (max,+) linear algebra
S Gaubert, M Plus
Annual symposium on theoretical aspects of computer science, 261-282, 1997
2721997
Max-plus algebra and system theory: where we are and where to go now
G Cohen, S Gaubert, JP Quadrat
Annual reviews in control 23, 207-219, 1999
2421999
Duality and separation theorems in idempotent semimodules
G Cohen, S Gaubert, JP Quadrat
Linear Algebra and its Applications 379, 395-422, 2004
2252004
Perron–Frobenius theorem for nonnegative multilinear forms and extensions
S Friedland, S Gaubert, L Han
Linear Algebra and its Applications 438 (2), 738-749, 2013
2232013
Numerical computation of spectral elements in max-plus algebra
J Cochet-Terrasson, G Cohen, S Gaubert, M McGettrick, JP Quadrat
IFAC Proceedings Volumes 31 (18), 667-674, 1998
2211998
Performance evaluation of (max,+) automata
S Gaubert
IEEE transactions on automatic Control 40 (12), 2014-2025, 1995
1681995
Modeling and analysis of timed Petri nets using heaps of pieces
S Gaubert, J Mairesse
IEEE Transactions on Automatic Control 44 (4), 683-697, 1999
1641999
Max-plus algebra
M Akian, R Bapat, S Gaubert
Handbook of linear algebra 39, 2006
1462006
The Perron-Frobenius theorem for homogeneous, monotone functions
S Gaubert, J Gunawardena
Transactions of the American Mathematical Society 356 (12), 4931-4950, 2004
1332004
Linear independence over tropical semirings and beyond
M Akian, S Gaubert, A Guterman
Contemporary mathematics 495, 1, 2009
1312009
A policy iteration algorithm for computing fixed points in static analysis of programs
A Costan, S Gaubert, E Goubault, M Martel, S Putot
International Conference on Computer Aided Verification, 462-475, 2005
1182005
Tropical polyhedra are equivalent to mean payoff games
M Akian, S Gaubert, A Guterman
International Journal of Algebra and Computation 22 (01), 1250001, 2012
1122012
The duality theorem for min-max functions
S Gaubert, J Gunawardena
Comptes Rendus de l'Académie des Sciences-Series I-Mathematics 326 (1), 43-48, 1998
1081998
A constructive fixed point theorem for min-max functions
J Cochet-Terrasson, S Gaubert, J Gunawardena
Dynamics and stability of systems 14 (4), 407-433, 1999
1051999
Linear systems in (max,+) algebra
M Akian, G Cohen, S Gaubert, R Nikoukhah, JP Quadrat
29th IEEE Conference on decision and control, 151-156, 1990
1031990
The Minkowski theorem for max-plus convex sets
S Gaubert, RD Katz
Linear Algebra and its Applications 421 (2-3), 356-369, 2007
902007
Static analysis by policy iteration on relational domains
S Gaubert, E Goubault, A Taly, S Zennou
European symposium on programming, 237-252, 2007
872007
Max-plus convex sets and functions
G Cohen, S Gaubert, JP Quadrat, I Singer
Contemporary Mathematics 377, 105-130, 2005
832005
Inferring min and max invariants using max-plus polyhedra
X Allamigeon, S Gaubert, E Goubault
International Static Analysis Symposium, 189-204, 2008
732008
The system can't perform the operation now. Try again later.
Articles 1–20