Tero
Harju
Mathematics
Professor emeritus
Discrete Mathematics: automata theory, combinatorics on words, graph theory
Links
Areas of expertise
Professor in mathematics
Biography
users.utu.fi/harju
Research
discrete mathematics, combinatorics on words, graph theory, automata theory,
decidability
Publications
A note on short palindromes in square-free words (2015)
Theoretical Computer Science
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
On the n-permutation Post Correspondence Problem (2015)
Theoretical Computer Science
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
Square-free shuffles of words (2015)
International Conference on WORDS, Theoretical Computer Science
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
Weighted Automata on Infinite Words in the Context of Attacker-Defender Games (2015)
Computability in Europe, Lecture Notes in Computer Science
(Vertaisarvioitu artikkeli konferenssijulkaisussa (A4))
Word problem for deterministic and reversible semi-Thue systems (2014)
Semigroup Forum
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
Weighted Automata on Infinite Words in the Context of Attacker-Defender Games (2014)
11th Conference on computability in Europe, CiE 2015, TUCS Publication Series
(Kirjoitus tai data-artikkeli tieteellisessä aikakauslehdessä (B1))
Minimal Similarity Relations for Square-Free Words (2014)
(Vertaisarvioitu artikkeli kokoomateoksessa (A3))Undecidability of the Universality Problem for 3-State Integer Weighted Büchi Automata (2014)
TUCS Publication Series
(Kirjoitus tai data-artikkeli tieteellisessä aikakauslehdessä (B1))
Composition and orbits of language operations: finiteness and upper bounds (2013)
International Journal of Computer Mathematics
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))