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 bi-infinite and conjugate post correspondence problems (2023)
RAIRO: Informatique Théorique et Applications / RAIRO: Theoretical Informatics and Applications
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
A Note on Squares in Binary Words (2023)
International Journal of Foundations of Computer Science
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
Critical factorisation in square-free words (2022)
RAIRO: Informatique Théorique et Applications / RAIRO: Theoretical Informatics and Applications
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
Avoiding square-free words on free groups (2022)
Theoretical Computer Science
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
Integer Weighted Automata on Infinite Words (2022)
International Journal of Foundations of Computer Science
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
Integer Weighted Automata on Infinite Words (2021)
International Conference on Developments in Language Theory, Lecture Notes in Computer Science
(Vertaisarvioitu artikkeli konferenssijulkaisussa (A4))
Disposability in square-free words (2021)
Theoretical Computer Science
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
Finite transducers and rational transductions (2021)
(Vertaisarvioitu artikkeli kokoomateoksessa (A3))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))