Stephane Gaubert
Stephane Gaubert
Directeur de recherche, INRIA and CMAP, Ecole polytechnique
Adresse e-mail validée de inria.fr - Page d'accueil
Titre
Citée par
Citée par
Année
Théorie des systèmes linéaires dans les dioïdes
S Gaubert
Paris, ENMP, 1992
4211992
Methods and applications of (max,+) linear algebra
S Gaubert, M Plus
Annual symposium on theoretical aspects of computer science, 261-282, 1997
3031997
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
2772013
Duality and separation theorems in idempotent semimodules
G Cohen, S Gaubert, JP Quadrat
Linear Algebra and its Applications 379, 395-422, 2004
2672004
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
2611999
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
2361998
Performance evaluation of (max,+) automata
S Gaubert
IEEE transactions on automatic Control 40 (12), 2014-2025, 1995
1951995
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
1861999
Max-plus algebra
M Akian, R Bapat, S Gaubert
Handbook of linear algebra 39, 2006
1712006
Linear independence over tropical semirings and beyond
M Akian, S Gaubert, A Guterman
Contemporary Mathematics 495 (1), 1-38, 2009
1562009
Tropical polyhedra are equivalent to mean payoff games
M Akian, S Gaubert, A Guterman
International Journal of Algebra and Computation 22 (01), 1250001, 2012
1522012
The Perron-Frobenius theorem for homogeneous, monotone functions
S Gaubert, J Gunawardena
Transactions of the American Mathematical Society 356 (12), 4931-4950, 2004
1512004
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
1292005
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
1131998
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
1101999
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
1091990
The Minkowski theorem for max-plus convex sets
S Gaubert, RD Katz
Linear Algebra and its Applications 421 (2-3), 356-369, 2007
1032007
Static analysis by policy iteration on relational domains
S Gaubert, E Goubault, A Taly, S Zennou
European symposium on programming, 237-252, 2007
982007
The max-plus finite element method for solving deterministic optimal control problems: basic properties and convergence analysis
M Akian, S Gaubert, A Lakhoua
SIAM Journal on Control and Optimization 47 (2), 817-848, 2008
912008
Max-plus convex sets and functions
G Cohen, S Gaubert, JP Quadrat, I Singer
Contemporary Mathematics 377, 105-130, 2005
882005
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20