The SCEAS System
| |||||||

## Search the dblp DataBase
Stephane Gaubert:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Stephane Gaubert, Ricardo Katz
**Max-Plus Convex Geometry.**[Citation Graph (0, 0)][DBLP] RelMiCS, 2006, pp:192-206 [Conf] - Alexandru Costan, Stephane Gaubert, Eric Goubault, Matthieu Martel, Sylvie Putot
**A Policy Iteration Algorithm for Computing Fixed Points in Static Analysis of Programs.**[Citation Graph (0, 0)][DBLP] CAV, 2005, pp:462-475 [Conf] - Albert Benveniste, Claude Jard, Stephane Gaubert
**Algebraic Techniques for Timed Systems.**[Citation Graph (0, 0)][DBLP] CONCUR, 1998, pp:373-388 [Conf] - Stephane Gaubert, Ricardo Katz
**Reachability and Invariance Problems in Max-plus Algebra.**[Citation Graph (0, 0)][DBLP] POSTA, 2003, pp:15-22 [Conf] - Stephane Gaubert, Max Plus
**Methods and Applications of (MAX, +) Linear Algebra.**[Citation Graph (0, 0)][DBLP] STACS, 1997, pp:261-282 [Conf] - Vishesh Dhingra, Stephane Gaubert
**How to solve large scale deterministic games with mean payoff by policy iteration.**[Citation Graph (0, 0)][DBLP] VALUETOOLS, 2006, pp:12- [Conf] - Stephane Gaubert, Ricardo Katz
**Reachability Problems for Products of Matrices in Semirings.**[Citation Graph (0, 0)][DBLP] IJAC, 2006, v:16, n:3, pp:603-627 [Journal] - Stephane Gaubert, Alessandro Giua
**Petri Net Languages and Infinite Subsets of m.**[Citation Graph (0, 0)][DBLP] J. Comput. Syst. Sci., 1999, v:59, n:3, pp:373-391 [Journal] - Stephane Gaubert, Eric Goubault, Ankur Taly, Sarah Zennou
**Static Analysis by Policy Iteration on Relational Domains.**[Citation Graph (0, 0)][DBLP] ESOP, 2007, pp:237-252 [Conf] **Coupling Policy Iteration with Semi-definite Relaxation to Compute Accurate Numerical Invariants in Static Analysis.**[Citation Graph (, )][DBLP]**Max-plus Algebraic Tools for Discrete Event Systems, Static Analysis, and Zero-Sum Games.**[Citation Graph (, )][DBLP]**Inferring Min and Max Invariants Using Max-Plus Polyhedra.**[Citation Graph (, )][DBLP]**Successive c-optimal designs: a scalable technique to optimize the measurements on large networks.**[Citation Graph (, )][DBLP]**The Tropical Double Description Method.**[Citation Graph (, )][DBLP]**Convergence analysis of the Max-Plus Finite Element Method for Solving Deterministic Optimal Control Problems.**[Citation Graph (, )][DBLP]**The tropical double description method**[Citation Graph (, )][DBLP]**Tropical polar cones, hypergraph transversals, and mean payoff games**[Citation Graph (, )][DBLP]**Carathéodory, Helly and the Others in the Max-Plus World.**[Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.004secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |