Tero Harju
Professor emeritus
Department of Mathematics and Statistics harju@utu.fi +358 29 450 4305 +358 50 320 7954 Vesilinnantie 5 Turku ORCID identifier: https://orcid.org/0000-0002-9640-6309 |
Areas of expertise
Professor in mathematics
Professor in mathematics
Research community or research topic
Discrete Mathematics: automata theory, combinatorics on words, graph theory
Discrete Mathematics: automata theory, combinatorics on words, graph theory
Research
discrete mathematics, combinatorics on words, graph theory, automata theory,
decidability
discrete mathematics, combinatorics on words, graph theory, automata theory,
decidability
Publications 
9 of 10
- Flatwords and post correspondence problem (1996)
- Theoretical Computer Science
(A1 Refereed original research article in a scientific journal) - Compactness of systems of equations in semigroups (1995)
- Lecture Notes in Computer Science
(A1 Refereed original research article in a scientific journal) - Theory of 2-structures (1995)
- Lecture Notes in Computer Science
(A1 Refereed original research article in a scientific journal) - INCREMENTAL CONSTRUCTION OF 2-STRUCTURES (1994)
- Discrete Mathematics
(A1 Refereed original research article in a scientific journal) - REPRESENTATION OF RATIONAL FUNCTIONS WITH PREFIX AND SUFFIX CODINGS (1994)
- Theoretical Computer Science
(A1 Refereed original research article in a scientific journal) - THE INTERSECTION PROBLEM FOR ALPHABETIC VECTOR MONOIDS (1994)
- RAIRO: Informatique Théorique et Applications / RAIRO: Theoretical Informatics and Applications
(A1 Refereed original research article in a scientific journal) - PERMUTABLE TRANSFORMATION SEMIGROUPS (1993)
- Semigroup Forum
(A1 Refereed original research article in a scientific journal) - COMPOSITIONAL REPRESENTATION OF RATIONAL FUNCTIONS (1992)
- RAIRO: Informatique Théorique et Applications / RAIRO: Theoretical Informatics and Applications
(A1 Refereed original research article in a scientific journal) - DETERMINISTIC SEQUENTIAL FUNCTIONS (1992)
- Acta Informatica
(A1 Refereed original research article in a scientific journal) - DECIDABILITY PROBLEMS FOR UNARY OUTPUT SEQUENTIAL TRANSDUCERS (1991)
- Discrete Applied Mathematics
(A1 Refereed original research article in a scientific journal) - SPLICING SEMIGROUPS OF DOMINOES AND DNA (1991)
- Discrete Applied Mathematics
(A1 Refereed original research article in a scientific journal) - THE EQUIVALENCE PROBLEM OF MULTITAPE FINITE AUTOMATA (1991)
- Theoretical Computer Science
(A1 Refereed original research article in a scientific journal) - DECIDABILITY OF THE MULTIPLICITY EQUIVALENCE OF MULTITAPE FINITE AUTOMATA (1990) Proc. 22nd ACM Symp. on Theory of Comput. HARJU T, KARHUMAKI J
(A4 Refereed article in a conference publication ) - CARDINALITY PROBLEMS OF COMPOSITIONS OF MORPHISMS AND INVERSE MORPHISMS (1989)
- Mathematical systems theory
(A1 Refereed original research article in a scientific journal) - DOMINOES AND THE REGULARITY OF DNA SPLICING LANGUAGES (1989)
- Lecture Notes in Computer Science
(A1 Refereed original research article in a scientific journal) - ON MORPHIC GENERATION OF REGULAR LANGUAGES (1986)
- Discrete Applied Mathematics
(A1 Refereed original research article in a scientific journal) - ON THE DEFECT THEOREM AND SIMPLIFIABILITY (1986)
- Semigroup Forum
(A1 Refereed original research article in a scientific journal) - ON THE PERIODICITY OF MORPHISMS ON FREE MONOIDS (1986)
- RAIRO: Informatique Théorique et Applications / RAIRO: Theoretical Informatics and Applications
(A1 Refereed original research article in a scientific journal) - THE EQUATIONS H(W)=WN IN BINARY ALPHABETS (1984)
- Theoretical Computer Science
(A1 Refereed original research article in a scientific journal) - THE OMEGA-SEQUENCE EQUIVALENCE PROBLEM FOR DOL SYSTEMS IS DECIDABLE (1984)
- Journal- ACM
(A1 Refereed original research article in a scientific journal)
UTU Research Portal