A complete system of identities for one-letter rational expressions with multiplicities in the tropical semiring

Axiomatizing Tropical Semirings

FoSSaCS '01 Proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures

Equational theories of tropical semirings

Theoretical Computer Science - Foundations of software science and computation structures

An extension theorem with an application to formal tree series

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)

A menagerie of non-finitely based process semantics over BPA* - from ready simulation to completed traces

Mathematical Structures in Computer Science

Deciding unambiguity and sequentiality from a finitely ambiguous max-plus automaton

Theoretical Computer Science - Developments in language theory

Axiomatizing rational power series over natural numbers

Information and Computation

Deciding the sequentiality of a finitely ambiguous max-plus automaton

DLT'03 Proceedings of the 7th international conference on Developments in language theory

The set of realizations of a max-plus linear sequence is semi-polyhedral

Journal of Computer and System Sciences