Ricardo Katz

13 papers A 1Journal 9Unranked 3
YearRankTypeTitle / Venue / Authors
2024 A conf
Brewer-Nash Scrutinised: Mechanised Checking of Policies Featuring Write Revocation.
CSF
Alfredo Capozucca, Maximiliano Cristiá, Ross Horne, Ricardo Katz
2024 J jnl
Brewer-Nash Scrutinised: Mechanised Checking of Policies featuring Write Revocation.
CoRR
Alfredo Capozucca, Maximiliano Cristiá, Ross Horne, Ricardo Katz
2024 J jnl
Rules governing the genetic code degeneracy/redundancy and spatial organization of the codon informative properties.
Frontiers Appl. Math. Stat.
Melina Rapacioli, Ricardo Katz, Vladimir Flores
2013 J jnl
Minimal external representations of tropical polyhedra.
J. Comb. Theory A
Xavier Allamigeon, Ricardo Katz
2012 J jnl
Tropical linear-fractional programming and parametric mean payoff games.
J. Symb. Comput.
Stéphane Gaubert, Ricardo Katz, Sergei Sergeev
2011 J jnl
The number of extreme points of tropical polyhedra.
J. Comb. Theory A
Xavier Allamigeon, Stéphane Gaubert, Ricardo Katz
2010 J jnl
Duality Between Invariant Spaces for Max-Plus Linear Discrete Event Systems.
SIAM J. Control. Optim.
Michael Di Loreto, Stéphane Gaubert, Ricardo Katz, Jean Jacques Loiseau
2010 — conf
Tropical linear programming and parametric mean payoff games.
WING@ETAPS/IJCAR
Stéphane Gaubert, Ricardo Katz, Sergei Sergeev
2010 J jnl
Tropical polar cones, hypergraph transversals, and mean payoff games
CoRR
Xavier Allamigeon, Stéphane Gaubert, Ricardo Katz
2006 — conf
Max-Plus Convex Geometry.
RelMiCS
Stephane Gaubert, Ricardo Katz
2006 J jnl
Reachability Problems for Products of Matrices in Semirings.
Int. J. Algebra Comput.
Stephane Gaubert, Ricardo Katz
2004 J jnl
Rational semimodules over the max-plus semiring and geometric approach to discrete event systems.
Kybernetika
Stéphane Gaubert, Ricardo Katz
2003 — conf
Reachability and Invariance Problems in Max-plus Algebra.
POSTA
Stephane Gaubert, Ricardo Katz