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

17/19

Flatwords and post correspondence problem (1996)
- Theoretical Computer ScienceDiscrete Applied Mathematics
Harju T, Lipponen M, Mateescu A
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Compactness of systems of equations in semigroups (1995)
- Lecture Notes in Computer Science
Harju T, Karhumaki J, Plandowski W
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Theory of 2-structures (1995)
- Lecture Notes in Computer Science
Ehrenfeucht A, Harju T, Rozenberg G
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
INCREMENTAL CONSTRUCTION OF 2-STRUCTURES (1994)
- Discrete Mathematics
EHRENFEUCHT A, HARJU T, ROZENBERG G
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
REPRESENTATION OF RATIONAL FUNCTIONS WITH PREFIX AND SUFFIX CODINGS (1994)
- Theoretical Computer Science
HARJU T, KLEIJN HCM, LATTEUX M, TERLUTTE A
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
THE INTERSECTION PROBLEM FOR ALPHABETIC VECTOR MONOIDS (1994)
- RAIRO: Informatique Théorique et Applications / RAIRO: Theoretical Informatics and Applications
HARJU T, KEESMAAT NW, KLEIJN HCM
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
PERMUTABLE TRANSFORMATION SEMIGROUPS (1993)
- Semigroup Forum
EHRENFEUCHT A, HARJU T, ROZENBERG G
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
COMPOSITIONAL REPRESENTATION OF RATIONAL FUNCTIONS (1992)
- RAIRO: Informatique Théorique et Applications / RAIRO: Theoretical Informatics and Applications
HARJU T, KLEIJN HCM, LATTEUX M
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
DETERMINISTIC SEQUENTIAL FUNCTIONS (1992)
- Acta Informatica
HARJU T, KLEIJN HCM, LATTEUX M
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
DECIDABILITY PROBLEMS FOR UNARY OUTPUT SEQUENTIAL TRANSDUCERS (1991)
HARJU T, KLEIJN HCM
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )