Search the dblp DataBase

Publications of Author

1. Stephane Gaubert, Ricardo Katz
   Max-Plus Convex Geometry. [Citation Graph (0, 0)][DBLP]
   RelMiCS, 2006, pp:192-206 [Conf]
   
2. 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]
   
3. Albert Benveniste, Claude Jard, Stephane Gaubert
   Algebraic Techniques for Timed Systems. [Citation Graph (0, 0)][DBLP]
   CONCUR, 1998, pp:373-388 [Conf]
   
4. Stephane Gaubert, Ricardo Katz
   Reachability and Invariance Problems in Max-plus Algebra. [Citation Graph (0, 0)][DBLP]
   POSTA, 2003, pp:15-22 [Conf]
   
5. Stephane Gaubert, Max Plus
   Methods and Applications of (MAX, +) Linear Algebra. [Citation Graph (0, 0)][DBLP]
   STACS, 1997, pp:261-282 [Conf]
   
6. 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]
   
7. 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]
   
8. 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]
   
9. 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]
   
10. 
    Coupling Policy Iteration with Semi-definite Relaxation to Compute Accurate Numerical Invariants in Static Analysis. [Citation Graph (, )][DBLP]
    
    
11. 
    Max-plus Algebraic Tools for Discrete Event Systems, Static Analysis, and Zero-Sum Games. [Citation Graph (, )][DBLP]
    
    
12. 
    Inferring Min and Max Invariants Using Max-Plus Polyhedra. [Citation Graph (, )][DBLP]
    
    
13. 
    Successive c-optimal designs: a scalable technique to optimize the measurements on large networks. [Citation Graph (, )][DBLP]
    
    
14. 
    The Tropical Double Description Method. [Citation Graph (, )][DBLP]
    
    
15. 
    Convergence analysis of the Max-Plus Finite Element Method for Solving Deterministic Optimal Control Problems. [Citation Graph (, )][DBLP]
    
    
16. 
    The tropical double description method [Citation Graph (, )][DBLP]
    
    
17. 
    Tropical polar cones, hypergraph transversals, and mean payoff games [Citation Graph (, )][DBLP]
    
    
18. 
    Carathéodory, Helly and the Others in the Max-Plus World. [Citation Graph (, )][DBLP]