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
4 of 10
- Interaction properties of relational periods (2008)
- Discrete Mathematics and Theoretical Computer Science
- MATRIX EQUATIONS AND HILBERT'S TENTH PROBLEM (2008)
- International Journal of Algebra and Computation
- Parallel Complexity of Signed Graphs for Gene Assembly in Ciliates (2008)
- Soft Computing - A Fusion of Foundations, Methodologies and Applications
- Parallel complexity of signed graphs for gene assembly in ciliates (2008)
- Soft Computing - A Fusion of Foundations, Methodologies and Applications
- Patterns of Simple Gene Assembly (2008)
- Discrete Applied Mathematics
- Patterns of simple gene assembly in ciliates (2008)
- Discrete Applied Mathematics
- Post Correspondence Problem for short words (2008)
- Information Processing Letters
- RAIRO - Theoretical Informatics and Application Preface (2008)
- RAIRO: Informatique Théorique et Applications / RAIRO: Theoretical Informatics and Applications
- Special issue - Developments in language theory (DLT 2007) - Preface (2008)
- International Journal of Foundations of Computer Science
- Square-free partial words (2008)
- Information Processing Letters
- Theoretic Approach to Parallel Gene Assembly (2008)
- Discrete Applied Mathematics
- Unbordered factors and Lyndon words (2008)
- Discrete Mathematics
- Complexity measures for gene assembly (2007)
- Lecture Notes in Computer Science
- Extension of the decidability of the marked PCP to instances with unique blocks (2007)
- Theoretical Computer Science
- Finite metrics in switching classes (2007)
- Discrete Applied Mathematics
- On Markov's undecidability theorem for integer matrices (2007)
- Semigroup Forum
- Periodicity and unbordered words: A proof of the extended Duval conjecture (2007)
- Journal- ACM
- Relational codes of words (2007)
- Theoretical Computer Science
- The structure of infinite solutions of marked and binary post correspondence problems (2007)
- Theory of Computing Systems
- Undecidability bounds for integer matrices using claus instances (2007)
- International Journal of Foundations of Computer Science
UTU Research Portal