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

9/10

Flatwords and post correspondence problem (1996)
- Theoretical Computer Science
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)
- Discrete Applied Mathematics
HARJU T, KLEIJN HCM
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
SPLICING SEMIGROUPS OF DOMINOES AND DNA (1991)
- Discrete Applied Mathematics
CULIK K, HARJU T
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
THE EQUIVALENCE PROBLEM OF MULTITAPE FINITE AUTOMATA (1991)
- Theoretical Computer Science
HARJU T, KARHUMAKI J
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
DECIDABILITY OF THE MULTIPLICITY EQUIVALENCE OF MULTITAPE FINITE AUTOMATA (1990) Proc. 22nd ACM Symp. on Theory of Comput. HARJU T, KARHUMAKI J
(A4 Vertaisarvioitu artikkeli konferenssijulkaisussa)
CARDINALITY PROBLEMS OF COMPOSITIONS OF MORPHISMS AND INVERSE MORPHISMS (1989)
- Mathematical systems theory
HARJU T, KLEIJN HCM
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
DOMINOES AND THE REGULARITY OF DNA SPLICING LANGUAGES (1989)
- Lecture Notes in Computer Science
CULIK K, HARJU T
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
ON MORPHIC GENERATION OF REGULAR LANGUAGES (1986)
- Discrete Applied Mathematics
HARJU T, KARHUMAKI J, KLEIJN HCM
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
ON THE DEFECT THEOREM AND SIMPLIFIABILITY (1986)
- Semigroup Forum
HARJU T, KARHUMAKI J
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
ON THE PERIODICITY OF MORPHISMS ON FREE MONOIDS (1986)
- RAIRO: Informatique Théorique et Applications / RAIRO: Theoretical Informatics and Applications
HARJU T, LINNA M
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
THE EQUATIONS H(W)=WN IN BINARY ALPHABETS (1984)
- Theoretical Computer Science
HARJU T, LINNA M
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
THE OMEGA-SEQUENCE EQUIVALENCE PROBLEM FOR DOL SYSTEMS IS DECIDABLE (1984)
- Journal- ACM
CULIK K, HARJU T
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )