Suivre
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
4441992
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
3412013
Methods and applications of (max,+) linear algebra
S Gaubert, M Plus
STACS 97: 14th Annual Symposium on Theoretical Aspects of Computer Science …, 1997
3211997
Duality and separation theorems in idempotent semimodules
G Cohen, S Gaubert, JP Quadrat
Linear Algebra and its Applications 379, 395-422, 2004
2942004
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
2881999
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
2501998
Performance evaluation of (max,+) automata
S Gaubert
IEEE transactions on automatic Control 40 (12), 2014-2025, 1995
2101995
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
2041999
Max-plus algebra
M Akian, R Bapat, S Gaubert
Handbook of linear algebra 39, 2006
1982006
Tropical polyhedra are equivalent to mean payoff games
M Akian, S Gaubert, A Guterman
International Journal of Algebra and Computation 22 (01), 1250001, 2012
1872012
Linear independence over tropical semirings and beyond
M Akian, S Gaubert, A Guterman
Contemporary Mathematics 495 (1), 1-38, 2009
1802009
The Perron-Frobenius theorem for homogeneous, monotone functions
S Gaubert, J Gunawardena
Transactions of the American Mathematical Society 356 (12), 4931-4950, 2004
1692004
A policy iteration algorithm for computing fixed points in static analysis of programs
A Costan, S Gaubert, E Goubault, M Martel, S Putot
Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005
1322005
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
1301990
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
1212008
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
1191998
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
1141999
The Minkowski theorem for max-plus convex sets
S Gaubert, RD Katz
Linear Algebra and its Applications 421 (2-3), 356-369, 2007
1122007
Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis
A Adjé, S Gaubert, E Goubault
Logical methods in computer science 8, 2012
1032012
Log-barrier interior point methods are not strongly polynomial
X Allamigeon, P Benchimol, S Gaubert, M Joswig
SIAM Journal on Applied Algebra and Geometry 2 (1), 140-178, 2018
1022018
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20