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

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

International Colloquium on Automata, Languages and Programming (ICALP)

Lugar: Paris; Año: 2022;

XAVIER ALLAMIGEON; RICARDO D. KATZ; PIERRE YVES STRUB

Formalizing the Face Lattice of Polyhedra

10th International Joint Conference on Automated Reasoning (IJCAR 2020)

Lugar: Paris; Año: 2020;

MAURICIO SALICHS; DANIEL SEVERÍN; RICARDO D. KATZ

Formalización de aspectos de la Irredundancia Superior de Máximo Peso

LXIX Reunión anual de Comunicaciones Científicas de la Unión Matemática Argentina (virtUMA 2020)

Año: 2020;

XAVIER ALLAMIGEON; STÉPHANE GAUBERT; RICARDO KATZ; MATEUSZ SKOMRA

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

The 23rd International Symposium on Mathematical Theory of Networks and Systems

Lugar: Hong Kong; Año: 2018;

XAVIER ALLAMIGEON; RICARDO D. KATZ

A Formalization of Convex Polyhedra Based on the Simplex Method

8th International Conference on Interactive Theorem Proving

Lugar: Brasilia; Año: 2017;

XAVIER ALLAMIGEON; RICARDO D. KATZ

Relación entre las descripciones externas de politopos tropicales y clásicos

LXIV Reunión anual de Comunicaciones Científicas de la Unión Matemática Argentina

Lugar: Santa Fe; Año: 2015;

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

El problema de adyacencia en el poliedro de cubrimiento

LXIII Reunión anual de Comunicaciones Científicas de la Unión Matemática Argentina

Lugar: San Luis; Año: 2014;

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

Tropical linear programming and parametric mean payoff games

Third International Workshop on Invariant Generation (WING 2010) associated with the International Joint Conference on Automated Reasoning (IJCAR 2010)

Lugar: Edinburgh, United Kingdom; Año: 2010;

GAUBERT STÉPHANE; KATZ RICARDO

Max-plus convex geometry

9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra (RelMiCS/AKA 2006)

Lugar: Manchester; Año: 2006;

GAUBERT STÉPHANE; KATZ RICARDO

Reachability and invariance problems in max-plus algebra

First Multidisciplinary International Symposium on Positive Systems: Theory and Applications (POSTA 2003)

Lugar: Roma, Italia.; Año: 2003;