Tero
Harju
matematiikka
Professor emeritus
Linkit
Asiantuntijuusalueet
Matematiikan professori
Tutkimus
diskreetti matematiikka, sanojen kombinatoriikka, graafiteoria, automaattien teoria, ratkeavuus
Julkaisut
On Shuffling a Word with its Letter-to-Letter Substitution (2020)
Fundamenta Informaticae
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
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 square-free arithmetic progressions in infinite words (2019)
Theoretical Computer Science
(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 fixed points of rational transductions (2018)
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))
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))
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))