| Computation in living cells: gene assembly in ciliates A Ehrenfeucht, T Harju, I Petre, D Prescott, G Rozenberg Springer, 2004 | 200* | 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 | 193 | 1999 |
| The equivalence problem of multitape finite automata T Harju, J Karhumäki Theoretical Computer Science 78 (2), 347-355, 1991 | 182 | 1991 |
| Splicing semigroups of dominoes and DNA K Culik II, T Harju Discrete Applied Mathematics 31 (3), 261-277, 1991 | 181 | 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 | 127 | 2005 |
| Morphisms T Harju, J Karhumäki Handbook of Formal Languages: Volume 1 Word, Language, Grammar, 439-510, 2013 | 117 | 2013 |
| On the periodicity of morphisms on free monoids T Harju, M Linna RAIRO-Theoretical Informatics and Applications 20 (1), 47-54, 1986 | 90 | 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 | 87 | 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 | 80 | 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 | 73 | 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 | 58 | 2007 |
| Binary (generalized) Post correspondence problem V Halava, T Harju, M Hirvensalo Theoretical computer science 276 (1-2), 183-204, 2002 | 49 | 2002 |
| Mortality in matrix semigroups V Halava, T Harju The American Mathematical Monthly 108 (7), 649-653, 2001 | 48 | 2001 |
| Lecture notes on graph theory T Harju | 41 | 2011 |
| Parallelism in gene assembly T Harju, C Li, I Petre, G Rozenberg Natural Computing 5, 203-223, 2006 | 41 | 2006 |
| Characterizing the micronuclear gene patterns in ciliates A Ehrenfeucht, T Harju, I Petre, G Rozenberg Theory of Computing Systems 35, 501-519, 2002 | 41 | 2002 |
| 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 Turku在 utu.fi 的电子邮件经过验证
