publication venue for
- Calculi for symmetric queries. 105:54-86. 2019
- Classifying invariant structures of step traces. 104:297-322. 2019
- Unshuffling a square is NP-hard. 80:766-776. 2014
- Maximal repetitions in strings. 74:796-807. 2008
- 2-Testability and Relabelings Produce Everything. 56:253-262. 1998
- Transition systems, metric spaces and ready sets in the semantics of uniform concurrency. 36:158-224. 1988
- Pumping lemmas for term languages. 17:319-330. 1978
- Erratum. 14:369-369. 1977
- A generalized approach to formal languages. 8:409-439. 1974