| 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 | 182 | 1999 |
| Splicing semigroups of dominoes and DNA K Culik II, T Harju Discrete Applied Mathematics 31 (3), 261-277, 1991 | 177 | 1991 |
| The equivalence problem of multitape finite automata T Harju, J Karhumäki Theoretical Computer Science 78 (2), 347-355, 1991 | 175 | 1991 |
| Morphisms T Harju, J Karhumäki Handbook of Formal Languages: Volume 1 Word, Language, Grammar, 439-510, 1997 | 114 | 1997 |
| Skolem’s problem–on the border between decidability and undecidability V Halava, T Harju, M Hirvensalo, J Karhumäki Technical Report 683, Turku Centre for Computer Science, 2005 | 113 | 2005 |
| On the periodicity of morphisms on free monoids T Harju, M Linna RAIRO-Theoretical Informatics and Applications 20 (1), 47-54, 1986 | 87 | 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 | 80 | 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 | 78 | 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 | 66 | 2002 |
| Positivity of second order linear recurrent sequences V Halava, T Harju, M Hirvensalo Discrete Applied Mathematics 154 (3), 447-451, 2006 | 58 | 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 | 56 | 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 | 45 | 2001 |
| 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 | 39 | 2011 |
| Parallelism in gene assembly T Harju, C Li, I Petre, G Rozenberg Natural Computing 5, 203-223, 2006 | 39 | 2006 |
| On the defect theorem and simplifiability T Harju, J Karhumäki Semigroup Forum 33, 199-217, 1986 | 38 | 1986 |
| The ω sequence problem for DOL systems is decidable K Culik, T Harju Journal of the ACM (JACM) 31 (2), 282-298, 1984 | 37 | 1984 |
| Euler graphs, triangle-free graphs and bipartite graphs in switching classes J Hage, T Harju, E Welzl Graph Transformation: First International Conference, ICGT 2002 Barcelona …, 2002 | 35 | 2002 |
Vesa HalavaProfessor in Mathematics, University of TurkuVerified email at utu.fi
