1. Computational techniques for reachability analysis of max-plus-linear systems;Adzkiya;Automatica,2015
2. Static analysis of memory manipulations by abstract interpretation - Algorithmics of tropical polyhedra, and application to abstract interpretation;Allamigeon,2009
3. Tropical polyhedra library;Allamigeon,2009
4. Computing the extreme points of tropical polyhedra;Allamigeon,2009
5. The tropical double description method;Allamigeon;Leibniz International Proceedings in Informatics, LIPIcs,2010