Professor emeritus Tero Harju - UTU Tutkimustietojärjestelmä

Tero Harju
Professor emeritus

matematiikka (matematiikan ja tilastotieteen laitos)

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

Tutkimusyhteisö tai tutkimusaihe

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

Biografia

users.utu.fi/harju

Tutkimus

diskreetti matematiikka, sanojen kombinatoriikka, graafiteoria, automaattien teoria, ratkeavuus

Julkaisut

3/19

Similarity relations on words (2016) Combinatorics, Words and Symbolic Dynamics Vesa Halava, Tero Harju, Tomi Kärki
(A3 Vertaisarvioitu kirjan tai muun kokoomateoksen osa)
A note on short palindromes in square-free words (2015)
- Theoretical Computer Science
Tero Harju, Mike Müller
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
On generating binary words palindromicallyUndecidability of the Universality Problem for 3-State Integer Weighted Büchi Automata (2015)
- Journal of Combinatorial Theory, Series ATUCS Publication Series
Tero Harju, Mari Huova, Luca Q. Zamboni
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
On the n-permutation Post Correspondence Problem (2015)
- Theoretical Computer Science
Mari Ernvall, Vesa Halava, Tero Harju
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Square-free shuffles of words (2015)
- Theoretical Computer Science
Harju T, Muller M
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Weighted Automata on Infinite Words in the Context of Attacker-Defender Games (2015)
- Lecture Notes in Computer Science
Halava V, Harju T, Niskanen R, Potapov I
(A4 Vertaisarvioitu artikkeli konferenssijulkaisussa)
Minimal Similarity Relations for Square-Free Words (2014) Discrete Mathematics and Computer Science. In Memoriam Alexandru Mateescu (1952-2005) T. Harju, T. Kärki
(A3 Vertaisarvioitu kirjan tai muun kokoomateoksen osa)
(2014)
Vesa Halava, Tero Harju, Reino Niskanen, Igor Potapov
(B1 Vertaisarvioimaton kirjoitus tieteellisessä lehdessä )
Weighted Automata on Infinite Words in the Context of Attacker-Defender Games (2014)
- TUCS Publication Series
Evolving computability Halava V, Harju T, Niskanen R, Potapov I
(B1 Vertaisarvioimaton kirjoitus tieteellisessä lehdessä )
Word problem for deterministic and reversible semi-Thue systems (2014)
- Semigroup Forum
Halava V., Harju T.
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )