| Computation in living cells: gene assembly in ciliates A Ehrenfeucht, T Harju, I Petre, D Prescott, G Rozenberg Springer, 2004 | 201* | 2004 |
| Theory Of 2-structures, The: A Framework For Decomposition And Transformation Of Graphs A Ehrenfeucht, T Harju, G Rozenberg World Scientific Publishing Company, 1999 | 194 | 1999 |
| Splicing semigroups of dominoes and DNA K Culik II, T Harju Discrete Applied Mathematics 31 (3), 261-277, 1991 | 183 | 1991 |
| The equivalence problem of multitape finite automata T Harju, J Karhumäki Theoretical Computer Science 78 (2), 347-355, 1991 | 183 | 1991 |
| Skolem’s problem–on the border between decidability and undecidability V Halava, T Harju, M Hirvensalo, J Karhumäki TUCS Technical Reports 683, 2005 | 129 | 2005 |
| Morphisms T Harju, J Karhumäki Handbook of Formal Languages: Volume 1 Word, Language, Grammar, 439-510, 2013 | 118 | 2013 |
| On the periodicity of morphisms on free monoids T Harju, M Linna RAIRO-Theoretical Informatics and Applications 20 (1), 47-54, 1986 | 91 | 1986 |
| On the undecidability of freeness of matrix semigroups J Cassaigne, T Harju, J Karhumäki International Journal of Algebra and Computation 9 (03n04), 295-305, 1999 | 89 | 1999 |
| Formal systems for gene assembly in ciliates A Ehrenfeucht, T Harju, I Petre, DM Prescott, G Rozenberg Theoretical Computer Science 292 (1), 199-219, 2003 | 81 | 2003 |
| Some decision problems concerning semilinearity and commutation T Harju, O Ibarra, J Karhumäki, A Salomaa Journal of Computer and System Sciences 65 (2), 278-294, 2002 | 75 | 2002 |
| Positivity of second order linear recurrent sequences V Halava, T Harju, M Hirvensalo Discrete Applied Mathematics 154 (3), 447-451, 2006 | 65 | 2006 |
| Undecidability bounds for integer matrices using Claus instances V Halava, T Harju, M Hirvensalo International Journal of Foundations of Computer Science 18 (05), 931-948, 2007 | 61 | 2007 |
| Binary (generalized) Post correspondence problem V Halava, T Harju, M Hirvensalo Theoretical computer science 276 (1-2), 183-204, 2002 | 50 | 2002 |
| Mortality in matrix semigroups V Halava, T Harju The American Mathematical Monthly 108 (7), 649-653, 2001 | 50 | 2001 |
| Parallelism in gene assembly T Harju, C Li, I Petre, G Rozenberg Natural Computing 5, 203-223, 2006 | 42 | 2006 |
| Characterizing the micronuclear gene patterns in ciliates A Ehrenfeucht, T Harju, I Petre, G Rozenberg Theory of Computing Systems 35, 501-519, 2002 | 42 | 2002 |
| Lecture notes on graph theory T Harju | 41 | 2011 |
| On the defect theorem and simplifiability T Harju, J Karhumäki Semigroup Forum 33, 199-217, 1986 | 41 | 1986 |
| Characterization and complexity of uniformly nonprimitive labeled 2-structures J Engelfriet, T Harju, A Proskurowski, G Rozenberg Theoretical computer science 154 (2), 247-282, 1996 | 38 | 1996 |
| The ω sequence problem for DOL systems is decidable K Culik, T Harju Journal of the ACM (JACM) 31 (2), 282-298, 1984 | 36 | 1984 |
Vesa HalavaProfessor in Mathematics, University of TurkuEmail verificata su utu.fi
