Professor emeritus Tero Harju - UTU Tutkimustietojärjestelmä

Tero Harju
Professor emeritus

- tutkimusjohtaja,
- professori
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

4/10

Interaction properties of relational periods (2008)
- Discrete Mathematics and Theoretical Computer Science
Halava V, Harju T, Karki T
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
MATRIX EQUATIONS AND HILBERT'S TENTH PROBLEM (2008)
- International Journal of Algebra and Computation
Bell P, Halava V, Harju T, Karhumaki J, Potapov I
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Parallel Complexity of Signed Graphs for Gene Assembly in Ciliates (2008)
- Soft Computing - A Fusion of Foundations, Methodologies and Applications
Harju Tero, Li Chang, Petre Ion
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Parallel complexity of signed graphs for gene assembly in ciliates (2008)
- Soft Computing - A Fusion of Foundations, Methodologies and Applications
Harju T, Li C, Petre I
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Patterns of Simple Gene Assembly (2008)
- Discrete Applied Mathematics
Harju Tero, Petre Ion, Rogojin Vladimir, Rozenberg Grzegorz
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Patterns of simple gene assembly in ciliates (2008)
- Discrete Applied Mathematics
Harju T, Petre I, Rogojin V, Rozenberg G
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Post Correspondence Problem for short words (2008)
- Information Processing Letters
Halava V, Harju T, Hirvensalo M, Karhumaki J
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
RAIRO - Theoretical Informatics and Application Preface (2008)
- RAIRO: Informatique Théorique et Applications / RAIRO: Theoretical Informatics and Applications
Berstel J, Harju T, Karhumaki J
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Special issue - Developments in language theory (DLT 2007) - Preface (2008)
- International Journal of Foundations of Computer Science
Harju T, Karhumaki J
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Square-free partial words (2008)
- Information Processing Letters
Halava Vesa, Harju Tero, Kärki Tomi
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
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ä )