Tero Harju
Professor emeritus
Department of Mathematics and Statistics harju@utu.fi +358 29 450 4305 +358 50 320 7954 Vesilinnantie 5 Turku ORCID-tunniste: https://orcid.org/0000-0002-9640-6309 |
Asiantuntijuusalueet
Matematiikan professori
Matematiikan professori
Tutkimusyhteisö tai tutkimusaihe
Discrete Mathematics: automata theory, combinatorics on words, graph theory
Discrete Mathematics: automata theory, combinatorics on words, graph theory
Tutkimus
diskreetti matematiikka, sanojen kombinatoriikka, graafiteoria, automaattien teoria, ratkeavuus
diskreetti matematiikka, sanojen kombinatoriikka, graafiteoria, automaattien teoria, ratkeavuus
Julkaisut 
1/4
- A simple undecidable problem for free groups (2024)
- Theoretical Computer Science
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - Decision Problems on Copying and Shuffling (2024)
- Fundamenta Informaticae
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - A Note on Squares in Binary Words (2023)
- International Journal of Foundations of Computer Science
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - Integer Weighted Automata on Infinite Words (2023)
- International Journal of Foundations of Computer Science
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - On bi-infinite and conjugate post correspondence problems (2023)
- RAIRO: Informatique Théorique et Applications / RAIRO: Theoretical Informatics and Applications
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - Avoiding square-free words on free groups (2022)
- Theoretical Computer Science
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - Critical factorisation in square-free words (2022)
- RAIRO: Informatique Théorique et Applications / RAIRO: Theoretical Informatics and Applications
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - Disposability in square-free words (2021)
- Theoretical Computer Science
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - Finite transducers and rational transductions (2021) Handbook of Automata Theory: Volume I. Theoretical Foundations Harju Tero, Karhumäki Juhani
(A3 Vertaisarvioitu kirjan tai muun kokoomateoksen osa) - Integer Weighted Automata on Infinite Words (2021)
- Lecture Notes in Computer Science
(A4 Vertaisarvioitu artikkeli konferenssijulkaisussa) - On Shuffling a Word with its Letter-to-Letter Substitution (2020)
- Fundamenta Informaticae
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - On the Steps of Emil Post: from Normal Systems to the Correspondence Decision Problem (2020)
- Acta Cybernetica
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - On square-free arithmetic progressions in infinite words (2019)
- Theoretical Computer Science
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - Some further results on squarefree arithmetic progressions in infinite words (2019)
- Theoretical Computer Science
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - On fixed points of rational transductions (2018)
- Theoretical Computer Science
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - A new proof for undecidability of the bi-infinite post correspondence problem (2017)
- Fundamenta Informaticae
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - Walks on tilings of polygons (2017)
- Theoretical Computer Science
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - Weighted automata on infinite words in the context of Attacker-Defender games (2017)
- Information and Computation
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - Abelian bordered factors and periodicity (2016)
- European Journal of Combinatorics
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - On a question of Hof, Knill and Simon on palindromic substitutive systems (2016)
- Monatshefte für Mathematik
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Turun yliopiston Tutkimustietojärjestelmän portaali