Professor emeritus Tero Harju - UTU Research Portal

Tero Harju
Professor emeritus

Mathematics (Department of Mathematics and Statistics)

Department of Mathematics and Statistics

harju@utu.fi

+358 29 450 4305

+358 50 320 7954

Vesilinnantie 5

Turku

: https://orcid.org/0000-0002-9640-6309

Professor in mathematics

Discrete Mathematics: automata theory, combinatorics on words, graph theory

users.utu.fi/harju

discrete mathematics, combinatorics on words, graph theory, automata theory,
decidability

1 of 4

A simple undecidable problem for free groups (2024)
- Theoretical Computer Science
Harju Tero
Decision Problems on Copying and Shuffling (2024)
- Fundamenta Informaticae
Halava, Vesa; Harju, Tero; Nowotka, Dirk; Sahla, Esa
A Note on Squares in Binary Words (2023)
- International Journal of Foundations of Computer Science
Harju Tero
Integer Weighted Automata on Infinite Words (2023)
- International Journal of Foundations of Computer Science
Halava Vesa, Harju Tero, Niskanen Reino, Potapov Igor
On bi-infinite and conjugate post correspondence problems (2023)
- RAIRO: Informatique Théorique et Applications / RAIRO: Theoretical Informatics and Applications
Finkel Olivier, Halava Vesa, Harju Tero, Sahla Esa
Avoiding square-free words on free groups (2022)
- Theoretical Computer Science
Badkobeh Golnaz, Harju Tero, Ochem Pascal, Rosenfeld Matthieu
Critical factorisation in square-free words (2022)
- RAIRO: Informatique Théorique et Applications / RAIRO: Theoretical Informatics and Applications
Harju Tero
Disposability in square-free words (2021)
- Theoretical Computer Science
Tero Harju
Finite transducers and rational transductions (2021) Handbook of Automata Theory: Volume I. Theoretical Foundations Harju Tero, Karhumäki Juhani
Integer Weighted Automata on Infinite Words (2021)
- Lecture Notes in Computer Science
Developments in Language Theory: 25th International Conference, DLT 2021, Porto, Portugal, August 16–20, 2021, Proceedings Halava Vesa, Harju Tero, Niskanen Reino, Potapov Igor
On Shuffling a Word with its Letter-to-Letter Substitution (2020)
- Fundamenta Informaticae
Halava Vesa, Harju Tero, Sahla Esa
On the Steps of Emil Post: from Normal Systems to the Correspondence Decision Problem (2020)
- Acta Cybernetica
Halava Vesa, Harju Tero
On square-free arithmetic progressions in infinite words (2019)
- Theoretical Computer Science
Harju T.
Some further results on squarefree arithmetic progressions in infinite words (2019)
- Theoretical Computer Science
Currie J., Harju T., Ochem P., Rampersad N.
On fixed points of rational transductions (2018)
- Theoretical Computer Science
Vesa Halava, Tero Harju, Esa Sahla
A new proof for undecidability of the bi-infinite post correspondence problem (2017)
- Fundamenta Informaticae
Halava V., Harju T., Sahla E.
Walks on tilings of polygons (2017)
- Theoretical Computer Science
Halava V, Harju T
Weighted automata on infinite words in the context of Attacker-Defender games (2017)
- Information and Computation
Halava V, Harju T, Niskanen R, Potapov I
Abelian bordered factors and periodicity (2016)
- European Journal of Combinatorics
Charlier E, Harju T, Puzynina S, Zamboni LQ
On a question of Hof, Knill and Simon on palindromic substitutive systems (2016)
- Monatshefte für Mathematik
Harju T, Vesti J, Zamboni LQ