Max-Plus (A,B)-Invariant Spaces and Control of Timed Discrete-Event Systems von Katz, R.D.

Volltext

Universal complexity bounds based on value iteration for stochastic mean payoff games and entropy games von Allamigeon, Xavier, Gaubert, Stéphane, Katz, Ricardo D., Skomra, Mateusz

Volltext

A Formalization of Convex Polyhedra Based on the Simplex Method von Allamigeon, Xavier, Katz, Ricardo D.

Volltext

Proof Automation in the Theory of Finite Sets and Finite Set Relation Algebra von Cristiá, Maximiliano, Katz, Ricardo D, Rossi, Gianfranco

Volltext

Tropicalization of facets of polytopes von Allamigeon, Xavier, Katz, Ricardo D.

Volltext

Rules governing the genetic code degeneracy/redundancy and spatial organization of the codon informative properties von Rapacioli, Melina, Katz, Ricardo, Flores, Vladimir

Volltext

Formalizing the Face Lattice of Polyhedra von Allamigeon, Xavier, Katz, Ricardo D., Strub, Pierre-Yves

Volltext

The Minkowski theorem for max-plus convex sets von Gaubert, Stéphane, Katz, Ricardo D.

Volltext

Vertex adjacencies in the set covering polyhedron von Aguilera, Néstor E., Katz, Ricardo D., Tolomei, Paola B.

Volltext

Addendum to “Vertex adjacencies in the set covering polyhedron” [Discrete Appl. Math. 218 (2017) 40–56] von Aguilera, Néstor E., Katz, Ricardo D., Tolomei, Paola B.

Volltext

Duality Between Invariant Spaces for Max-Plus Linear Discrete Event Systems von Di Loreto, Michael, Gaubert, Stéphane, Katz, Ricardo D., Loiseau, Jean-Jacques

Volltext

On commuting matrices in max algebra and in classical nonnegative algebra von Katz, Ricardo D., Schneider, Hans, Sergeev, Sergeı˘

Volltext

Minimal half-spaces and external representation of tropical polyhedra von Gaubert, Stéphane, Katz, Ricardo D.

Volltext

On the maximum weighted irredundant set problem von Katz, Ricardo D., Severín, Daniel

Volltext

Formalizing the Face Lattice of Polyhedra von Allamigeon, Xavier, Katz, Ricardo D., Strub, Pierre-Yves

Volltext

A Formalization of Convex Polyhedra Based on the Simplex Method von Allamigeon, Xavier, Katz, Ricardo D.

Volltext

Minimal external representations of tropical polyhedra von Allamigeon, Xavier, Katz, Ricardo D.

Volltext

Tropical linear-fractional programming and parametric mean payoff games von Gaubert, Stéphane, Katz, Ricardo D., Sergeev, Sergeĭ

Volltext

Tropical polar cones, hypergraph transversals, and mean payoff games von Allamigeon, Xavier, Gaubert, Stéphane, Katz, Ricardo D.

Volltext

Max-Plus Convex Geometry von Gaubert, Stéphane, Katz, Ricardo

Volltext