| 2008 |
|---|
| 10 | EE | Xavier Allamigeon,
Stephane Gaubert,
Eric Goubault:
Inferring Min and Max Invariants Using Max-Plus Polyhedra.
SAS 2008: 189-204 |
| 2007 |
|---|
| 9 | EE | Stephane Gaubert,
Eric Goubault,
Ankur Taly,
Sarah Zennou:
Static Analysis by Policy Iteration on Relational Domains.
ESOP 2007: 237-252 |
| 2006 |
|---|
| 8 | EE | Stephane Gaubert,
Ricardo Katz:
Max-Plus Convex Geometry.
RelMiCS 2006: 192-206 |
| 7 | EE | Vishesh Dhingra,
Stephane Gaubert:
How to solve large scale deterministic games with mean payoff by policy iteration.
VALUETOOLS 2006: 12 |
| 6 | EE | Stephane Gaubert,
Ricardo Katz:
Reachability Problems for Products of Matrices in Semirings.
IJAC 16(3): 603-627 (2006) |
| 2005 |
|---|
| 5 | EE | 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 | EE | 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 | EE | 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 |
