Ricardo D. Katz

From MaRDI portal
Person:435970

Available identifiers

zbMath Open katz.ricardo-davidMaRDI QIDQ435970

List of research outcomes





PublicationDate of PublicationType
Universal complexity bounds based on value iteration and application to entropy games2024-06-24Paper
Formalizing the Face Lattice of Polyhedra2022-11-09Paper
https://portal.mardi4nfdi.de/entity/Q50941382022-08-02Paper
Formalizing the Face Lattice of Polyhedra2021-04-30Paper
A formalization of convex polyhedra based on the simplex method2019-08-21Paper
Addendum to: ``Vertex adjacencies in the set covering polyhedron2018-05-24Paper
A formalization of convex polyhedra based on the simplex method2018-01-04Paper
Tropicalization of facets of polytopes2017-08-28Paper
Max-Plus $(A,B)$-Invariant Spaces and Control of Timed Discrete-Event Systems2017-07-27Paper
Vertex adjacencies in the set covering polyhedron2016-12-28Paper
Tropical Fourier-Motzkin elimination, with an application to real-time verification2014-10-15Paper
Characterization of tropical hemispaces by \((P, R)\)-decompositions2014-04-02Paper
Minimal external representations of tropical polyhedra2013-04-15Paper
Tropical linear-fractional programming and parametric mean payoff games2012-07-13Paper
https://portal.mardi4nfdi.de/entity/Q53897482012-04-23Paper
On commuting matrices in max algebra and in classical nonnegative algebra2011-12-08Paper
Tropical polar cones, hypergraph transversals, and mean payoff games2011-07-13Paper
Minimal half-spaces and external representation of tropical polyhedra2011-03-31Paper
Duality Between Invariant Spaces for Max-Plus Linear Discrete Event Systems2011-03-21Paper
The number of extreme points of tropical polyhedra2011-01-07Paper
The tropical analogue of polar cones2009-07-02Paper
Max-Plus Convex Geometry2008-04-24Paper
The Minkowski theorem for max-plus convex sets2007-03-09Paper
REACHABILITY PROBLEMS FOR PRODUCTS OF MATRICES IN SEMIRINGS2006-08-14Paper
https://portal.mardi4nfdi.de/entity/Q46570462005-03-14Paper

Research outcomes over time

This page was built for person: Ricardo D. Katz