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
On the Steps of Emil Post: from Normal Systems to the Correspondence Decision Problem (2020)
Acta Cybernetica
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
On Shuffling a Word with its Letter-to-Letter Substitution (2020)
Fundamenta Informaticae
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
Some further results on squarefree arithmetic progressions in infinite words (2019)
Theoretical Computer Science
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
On square-free arithmetic progressions in infinite words (2019)
Theoretical Computer Science
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
On fixed points of rational transductions (2018)
Theoretical Computer Science
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
Weighted automata on infinite words in the context of Attacker-Defender games (2017)
Information and Computation
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
Walks on tilings of polygons (2017)
Theoretical Computer Science
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
A new proof for undecidability of the bi-infinite post correspondence problem (2017)
Fundamenta Informaticae
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
On a question of Hof, Knill and Simon on palindromic substitutive systems (2016)
Monatshefte für Mathematik
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))