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