Ricardo Katz

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 1

Top Topics

Consistency Checking

Revenue Management

Top Venues

Publications

Alfredo Capozucca, Maximiliano Cristiá, Ross Horne, Ricardo Katz
Brewer-Nash Scrutinised: Mechanised Checking of Policies featuring Write Revocation. CoRR (2024)
Xavier Allamigeon, Ricardo Katz
Minimal external representations of tropical polyhedra. J. Comb. Theory, Ser. A 120 (4) (2013)
Stéphane Gaubert, Ricardo Katz, Sergei Sergeev
Tropical linear-fractional programming and parametric mean payoff games. J. Symb. Comput. 47 (12) (2012)
Xavier Allamigeon, Stéphane Gaubert, Ricardo Katz
The number of extreme points of tropical polyhedra. J. Comb. Theory, Ser. A 118 (1) (2011)
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. Optim. 48 (8) (2010)
Xavier Allamigeon, Stéphane Gaubert, Ricardo Katz
Tropical polar cones, hypergraph transversals, and mean payoff games CoRR (2010)
Stéphane Gaubert, Ricardo Katz, Sergei Sergeev
Tropical linear programming and parametric mean payoff games. WING@ETAPS/IJCAR (2010)
Stephane Gaubert, Ricardo Katz
Max-Plus Convex Geometry. RelMiCS (2006)
Stephane Gaubert, Ricardo Katz
Reachability Problems for Products of Matrices in Semirings. Int. J. Algebra Comput. 16 (3) (2006)
Stéphane Gaubert, Ricardo Katz
Rational semimodules over the max-plus semiring and geometric approach to discrete event systems. Kybernetika 40 (2) (2004)
Stephane Gaubert, Ricardo Katz
Reachability and Invariance Problems in Max-plus Algebra. POSTA (2003)