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 
6 of 10
- Splicing systems for universal turing machines (2005)
- Lecture Notes in Computer Science
(A1 Refereed original research article in a scientific journal) - A characterization of acyclic switching classes of graphs using forbidden subgraphs (2004)
- Siam Journal on Discrete Mathematics
(A1 Refereed original research article in a scientific journal) - Border correlation of binary words (2004)
- Journal of Combinatorial Theory, Series A
(A1 Refereed original research article in a scientific journal) - DNA computing and graph transformation (2004) Proceedings of International Conference on Graph Transformation, ICGT 2004 Harju Tero, Petre Ion, Rozenberg Grzegorz
(A4 Refereed article in a conference publication ) - Embedding in switching classes with skew gains (2004)
- Lecture Notes in Computer Science
(A1 Refereed original research article in a scientific journal) - Formal properties of gene assembly: Equivalence problem for overlap graphs (2004)
- Lecture Notes in Computer Science
(A1 Refereed original research article in a scientific journal) - Formal properties of gene assembly in ciliates (2004) Aspects of Molecular Computing - Essays dedicated to Tom Head on the occasion of his 70th birthday Harju Tero, Petre Ion, Rozenberg Grzegorz
(B2 Non-refereed book chapter or chapter in a compilation book) - Gene assembly in ciliates (2004) Modelling in Molecular Biology Ehrenfeucht Andrzej, Harju Tero, Petre Ion, Prescott David M., Rozenberg Grzegorz
(B2 Non-refereed book chapter or chapter in a compilation book) - Gene assembly in ciliates: Formal frameworks (2004) 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) - Many aspects of defect theorems (2004)
- Theoretical Computer Science
(A1 Refereed original research article in a scientific journal) - Minimal Duval extensions (2004)
- International Journal of Foundations of Computer Science
(A1 Refereed original research article in a scientific journal) - Modelling gene assembly in ciliates (2004)
- Algorithmic bioprocesses
(A1 Refereed original research article in a scientific journal) - Periodicity and unbordered words - A proof of Duval's conjecture (2004)
- Lecture Notes in Computer Science
(A1 Refereed original research article in a scientific journal) - The equation x(i)=y(j)z(k) in a free semigroup (2004)
- Semigroup Forum
(A1 Refereed original research article in a scientific journal) - Transitivity of local complementation and switching on graphs (2004)
- Discrete Mathematics
(A1 Refereed original research article in a scientific journal) - Tutorial on DNA computing and graph transformation (2004)
- Lecture Notes in Computer Science
(A2 Refereed review article in a scientific journal ) - Two models for gene assembly in ciliates (2004) Theory is Forever Harju Tero, Petre Ion, Rozenberg Grzegorz
(B2 Non-refereed book chapter or chapter in a compilation book) - Two models for gene assembly in ciliates (2004)
- Lecture Notes in Computer Science
(A1 Refereed original research article in a scientific journal) - Undecidability in matrices over Laurent polynomials\ (2004)
- Advances in Applied Mathematics
(A1 Refereed original research article in a scientific journal) - Zebra factorizations in free semigroups (2004)
- Semigroup Forum
(A1 Refereed original research article in a scientific journal)
UTU Research Portal