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
2 of 4
- Similarity relations on words (2016) Combinatorics, Words and Symbolic Dynamics Vesa Halava, Tero Harju, Tomi Kärki
- A note on short palindromes in square-free words (2015)
- Theoretical Computer Science
- On generating binary words palindromically (2015)
- Journal of Combinatorial Theory, Series A
- On the n-permutation Post Correspondence Problem (2015)
- Theoretical Computer Science
- Square-free shuffles of words (2015)
- Theoretical Computer Science
- Weighted Automata on Infinite Words in the Context of Attacker-Defender Games (2015)
- Lecture Notes in Computer Science
- Minimal Similarity Relations for Square-Free Words (2014) Discrete Mathematics and Computer Science. In Memoriam Alexandru Mateescu (1952-2005) T. Harju, T. Kärki
- Undecidability of the Universality Problem for 3-State Integer Weighted Büchi Automata (2014)
- TUCS Publication Series
- Weighted Automata on Infinite Words in the Context of Attacker-Defender Games (2014)
- TUCS Publication Series
- Word problem for deterministic and reversible semi-Thue systems (2014)
- Semigroup Forum
- A note on square-free shuffles of words (2013)
- Lecture Notes in Computer Science
- Composition and orbits of language operations: finiteness and upper bounds (2013)
- International Journal of Computer Mathematics
- New proof for the undecidability of the circular PCP (2013)
- Acta Informatica
- On n-permutation Post Correspondence Problem (2013) Vesa Halava, Tero Harju, Mari Huova
- Computational gene assembly in ciliates (2012) Brijder Robert, Daley Mark, Harju Tero, Jonoska Natasha, Petre Ion, Rozenberg Grzegorz
- Computational Nature of Gene Assembly in Ciliates (2012) Handbook of Natural Computing, volume 2 (Molecular Computation) Brijder Robert, Harju Tero, Jonoska Natasha, Petre Ion, Rozenberg Grzegorz
- Kuratowski closure operations on languages (2012)
- TUCS Lecture Notes
- New Proof for the Undecidability of the Circular PCP (2012)
- TUCS Publication Series
- Pivots, determinants, and perfect matchings of graphs (2012)
- Theoretical Computer Science
- Simple gene assembly as a rewriting of directed overlap-inclusion graphs (2012)
- Theoretical Computer Science
UTU Research Portal