Ricardo D. Katz

Available identifiers

zbMath Open katz.ricardo-davidMaRDI QIDQ435970

List of research outcomes

Publication	Date of Publication	Type
Universal complexity bounds based on value iteration and application to entropy games	2024-06-24	Paper
Formalizing the Face Lattice of Polyhedra	2022-11-09	Paper
https://portal.mardi4nfdi.de/entity/Q5094138	2022-08-02	Paper
Formalizing the Face Lattice of Polyhedra	2021-04-30	Paper
A formalization of convex polyhedra based on the simplex method	2019-08-21	Paper
Addendum to: ``Vertex adjacencies in the set covering polyhedron	2018-05-24	Paper
A formalization of convex polyhedra based on the simplex method	2018-01-04	Paper
Tropicalization of facets of polytopes	2017-08-28	Paper
Max-Plus $(A,B)$-Invariant Spaces and Control of Timed Discrete-Event Systems	2017-07-27	Paper
Vertex adjacencies in the set covering polyhedron	2016-12-28	Paper
Tropical Fourier-Motzkin elimination, with an application to real-time verification	2014-10-15	Paper
Characterization of tropical hemispaces by \((P, R)\)-decompositions	2014-04-02	Paper
Minimal external representations of tropical polyhedra	2013-04-15	Paper
Tropical linear-fractional programming and parametric mean payoff games	2012-07-13	Paper
https://portal.mardi4nfdi.de/entity/Q5389748	2012-04-23	Paper
On commuting matrices in max algebra and in classical nonnegative algebra	2011-12-08	Paper
Tropical polar cones, hypergraph transversals, and mean payoff games	2011-07-13	Paper
Minimal half-spaces and external representation of tropical polyhedra	2011-03-31	Paper
Duality Between Invariant Spaces for Max-Plus Linear Discrete Event Systems	2011-03-21	Paper
The number of extreme points of tropical polyhedra	2011-01-07	Paper
The tropical analogue of polar cones	2009-07-02	Paper
Max-Plus Convex Geometry	2008-04-24	Paper
The Minkowski theorem for max-plus convex sets	2007-03-09	Paper
REACHABILITY PROBLEMS FOR PRODUCTS OF MATRICES IN SEMIRINGS	2006-08-14	Paper
https://portal.mardi4nfdi.de/entity/Q4657046	2005-03-14	Paper

Research outcomes over time

This page was built for person: Ricardo D. Katz