Ricardo D. Katz

Joined

May 2025

Names

Ricardo D. Katz (Preferred)

,

Ricardo David Katz

,

Ricardo Katz

Emails

****@cifasis-conicet.gov.ar (Confirmed)

,

****@fceia.unr.edu.ar (Confirmed)

Personal Links

Career & Education History

Researcher

CIFASIS, Consejo Nacional de Investigaciones Científicas y Técnicas (conicet.gov.ar)

2005 – 2025

Advisors, Relations & Conflicts

No relations added

Expertise

No areas of expertise listed

Publications

Thresholds for sensitive optimality and Blackwell optimality in stochastic games
Stephane Gaubert, Julien Grand-Clément, Ricardo D. Katz
- NeurIPS 2025 poster
- Readers: Everyone
Brewer-Nash Scrutinised: Mechanised Checking of Policies Featuring Write Revocation
Alfredo Capozucca, Maximiliano Cristiá, Ross Horne, Ricardo Katz
- CSF 2024
- Readers: Everyone
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
- Readers: Everyone
Brewer-Nash Scrutinised: Mechanised Checking of Policies featuring Write Revocation
Alfredo Capozucca, Maximiliano Cristiá, Ross Horne, Ricardo Katz
- CoRR 2024
- Readers: Everyone
Universal Complexity Bounds Based on Value Iteration and Application to Entropy Games
Xavier Allamigeon, Stéphane Gaubert, Ricardo D. Katz, Mateusz Skomra
- ICALP 2022
- Readers: Everyone
Proof Automation in the Theory of Finite Sets and Finite Set Relation Algebra
Maximiliano Cristiá, Ricardo D. Katz, Gianfranco Rossi
- Comput. J. 2022
- Readers: Everyone
Formalizing the Face Lattice of Polyhedra
Xavier Allamigeon, Ricardo D. Katz, Pierre-Yves Strub
- Log. Methods Comput. Sci. 2022
- Readers: Everyone

View all 30 publications

Co-Authors