KATZ, RICARDO D.; DANIEL SEVERÍN

On the maximum weighted irredundant set problem

REVISTA DE LA UNIóN MATEMáTICA ARGENTINA; Lugar: Bahia Blanca; Año: 2023

ALLAMIGEON, XAVIER; KATZ, RICARDO D.; STRUB, PIERRE-YVES

Formalizing the face lattice of polyhedra

LOGICAL METHODS IN COMPUTER SCIENCE (LMCS); Año: 2022 vol. 18

CRISTIÁ, MAXIMILIANO; KATZ, RICARDO D; ROSSI, GIANFRANCO

Proof Automation in the Theory of Finite Sets and Finite Set Relation Algebra

COMPUTER JOURNAL; Año: 2021

XAVIER ALLAMIGEON; RICARDO D. KATZ

A Formalization of Convex Polyhedra based on the Simplex Method

JOURNAL OF AUTOMATED REASONING; Lugar: Berlin; Año: 2019 vol. 63 p. 323 - 345

NÉSTOR E. AGUILERA; RICARDO D. KATZ; PAOLA B. TOLOMEI

Addendum to Vertex adjacencies in the set covering polyhedron

DISCRETE APPLIED MATHEMATICS; Lugar: Amsterdam; Año: 2018 vol. 243 p. 311 - 315

XAVIER ALLAMIGEON; RICARDO D. KATZ

Tropicalization of facets of polytopes

LINEAR ALGEBRA AND ITS APPLICATIONS; Lugar: Amsterdam; Año: 2017 vol. 523 p. 79 - 101

NÉSTOR E. AGUILERA; RICARDO D. KATZ; PAOLA B. TOLOMEI

Vertex adjacencies in the set covering polyhedron

DISCRETE APPLIED MATHEMATICS; Lugar: Amsterdam; Año: 2017 vol. 218 p. 40 - 56

RICARDO D. KATZ; VIOREL NITICA; SERGEI SERGEEV

Characterization of tropical hemispaces by (P,R)-decompositions

LINEAR ALGEBRA AND ITS APPLICATIONS; Año: 2014 vol. 440 p. 131 - 163

XAVIER ALLAMIGEON; ULI FAHRENBERG; STÉPHANE GAUBERT; RICARDO D. KATZ; AXEL LEGAY

Tropical Fourier-Motzkin Elimination, with an Application to Real-Time Verification

INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION; Lugar: Singapur; Año: 2014 vol. 24 p. 569 - 607

XAVIER ALLAMIGEON; RICARDO D. KATZ

Minimal external representations of tropical polyhedra

JOURNAL OF COMBINATORIAL THEORY SERIES A; Lugar: Amsterdam; Año: 2013 vol. 120 p. 907 - 940

RICARDO D. KATZ; HANS SCHNEIDER; SERGEI SERGEEV

On commuting matrices in Max algebra and in classical nonnegative algebra

LINEAR ALGEBRA AND ITS APPLICATIONS; Año: 2012 vol. 436 p. 276 - 292

STÉPHANE GAUBERT; RICARDO D. KATZ; SERGEI SERGEEV

Tropical linear-fractional programming and parametric mean payoff games

JOURNAL OF SYMBOLIC COMPUTATION; Año: 2012 vol. 47 p. 1447 - 1478

XAVIER ALLAMIGEON; STÉPHANE GAUBERT; RICARDO D. KATZ

Tropical polar cones, hypergraph transversals, and mean payoff games

LINEAR ALGEBRA AND ITS APPLICATIONS; Año: 2011 vol. 435 p. 1549 - 1574

XAVIER ALLAMIGEON; STÉPHANE GAUBERT; RICARDO D. KATZ

The number of extreme points of tropical polyhedra

JOURNAL OF COMBINATORIAL THEORY SERIES A; Año: 2011 vol. 118 p. 162 - 189

STÉPHANE GAUBERT; RICARDO D. KATZ

Minimal half-spaces and external representation of tropical polyhedra

JOURNAL OF ALGEBRAIC COMBINATORICS; Año: 2011 vol. 33 p. 325 - 348

MICHAEL DI LORETO; STÉPHANE GAUBERT; RICARDO D. KATZ; JEAN JACQUES LOISEAU

Duality between invariant spaces for max-plus linear discrete event systems

SIAM JOURNAL ON CONTROL AND OPTIMIZATION; Año: 2010 vol. 48 p. 5606 - 5628

STÉPHANE GAUBERT; RICARDO D. KATZ

The tropical analogue of polar cones

LINEAR ALGEBRA AND ITS APPLICATIONS; Año: 2008 vol. 431 p. 608 - 625

STÉPHANE GAUBERT; RICARDO D. KATZ

The Minkowski theorem for max-plus convex sets

LINEAR ALGEBRA AND ITS APPLICATIONS; Año: 2007 vol. 421 p. 356 - 369

RICARDO DAVID KATZ

Max-plus (A,B)-invariant spaces and control of timed discrete event systems

IEEE TRANSACTIONS ON AUTOMATIC CONTROL; Año: 2007 vol. 52 p. 229 - 241

STÉPHANE GAUBERT; RICARDO D. KATZ

Reachability problems for products of matrices in semirings

INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION; Año: 2006 vol. 16 p. 603 - 627

STÉPHANE GAUBERT; RICARDO D. KATZ

Rational semimodules over the max-plus semiring and geometric approach to discrete event systems

KYBERNETIKA; Año: 2004 vol. 40 p. 153 - 180