| Publication | Date of Publication | Type |
|---|
| Universal complexity bounds based on value iteration and application to entropy games | 2024-06-24 | Paper |
Formalizing the Face Lattice of Polyhedra
Automated Reasoning | 2022-11-09 | Paper |
Formalizing the face lattice of polyhedra
(available as arXiv preprint) | 2022-08-02 | Paper |
| Formalizing the face lattice of polyhedra | 2022-08-02 | Paper |
Formalizing the Face Lattice of Polyhedra
(available as arXiv preprint) | 2021-04-30 | Paper |
A formalization of convex polyhedra based on the simplex method
Journal of Automated Reasoning | 2019-08-21 | Paper |
Addendum to: ``Vertex adjacencies in the set covering polyhedron
Discrete Applied Mathematics | 2018-05-24 | Paper |
A formalization of convex polyhedra based on the simplex method
Lecture Notes in Computer Science | 2018-01-04 | Paper |
Tropicalization of facets of polytopes
Linear Algebra and its Applications | 2017-08-28 | Paper |
Tropicalization of facets of polytopes
Linear Algebra and its Applications | 2017-08-28 | Paper |
Max-Plus $(A,B)$-Invariant Spaces and Control of Timed Discrete-Event Systems
IEEE Transactions on Automatic Control | 2017-07-27 | Paper |
Vertex adjacencies in the set covering polyhedron
Discrete Applied Mathematics | 2016-12-28 | Paper |
Tropical Fourier-Motzkin elimination, with an application to real-time verification
International Journal of Algebra and Computation | 2014-10-15 | Paper |
Characterization of tropical hemispaces by \((P, R)\)-decompositions
Linear Algebra and its Applications | 2014-04-02 | Paper |
Minimal external representations of tropical polyhedra
Journal of Combinatorial Theory. Series A | 2013-04-15 | Paper |
Tropical linear-fractional programming and parametric mean payoff games
Journal of Symbolic Computation | 2012-07-13 | Paper |
| Rational semimodules over the max-plus semiring and geometric approach to discrete event systems. | 2012-04-23 | Paper |
Rational semimodules over the max-plus semiring and geometric approach to discrete event systems.
(available as arXiv preprint) | 2012-04-23 | Paper |
| Rational semimodules over the max-plus semiring and geometric approach to discrete event systems. | 2012-04-23 | Paper |
On commuting matrices in max algebra and in classical nonnegative algebra
Linear Algebra and its Applications | 2011-12-08 | Paper |
Tropical polar cones, hypergraph transversals, and mean payoff games
Linear Algebra and its Applications | 2011-07-13 | Paper |
Minimal half-spaces and external representation of tropical polyhedra
Journal of Algebraic Combinatorics | 2011-03-31 | Paper |
Duality between invariant spaces for max-plus linear discrete event systems
SIAM Journal on Control and Optimization | 2011-03-21 | Paper |
The number of extreme points of tropical polyhedra
Journal of Combinatorial Theory. Series A | 2011-01-07 | Paper |
The tropical analogue of polar cones
Linear Algebra and its Applications | 2009-07-02 | Paper |
Max-Plus Convex Geometry
Relations and Kleene Algebra in Computer Science | 2008-04-24 | Paper |
The Minkowski theorem for max-plus convex sets
Linear Algebra and its Applications | 2007-03-09 | Paper |
REACHABILITY PROBLEMS FOR PRODUCTS OF MATRICES IN SEMIRINGS
International Journal of Algebra and Computation | 2006-08-14 | Paper |
| scientific article; zbMATH DE number 2144766 (Why is no real title available?) | 2005-03-14 | Paper |
