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 
7 of 10
- About Duval's conjecture (2003)
- Lecture Notes in Computer Science
(A1 Refereed original research article in a scientific journal) - Computational processes in living cells: Gene assembly in ciliates (2003)
- Lecture Notes in Computer Science
(A1 Refereed original research article in a scientific journal) - Decidability of the binary infinite post correspondence problem (2003)
- Discrete Applied Mathematics
(A1 Refereed original research article in a scientific journal) - Euler graphs, triangle-free graphs and bipartite graphs in switching classes (2003)
- Fundamenta Informaticae
(A1 Refereed original research article in a scientific journal) - Formal systems for gene assembly in ciliates (2003)
- Theoretical Computer Science
(A1 Refereed original research article in a scientific journal) - Formal systems for gene assembly in ciliates (2003)
- Theoretical Computer Science
(A1 Refereed original research article in a scientific journal) - 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 Non-refereed book chapter or chapter in a compilation book) - Languages defined by generalized equality sets (2003)
- Lecture Notes in Computer Science
(A1 Refereed original research article in a scientific journal) - On the independence of equations in three variables (2003)
- Theoretical Computer Science
(A1 Refereed original research article in a scientific journal) - An undecidability result concerning periodic morphisms (2002)
- Lecture Notes in Computer Science
(A4 Refereed article in a conference publication ) - Binary (generalized) Post Correspondence Problem (2002)
- Theoretical Computer Science
(A1 Refereed original research article in a scientific journal) - Characterizing the micronuclear gene patterns in ciliates (2002)
- Theory of Computing Systems
(A1 Refereed original research article in a scientific journal) - Characterizing the micronuclear gene patterns in ciliates (2002)
- Theory of Computing Systems
(A1 Refereed original research article in a scientific journal) - Computational nature of gene assembly in ciliates (2002) Proceedings of the International Conference on Graph Transformation, ICGT 2002 Harju Tero, Petre Ion, Rozenberg Grzegorz
(A4 Refereed article in a conference publication ) - Decision questions on integer matrices (2002)
- Lecture Notes in Computer Science
(A2 Refereed review article in a scientific journal ) - Density of critical factorizations (2002)
- RAIRO: Informatique Théorique et Applications / RAIRO: Theoretical Informatics and Applications
(A1 Refereed original research article in a scientific journal) - Euler graphs, triangle-free graphs and bipartite graphs in switching classes (2002)
- Lecture Notes in Computer Science
(A1 Refereed original research article in a scientific journal) - Gene assembly through cyclic graph decomposition (2002)
- Theoretical Computer Science
(A1 Refereed original research article in a scientific journal) - Patterns of micronuclear genes in ciliates (2002) Proceedings of the 7th International Meeting on DNA-based computers DNA7 Ehrenfeucht Andrzej, Harju Tero, Petre Ion, Rozenberg Grzegorz
(A4 Refereed article in a conference publication ) - Some decision problems concerning semilinearity and commutation (2002)
- Journal of Computer and System Sciences
(A1 Refereed original research article in a scientific journal)
UTU Research Portal