|
Regular words | |||
|
Automata on linear orderings : complementation | |||
|
Weighted automata and weighted logic | |||
|
Combinatorics on words and complexity | |||
|
Looking back at process algebra | |||
|
The Burrows-Wheeler transform: from data compression to combinatorics on words | |||
|
Automata-theoretic methods for analyzing cryptographic protocols |