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

8/19

Theoretic Approach to Parallel Gene Assembly (2008)
- Discrete Applied Mathematics
Harju Tero, Li Chang, Petre Ion
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Unbordered factors and Lyndon words (2008)
- Discrete Mathematics
Duval JP, Harju T, Nowotka D
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Complexity measures for gene assembly (2007)
- Lecture Notes in Computer Science
Harju T, Li C, Petre I, Rozenberg G
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Extension of the decidability of the marked PCP to instances with unique blocks (2007)
- Theoretical Computer Science
Halava V, Harju T, Karhumaki J, Latteux M
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Finite metrics in switching classes (2007)
- Discrete Applied Mathematics
Ehrenfeucht A, Harju T, Rozenberg G
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
On Markov's undecidability theorem for integer matrices (2007)
- Semigroup Forum
Halava V, Harju T
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Periodicity and unbordered words: A proof of the extended Duval conjecture (2007)
- Journal- ACM
Harju T, Nowotka D
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Relational codes of words (2007)
- Theoretical Computer Science
Halava V, Harju T, Karki T
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
The structure of infinite solutions of marked and binary post correspondence problems (2007)
- Theory of Computing Systems
Halava V, Harju T, Karhumaki J
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Undecidability bounds for integer matrices using claus instances (2007)
- International Journal of Foundations of Computer Science
Halava V, Harju T, Hirvensalo M
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )