 | 2009 |
|---|
| 12 |       | Stephane Gaubert:
Max-plus Algebraic Tools for Discrete Event Systems, Static Analysis, and Zero-Sum Games.
FORMATS 2009: 7-11 |
| 2008 |
|---|
| 11 | | Marianne Akian,
Stephane Gaubert,
Asma Lakhoua:
Convergence analysis of the Max-Plus Finite Element Method for Solving Deterministic Optimal Control Problems.
CDC 2008: 927-934 |
| 10 | | Xavier Allamigeon,
Stephane Gaubert,
Eric Goubault:
Inferring Min and Max Invariants Using Max-Plus Polyhedra.
SAS 2008: 189-204 |
| 2007 |
|---|
| 9 | | Stephane Gaubert,
Eric Goubault,
Ankur Taly,
Sarah Zennou:
Static Analysis by Policy Iteration on Relational Domains.
ESOP 2007: 237-252 |
| 2006 |
|---|
| 8 | | Stephane Gaubert,
Ricardo Katz:
Max-Plus Convex Geometry.
RelMiCS 2006: 192-206 |
| 7 | | Vishesh Dhingra,
Stephane Gaubert:
How to solve large scale deterministic games with mean payoff by policy iteration.
VALUETOOLS 2006: 12 |
| 6 | | Stephane Gaubert,
Ricardo Katz:
Reachability Problems for Products of Matrices in Semirings.
IJAC 16(3): 603-627 (2006) |
| 2005 |
|---|
| 5 | | Alexandru 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 |
|---|
| 4 | | Stephane Gaubert,
Ricardo Katz:
Reachability and Invariance Problems in Max-plus Algebra.
POSTA 2003: 15-22 |
| 1999 |
|---|
| 3 |  | Stephane Gaubert,
Alessandro Giua:
Petri Net Languages and Infinite Subsets of m.
J. Comput. Syst. Sci. 59(3): 373-391 (1999) |
| 1998 |
|---|
| 2 | | Albert Benveniste,
Claude Jard,
Stephane Gaubert:
Algebraic Techniques for Timed Systems.
CONCUR 1998: 373-388 |
| 1997 |
|---|
| 1 | | Stephane Gaubert,
Max Plus:
Methods and Applications of (MAX, +) Linear Algebra.
STACS 1997: 261-282 |
