Folgen
Stephane Gaubert
Stephane Gaubert
Directeur de recherche, INRIA and CMAP, Ecole polytechnique
Bestätigte E-Mail-Adresse bei inria.fr - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Théorie des systèmes linéaires dans les dioïdes
S Gaubert
Paris, ENMP, 1992
4311992
Methods and applications of (max,+) linear algebra
S Gaubert, M Plus
STACS 97: 14th Annual Symposium on Theoretical Aspects of Computer Science …, 1997
3181997
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
3122013
Duality and separation theorems in idempotent semimodules
G Cohen, S Gaubert, JP Quadrat
Linear Algebra and its Applications 379, 395-422, 2004
2842004
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
2711999
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
2451998
Performance evaluation of (max,+) automata
S Gaubert
IEEE transactions on automatic Control 40 (12), 2014-2025, 1995
1991995
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
1951999
Max-plus algebra
M Akian, R Bapat, S Gaubert
Handbook of linear algebra 39, 2006
1802006
Tropical polyhedra are equivalent to mean payoff games
M Akian, S Gaubert, A Guterman
International Journal of Algebra and Computation 22 (01), 1250001, 2012
1742012
Linear independence over tropical semirings and beyond
M Akian, S Gaubert, A Guterman
Contemporary Mathematics 495 (1), 1-38, 2009
1662009
The Perron-Frobenius theorem for homogeneous, monotone functions
S Gaubert, J Gunawardena
Transactions of the American Mathematical Society 356 (12), 4931-4950, 2004
1632004
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
1241990
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
1131999
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
1121998
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
1112008
The Minkowski theorem for max-plus convex sets
S Gaubert, RD Katz
Linear Algebra and its Applications 421 (2-3), 356-369, 2007
1102007
Static analysis by policy iteration on relational domains
S Gaubert, E Goubault, A Taly, S Zennou
Programming Languages and Systems: 16th European Symposium on Programming …, 2007
992007
Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis
E Goubault, S Gaubert, A Adjé
Logical methods in computer science 8, 2012
972012
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20