X. Allamigeon, S. Gaubert, and . Goubault, Inferring Min and Max Invariants Using Max-Plus Polyhedra, SAS'08, pp.189-204, 2008.
DOI : 10.1007/978-3-540-69166-2_13
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.139.5698

M. Akian, S. Gaubert, and A. Guterman, Linear independence over tropical semirings and beyond, Proc. of the International Conference on Tropical and Idempotent Mathematics, pp.1-38, 2009.
DOI : 10.1090/conm/495/09689
URL : http://arxiv.org/abs/0812.3496

M. Akian, S. Gaubert, and A. Guterman, TROPICAL POLYHEDRA ARE EQUIVALENT TO MEAN PAYOFF GAMES, International Journal of Algebra and Computation, vol.22, issue.01, 2009.
DOI : 10.1142/S0218196711006674
URL : https://hal.archives-ouvertes.fr/hal-00778078

X. Allamigeon, S. Gaubert, and E. Goubault, Computing the extreme points of tropical polyhedra, 2009.

X. Allamigeon, S. Gaubert, R. D. Katz, G. Butkovi?, and . Hegedüs, The number of extreme points of tropical polyhedra Eprint arXiv:math/0906.3492, accepted for publication in JCTA An elimination method for finding all solutions of the system of linear equations over an extremal algebra, BSS07] P. Butkovi?, H. Schneider, and S. Sergeev. Generators, extremals and bases of max cones, pp.103-127394, 1984.

P. Cousot, R. Cousot, G. Cohen, S. Gaubert, M. Mcgettrick et al., Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints Maxplus toolbox of scilab, Conference Record of the Fourth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages of Lecture Notes in Economics and Mathematical Systems, pp.238-252, 1977.

S. [. Cohen, J. P. Gaubert, G. Quadrat, S. Cohen, J. P. Gaubert et al., Max-plus algebra and system theory: where we are and where to go now Duality and separation theorem in idempotent semimodules Automatic discovery of linear restraints among variables of a program, Conference Record of the Fifth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp.207-219395, 1978.

M. D. Loreto, S. Gaubert, R. D. Katz, and J. Loiseau, Duality between invariant spaces for max-plus linear discrete event systems Eprint arXiv:0901.2915, Tropical polytopes and cellular resolutions. Experimental Mathematics, pp.1-27277, 2004.

K. Fukuda, A. Prodongau92-]-s, . Gaubert, . Gj-]-e, M. Gawrilow et al., Double description method revisited Théorie des systèmes linéaires dans les dio¨?desdio¨?des Max-plus convex geometry The Minkowski theorem for max-plus convex sets, Thèse, ´ Ecole des Mines de ParisGK09] S. Gaubert and R. Katz. Minimal half-spaces and external representation of tropical polyhedra, pp.91-111, 1992.

G. Gallo, G. Longo, S. Pallottino, and S. Nguyen, Directed hypergraphs and applications, Combinatorial and computational geometry Tropical convex hull computations Proc. of the International Conference on Tropical and Idempotent Mathematics, pp.177-201, 1993.
DOI : 10.1016/0166-218X(93)90045-P
URL : http://doi.org/10.1016/0166-218x(93)90045-p

M. Joswig, B. Sturmfels, J. D. Yukat07-]-r, . L. Katz-[-lms01-]-g, V. P. Litvinov et al., Affine buildings and tropical convexity Max-plus (A, B)-invariant spaces and control of timed discrete event systems Idempotent functional analysis: an algebraic approach The maximum numbers of faces of a convex polytope, Albanian J. Math. IEEE Trans. Aut. Control Math. Notes Mathematika, vol.1, issue.17, pp.187-211229, 1970.