Stephane Gaubert
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
1997–2008
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2008 | SAS | Inferring Min and Max Invariants Using Max-Plus Polyhedra. | Xavier Allamigeon, Stephane Gaubert, Eric Goubault |
| 2007 | ESOP | Static Analysis by Policy Iteration on Relational Domains. | Stephane Gaubert, Eric Goubault, Ankur Taly, Sarah Zennou |
| 2005 | CAV | A Policy Iteration Algorithm for Computing Fixed Points in Static Analysis of Programs. | Alexandru Costan, Stephane Gaubert, Eric Goubault, Matthieu Martel, Sylvie Putot |
| 1998 | CONCUR | Algebraic Techniques for Timed Systems. | Albert Benveniste, Claude Jard, Stephane Gaubert |
| 1997 | STACS | Methods and Applications of (MAX, +) Linear Algebra. | Stephane Gaubert, Max Plus |