Ricardo Katz

According to our database, Ricardo Katz authored at least 21 papers between 2003 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Rules governing the genetic code degeneracy/redundancy and spatial organization of the codon informative properties.

Melina Rapacioli, Ricardo Katz, Vladimir Flores

Frontiers Appl. Math. Stat., 2024

Brewer-Nash Scrutinised: Mechanised Checking of Policies Featuring Write Revocation.

Alfredo Capozucca, Maximiliano Cristiá, Ross Horne, Ricardo Katz

Proceedings of the 37th IEEE Computer Security Foundations Symposium, 2024

2022

Formalizing the Face Lattice of Polyhedra.

Xavier Allamigeon, Ricardo D. Katz, Pierre-Yves Strub

Log. Methods Comput. Sci., 2022

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

Maximiliano Cristiá, Ricardo D. Katz, Gianfranco Rossi

Comput. J., 2022

Universal Complexity Bounds Based on Value Iteration and Application to Entropy Games.

Xavier Allamigeon, Stéphane Gaubert, Ricardo D. Katz, Mateusz Skomra

Proceedings of the 49th International Colloquium on Automata, Languages, and Programming, 2022

2019

A Formalization of Convex Polyhedra Based on the Simplex Method.

Xavier Allamigeon, Ricardo D. Katz

J. Autom. Reason., 2019

2018

Addendum to "Vertex adjacencies in the set covering polyhedron" [Discrete Appl. Math. 218(2017) 40-56].

Néstor E. Aguilera, Ricardo D. Katz, Paola B. Tolomei

Discret. Appl. Math., 2018

Condition numbers of stochastic mean payoff games and what they say about nonarchimedean semidefinite programming.

Xavier Allamigeon, Stéphane Gaubert, Ricardo D. Katz, Mateusz Skomra

CoRR, 2018

2017

Vertex adjacencies in the set covering polyhedron.

Néstor E. Aguilera, Ricardo D. Katz, Paola B. Tolomei

Discret. Appl. Math., 2017

2014

Tropical Fourier-Motzkin elimination, with an application to real-time verification.

Xavier Allamigeon, Uli Fahrenberg, Stéphane Gaubert, Ricardo David Katz, Axel Legay

Int. J. Algebra Comput., 2014

2013

Minimal external representations of tropical polyhedra.

Xavier Allamigeon, Ricardo Katz

J. Comb. Theory A, 2013

2012

Tropical linear-fractional programming and parametric mean payoff games.

Stéphane Gaubert, Ricardo Katz, Sergei Sergeev

J. Symb. Comput., 2012

2011

The number of extreme points of tropical polyhedra.

Xavier Allamigeon, Stéphane Gaubert, Ricardo Katz

J. Comb. Theory A, 2011

2010

Duality Between Invariant Spaces for Max-Plus Linear Discrete Event Systems.

Michael Di Loreto, Stéphane Gaubert, Ricardo Katz, Jean Jacques Loiseau

SIAM J. Control. Optim., 2010

Tropical polar cones, hypergraph transversals, and mean payoff games

Xavier Allamigeon, Stéphane Gaubert, Ricardo Katz

CoRR, 2010

Tropical linear programming and parametric mean payoff games.

Stéphane Gaubert, Ricardo Katz, Sergei Sergeev

Proceedings of the Second International Workshop on Invariant Generation, 2010

2007

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

Ricardo David Katz

IEEE Trans. Autom. Control., 2007

2006

Reachability Problems for Products of Matrices in Semirings.

Stephane Gaubert, Ricardo Katz

Int. J. Algebra Comput., 2006

Max-Plus Convex Geometry.

Stephane Gaubert, Ricardo Katz

Proceedings of the Relations and Kleene Algebra in Computer Science, 2006

2004

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

Stéphane Gaubert, Ricardo Katz

Kybernetika, 2004

2003

Reachability and Invariance Problems in Max-plus Algebra.

Stephane Gaubert, Ricardo Katz

Proceedings of the Positive Systems, 2003