Search results for "Stéphane Gaubert"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Marianne Akian, Stéphane Gaubert, Alexander E. Guterman	Tropical Polyhedra are Equivalent to mean Payoff Games.	IJAC	2012	DBLP DOI BibTeX RDF
1	Assalé Adjé, Stéphane Gaubert, Eric Goubault	Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis	Logical Methods in Computer Science	2012	DBLP DOI BibTeX RDF
1	Xavier Allamigeon, Stéphane Gaubert, Ricardo Katz	The number of extreme points of tropical polyhedra.	J. Comb. Theory, Ser. A	2011	DBLP DOI BibTeX RDF
1	Jean Clairambault, Stéphane Gaubert, Thomas Lepoutre	Circadian rhythm and cell population growth.	Mathematical and Computer Modelling	2011	DBLP DOI BibTeX RDF
1	Stephane Gaubert, William M. McEneaney, Zheng Qu	Curse of dimensionality reduction	CoRR	2011	DBLP BibTeX RDF
1	Vincent D. Blondel, Stéphane Gaubert, Natacha Portier	The set of realizations of a max-plus linear sequence is semi-polyhedral.	J. Comput. Syst. Sci.	2011	DBLP DOI BibTeX RDF
1	Stephane Gaubert, William M. McEneaney, Zheng Qu	Curse of dimensionality reduction in max-plus based approximation methods: Theoretical estimates and improved pruning algorithms.	CDC-ECE	2011	DBLP DOI BibTeX RDF
1	Jack Edmonds, Stéphane Gaubert, Vladimir Gurvich	Scarf Oiks.	Electronic Notes in Discrete Mathematics	2010	DBLP DOI BibTeX RDF
1	Mustapha Bouhtou, Stéphane Gaubert, Guillaume Sagnol	Submodularity and Randomized rounding techniques for Optimal Experimental Design.	Electronic Notes in Discrete Mathematics	2010	DBLP DOI BibTeX RDF
1	Jack Edmonds, Stéphane Gaubert, Vladimir Gurvich	Sperner Oiks.	Electronic Notes in Discrete Mathematics	2010	DBLP DOI BibTeX RDF
1	Michael Di Loreto, Stéphane Gaubert, Ricardo Katz, Jean Jacques Loiseau	Duality Between Invariant Spaces for Max-Plus Linear Discrete Event Systems.	SIAM J. Control and Optimization	2010	DBLP DOI BibTeX RDF
1	Stéphane Gaubert, Frédéric Meunier	Carathéodory, Helly and the Others in the Max-Plus World.	Discrete & Computational Geometry	2010	DBLP DOI BibTeX RDF
1	Vincent D. Blondel, Stéphane Gaubert, Natacha Portier	The set of realizations of a max-plus linear sequence is semi-polyhedral	CoRR	2010	DBLP BibTeX RDF
1	Xavier Allamigeon, Stéphane Gaubert, Eric Goubault	The tropical double description method	CoRR	2010	DBLP BibTeX RDF
1	Xavier Allamigeon, Stéphane Gaubert, Ricardo Katz	Tropical polar cones, hypergraph transversals, and mean payoff games	CoRR	2010	DBLP BibTeX RDF
1	Olivier Fercoq, Marianne Akian, Mustapha Bouhtou, Stéphane Gaubert	Ergodic Control and Polyhedral approaches to PageRank Optimization	CoRR	2010	DBLP BibTeX RDF
1	Xavier Allamigeon, Stéphane Gaubert, Eric Goubault	The Tropical Double Description Method.	STACS	2010	DBLP DOI BibTeX RDF
1	Guillaume Sagnol, Mustapha Bouhtou, Stéphane Gaubert	Successive c-optimal designs: a scalable technique to optimize the measurements on large networks.	SIGMETRICS	2010	DBLP DOI BibTeX RDF	SOCP, c-optimality, optimal experimental design, netflow
1	Assalé Adjé, Stéphane Gaubert, Eric Goubault	Coupling Policy Iteration with Semi-definite Relaxation to Compute Accurate Numerical Invariants in Static Analysis.	ESOP	2010	DBLP DOI BibTeX RDF
1	Peter Butkovic, Raymond A. Cuninghame-Green, Stéphane Gaubert	Reducible Spectral Theory with Applications to the Robustness of Matrices in Max-Algebra.	SIAM J. Matrix Analysis Applications	2009	DBLP DOI BibTeX RDF
1	Stephane Gaubert	Max-plus Algebraic Tools for Discrete Event Systems, Static Analysis, and Zero-Sum Games.	FORMATS	2009	DBLP DOI BibTeX RDF
1	Marianne Akian, Stephane Gaubert, Asma Lakhoua	The Max-Plus Finite Element Method for Solving Deterministic Optimal Control Problems: Basic Properties and Convergence Analysis.	SIAM J. Control and Optimization	2008	DBLP DOI BibTeX RDF
1	Marianne Akian, Stephane Gaubert, Asma Lakhoua	Convergence analysis of the Max-Plus Finite Element Method for Solving Deterministic Optimal Control Problems.	CDC	2008	DBLP DOI BibTeX RDF
1	Xavier Allamigeon, Stephane Gaubert, Eric Goubault	Inferring Min and Max Invariants Using Max-Plus Polyhedra.	SAS	2008	DBLP DOI BibTeX RDF
1	Stephane Gaubert, Eric Goubault, Ankur Taly, Sarah Zennou	Static Analysis by Policy Iteration on Relational Domains.	ESOP	2007	DBLP DOI BibTeX RDF
1	Stephane Gaubert, Ricardo Katz	Reachability Problems for Products of Matrices in Semirings.	IJAC	2006	DBLP DOI BibTeX RDF
1	Vishesh Dhingra, Stephane Gaubert	How to solve large scale deterministic games with mean payoff by policy iteration.	VALUETOOLS	2006	DBLP DOI BibTeX RDF	nonlinear harmonic functions, graph algorithms, repeated games, max-plus algebra, policy iteration
1	Stephane Gaubert, Ricardo Katz	Max-Plus Convex Geometry.	RelMiCS	2006	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Stephane Gaubert, Ricardo Katz	Reachability and Invariance Problems in Max-plus Algebra.	POSTA	2003	DBLP DOI BibTeX RDF
1	Stephane Gaubert, Alessandro Giua	Petri Net Languages and Infinite Subsets of m.	J. Comput. Syst. Sci.	1999	DBLP DOI BibTeX RDF
1	Albert Benveniste, Claude Jard, Stephane Gaubert	Algebraic Techniques for Timed Systems.	CONCUR	1998	DBLP DOI BibTeX RDF
1	Stephane Gaubert, Max Plus	Methods and Applications of (MAX, +) Linear Algebra.	STACS	1997	DBLP DOI BibTeX RDF

Publications of "Stéphane Gaubert" ( http://dblp.L3S.de/Authors/Stéphane_Gaubert )