| Theory Of 2-structures, the: a framework for decomposition and transformation of graphs A Ehrenfeucht, T Harju, G Rozenberg World Scientific Publishing Company, 1999 | 200 | 1999 |
| Computation in living cells: gene assembly in ciliates A Ehrenfeucht, T Harju, I Petre, D Prescott, G Rozenberg Springer, 2004 | 199* | 2004 |
| The equivalence problem of multitape finite automata T Harju, J Karhumäki Theoretical Computer Science 78 (2), 347-355, 1991 | 191 | 1991 |
| Splicing semigroups of dominoes and DNA K Culik II, T Harju Discrete Applied Mathematics 31 (3), 261-277, 1991 | 188 | 1991 |
| 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 | 129 | 2005 |
| Morphisms T Harju, J Karhumäki Handbook of Formal Languages: Volume 1 Word, Language, Grammar, 439-510, 2013 | 125 | 2013 |
| On the periodicity of morphisms on free monoids T Harju, M Linna RAIRO-Theoretical Informatics and Applications 20 (1), 47-54, 1986 | 89 | 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 | 86 | 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 | 82 | 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 | 80 | 2002 |
| Positivity of second order linear recurrent sequences V Halava, T Harju, M Hirvensalo Discrete Applied Mathematics 154 (3), 447-451, 2006 | 72 | 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 | 51 | 2002 |
| Mortality in matrix semigroups V Halava, T Harju The American Mathematical Monthly 108 (7), 649-653, 2001 | 49 | 2001 |
| On the defect theorem and simplifiability T Harju, J Karhumäki Semigroup Forum 33 (1), 199-217, 1986 | 44 | 1986 |
| Lecture notes on graph theory T Harju | 43 | 2011 |
| Characterizing the micronuclear gene patterns in ciliates A Ehrenfeucht, T Harju, I Petre, G Rozenberg Theory of Computing Systems 35 (5), 501-519, 2002 | 42 | 2002 |
| Parallelism in gene assembly T Harju, C Li, I Petre, G Rozenberg Natural Computing 5 (2), 203-223, 2006 | 41 | 2006 |
| 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 | 39 | 1996 |
| Matrix equations and Hilbert's tenth problem P Bell, V Halava, T Harju, J Karhumäki, I Potapov International Journal of Algebra and Computation 18 (08), 1231-1241, 2008 | 35 | 2008 |
Vesa HalavaProfessor in Mathematics, University of TurkuVerified email at utu.fi
