Tero Harju
Professor emeritus
Department of Mathematics and Statistics harju@utu.fi +358 29 450 4305 +358 50 320 7954 Vesilinnantie 5 Turku |
Professor in mathematics
Discrete Mathematics: automata theory, combinatorics on words, graph theory
discrete mathematics, combinatorics on words, graph theory, automata theory,
decidability
- Undecidability of infinite post correspondence problem for instances of size 9 (2006)
- RAIRO: Informatique Théorique et Applications / RAIRO: Theoretical Informatics and Applications
- A characterization of periodicity of bi-infinite words (2005)
- Theoretical Computer Science
- Combinatorial models of gene assembly (2005)
- Lecture Notes in Computer ScienceTheoretical Computer Science
- Combinatorics on words - Preface (2005)
- (2005)
- Theoretical Computer Science
- Equality sets for recursively enumerable languages (2005)
- RAIRO: Informatique Théorique et Applications / RAIRO: Theoretical Informatics and Applications
- Equality sets of prefix morphisms and regular star languages (2005)
- Information Processing LettersLecture Notes in Computer Science
- On the equation x(k) = z(1)(k1) z(2) (k2)...z(n)(kn) in a free semigroup (2005)
- Theoretical Computer Science
- Parallelism in gene assembly (2005) Proceedings of the 10th International Meeting on DNA-based computers DNA 10 Harju Tero, Li Chang, Petre Ion, Rozenberg Grzegorz
- Parallelism in gene assembly (2005)



