Tero Harju
Professor emeritus
Department of Mathematics and Statistics harju@utu.fi +358 29 450 4305 +358 50 320 7954 Vesilinnantie 5 Turku |
Professor in mathematics
Discrete Mathematics: automata theory, combinatorics on words, graph theory
discrete mathematics, combinatorics on words, graph theory, automata theory,
decidability
- About Duval's conjecture (2003)
- Lecture Notes in Computer Science
- Computational processes in living cells: Gene assembly in ciliates (2003)
- Lecture Notes in Computer Science
- Decidability of the binary infinite post correspondence problem (2003)
- Discrete Applied Mathematics
- Euler graphs, triangle-free graphs and bipartite graphs in switching classes (2003)
- Fundamenta Informaticae
- Formal systems for gene assembly in ciliates (2003)
- Theoretical Computer Science
- Formal systems for gene assembly in ciliates (2003)
- Theoretical Computer Science
- 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
- Languages defined by generalized equality sets (2003)
- Lecture Notes in Computer Science
- On the independence of equations in three variables (2003)
- Theoretical Computer Science
- An undecidability result concerning periodic morphisms (2002)
- Lecture Notes in Computer Science
- Binary (generalized) Post Correspondence Problem (2002)
- Theoretical Computer Science
- Characterizing the micronuclear gene patterns in ciliates (2002)
- Theory of Computing Systems
- Characterizing the micronuclear gene patterns in ciliates (2002)
- Theory of Computing Systems
- Computational nature of gene assembly in ciliates (2002) Proceedings of the International Conference on Graph Transformation, ICGT 2002 Harju Tero, Petre Ion, Rozenberg Grzegorz
- Decision questions on integer matrices (2002)
- Lecture Notes in Computer Science
- Density of critical factorizations (2002)
- RAIRO: Informatique Théorique et Applications / RAIRO: Theoretical Informatics and Applications
- Euler graphs, triangle-free graphs and bipartite graphs in switching classes (2002)
- Lecture Notes in Computer Science
- Gene assembly through cyclic graph decomposition (2002)
- Theoretical Computer Science
- 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
- Some decision problems concerning semilinearity and commutation (2002)
- Journal of Computer and System Sciences



