Rational Transformations of Formal Power Series
ICALP '01 Proceedings of the 28th International Colloquium on Automata, Languages and Programming,
Equational theories of tropical semirings
Theoretical Computer Science - Foundations of software science and computation structures
Spectral theorem for convex monotone homogeneous maps, and ergodic control
Nonlinear Analysis: Theory, Methods & Applications
Weak bisimulation for (max/+) automata and related models
Journal of Automata, Languages and Combinatorics - Special issue: Selected papers of the workshop weighted automata: Theory and applications (Dresden University of Technology (Germany), March 4-8, 2002)
On transformations of formal power series
Information and Computation
Measuring the performance of asynchronous systems with PAFAS
Theoretical Computer Science - Process algebra
Eigenvectors of interval matrices over max-plus algebra
Discrete Applied Mathematics - Special issue: Max-algebra
Inferring Min and Max Invariants Using Max-Plus Polyhedra
SAS '08 Proceedings of the 15th international symposium on Static Analysis
Arctic Termination ...Below Zero
RTA '08 Proceedings of the 19th international conference on Rewriting Techniques and Applications
Enhancing constraints manipulation in semiring-based formalisms
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Eigenvectors of interval matrices over max-plus algebra
Discrete Applied Mathematics
Galois connections between semimodules and applications in data mining
ICFCA'07 Proceedings of the 5th international conference on Formal concept analysis
Max/plus tree automata for termination of term rewriting
Acta Cybernetica
A tag machine based performance evaluation method for job-shop schedules
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
The number of extreme points of tropical polyhedra
Journal of Combinatorial Theory Series A
Reducible Spectral Theory with Applications to the Robustness of Matrices in Max-Algebra
SIAM Journal on Matrix Analysis and Applications
The set of realizations of a max-plus linear sequence is semi-polyhedral
Journal of Computer and System Sciences
Minimal half-spaces and external representation of tropical polyhedra
Journal of Algebraic Combinatorics: An International Journal
Performance of pipelined asynchronous systems
FORMATS'05 Proceedings of the Third international conference on Formal Modeling and Analysis of Timed Systems
Measuring and synthesizing systems in probabilistic environments
CAV'10 Proceedings of the 22nd international conference on Computer Aided Verification
Tropical linear-fractional programming and parametric mean payoff games
Journal of Symbolic Computation
Hi-index | 0.00 |