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

13/19

About Duval's conjecture (2003)
- Lecture Notes in Computer Science
Harju T, Nowotka D
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Computational processes in living cells: Gene assembly in ciliates (2003)
- Lecture Notes in Computer Science
Harju T, Rozenberg G
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Decidability of the binary infinite post correspondence problem (2003)
- Discrete Applied Mathematics
Halava V, Harju T, Karhumaki J
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Euler graphs, triangle-free graphs and bipartite graphs in switching classes (2003)
- Fundamenta Informaticae
Hage J, Harju T, Emo W
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Formal systems for gene assembly in ciliates (2003)
- Theoretical Computer Science
Ehrenfeucht A, Harju T, Petre I, Prescott DM, Rozenberg G
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Formal systems for gene assembly in ciliates (2003)
- Theoretical Computer Science
Ehrenfeucht Andrzej, Harju Tero, Petre Ion, Prescott David M., Rozenberg Grzegorz
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Gene assembly in ciliates: Molecular operations (2003) Current trends in Theoretical Computer Science (The Challenge of the New Century) Harju Tero, Petre Ion, Rozenberg Grzegorz
(B2 Vertaisarvioimaton kirjan tai muun kokoomateoksen osa)
Languages defined by generalized equality sets (2003)
- Lecture Notes in Computer Science
Halava V, Harju T, Hoogeboom HJ, Latteux M
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
On the independence of equations in three variables (2003)
- Theoretical Computer Science
Harju T, Nowotka D
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
An undecidability result concerning periodic morphisms (2002)
- Lecture Notes in Computer Science
Developments in Language Theory Halava V, Harju T
(A4 Vertaisarvioitu artikkeli konferenssijulkaisussa)