Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
[1]
Hilfe
Suche: Author="Gaubert, St{\'e}phane"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
The tropical shadow-vertex algorithm solves mean payoff games in polynomial time on average
Xavier Allamigeon
,
Pascal Benchimol
,
Stéphane Gaubert
Lecture Notes in Computer Science
8572
, 2014, pp. 89-100
Tropical linear-fractional programming and parametric mean payoff games
Stéphane Gaubert
,
Ricardo D. Katz
,
Sergeĭ Sergeev
Journal Symbolic Computation
47
(12), 2012, pp. 1447-1478
Abstract interpretation meets convex
Thomas Martin Gawlitza
,
Helmut Seidl
,
Assalé Adjé
,
Stéphane Gaubert
,
Éric Goubault
Journal Symbolic Computation
47
(12), 2012, pp. 1416-1446
The number of extreme points of tropical polyhedra
Xavier Allamigeon
,
Stéphane Gaubert
,
Ricardo D. Katz
Journal of Combinatorial Theory Series A
118
(1), 2011, pp. 162-189
The set of realizations of a max-plus linear sequence is semi-polyhedral
Vincent Blondel
,
Stéphane Gaubert
,
Natacha Portier
Journal of Computer and System Sciences
77
(4), 2011, pp. 820-833
Petri net languages and infinite subsets of
N^m
Stéphane Gaubert
,
Alessandro Giua
Journal of Computer and System Sciences
59
(3), 1999, pp. 373-391