1. Tropical Fourier–Motzkin elimination, with an application to real-time verification;Allamigeon;Internat. J. Algebra Comput.,2014
2. Synchronization and Linearity;Baccelli,1992
3. Combinatorial Matrix Theory;Brualdi,1991
4. Max-Linear Systems: Theory and Algorithms;Butkovič,2010
5. Analyse du comportement périodique de systèmes de production par la théorie des dioïdes;Cohen,1983