Reachability and Invariance Problems in Max-plus Algebra. - Stephane Gaubert; Ricardo Katz (POSTA, 2003)

Rational semimodules over the max-plus semiring and geometric approach to discrete event systems. - Stéphane Gaubert; Ricardo Katz (Kybernetika, 2004)

Max-Plus Convex Geometry. - Stephane Gaubert; Ricardo Katz (RelMiCS, 2006)

Reachability Problems for Products of Matrices in Semirings. - Stephane Gaubert; Ricardo Katz (Int. J. Algebra Comput., 2006)

Max-Plus (A, B)-Invariant Spaces and Control of Timed Discrete-Event Systems. - Ricardo David Katz (IEEE Trans. Autom. Control., 2007)

Tropical linear programming and parametric mean payoff games. - Stéphane Gaubert; Ricardo Katz; Sergei Sergeev (WING@ETAPS/IJCAR, 2010)

Tropical polar cones, hypergraph transversals, and mean payoff games - Xavier Allamigeon; Stéphane Gaubert; Ricardo Katz (CoRR, 2010)

Duality Between Invariant Spaces for Max-Plus Linear Discrete Event Systems. - Michael Di Loreto; Stéphane Gaubert; Ricardo Katz; Jean Jacques Loiseau (SIAM J. Control. Optim., 2010)

The number of extreme points of tropical polyhedra. - Xavier Allamigeon; Stéphane Gaubert; Ricardo Katz (J. Comb. Theory A, 2011)

Tropical linear-fractional programming and parametric mean payoff games. - Stéphane Gaubert; Ricardo Katz; Sergei Sergeev (J. Symb. Comput., 2012)

Minimal external representations of tropical polyhedra. - Xavier Allamigeon; Ricardo Katz (J. Comb. Theory A, 2013)

Tropical Fourier-Motzkin elimination, with an application to real-time verification. - Xavier Allamigeon; Uli Fahrenberg; Stéphane Gaubert; Ricardo David Katz; Axel Legay (Int. J. Algebra Comput., 2014)

Vertex adjacencies in the set covering polyhedron. - Néstor E. Aguilera; Ricardo D. Katz; Paola B. Tolomei (Discret. Appl. Math., 2017)

Condition numbers of stochastic mean payoff games and what they say about nonarchimedean semidefinite programming. - Xavier Allamigeon; Stéphane Gaubert; Ricardo D. Katz; Mateusz Skomra (CoRR, 2018)

Addendum to "Vertex adjacencies in the set covering polyhedron" [Discrete Appl. Math. 218(2017) 40-56]. - Néstor E. Aguilera; Ricardo D. Katz; Paola B. Tolomei (Discret. Appl. Math., 2018)

A Formalization of Convex Polyhedra Based on the Simplex Method. - Xavier Allamigeon; Ricardo D. Katz (J. Autom. Reason., 2019)

Universal Complexity Bounds Based on Value Iteration and Application to Entropy Games. - Xavier Allamigeon; Stéphane Gaubert; Ricardo D. Katz; Mateusz Skomra (ICALP, 2022)

Proof Automation in the Theory of Finite Sets and Finite Set Relation Algebra. - Maximiliano Cristiá; Ricardo D. Katz; Gianfranco Rossi (Comput. J., 2022)

Formalizing the Face Lattice of Polyhedra. - Xavier Allamigeon; Ricardo D. Katz; Pierre-Yves Strub (Log. Methods Comput. Sci., 2022)

Brewer-Nash Scrutinised: Mechanised Checking of Policies Featuring Write Revocation. - Alfredo Capozucca; Maximiliano Cristiá; Ross Horne; Ricardo Katz (CSF, 2024)

Rules governing the genetic code degeneracy/redundancy and spatial organization of the codon informative properties. - Melina Rapacioli; Ricardo Katz; Vladimir Flores (Frontiers Appl. Math. Stat., 2024)

Universal complexity bounds based on value iteration for stochastic mean payoff games and entropy games. - Xavier Allamigeon; Stéphane Gaubert; Ricardo D. Katz; Mateusz Skomra (Inf. Comput., 2025)

Thresholds for sensitive optimality and Blackwell optimality in stochastic games. - Stéphane Gaubert; Julien Grand-Clément; Ricardo D. Katz (CoRR, 2025)