| Skolem’s problem–on the border between decidability and undecidability V Halava, T Harju, M Hirvensalo, J Karhumäki TUCS Technical Reports 683, 2005 | 131 | 2005 |
| Positivity of second order linear recurrent sequences V Halava, T Harju, M Hirvensalo Discrete Applied Mathematics 154 (3), 447-451, 2006 | 67 | 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 | 63 | 2007 |
| Mortality in matrix semigroups V Halava, T Harju The American Mathematical Monthly 108 (7), 649-653, 2001 | 50 | 2001 |
| Binary (generalized) Post correspondence problem V Halava, T Harju, M Hirvensalo Theoretical computer science 276 (1-2), 183-204, 2002 | 49 | 2002 |
| Periods and binary words V Halava, T Harju, L Ilie Journal of Combinatorial Theory Series A 89 (2), 298-303, 2000 | 35 | 2000 |
| 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 | 33 | 2008 |
| Undecidability in integer weighted finite automata V Halava, T Harju Fundamenta Informaticae 38 (1-2), 189-200, 1999 | 33 | 1999 |
| Decidable and undecidable problems in matrix theory V Halava Turku Centre for Computer Science, 1997 | 30 | 1997 |
| Overlap-freeness in infinite partial words V Halava, T Harju, T Kärki, P Séébold Theoretical Computer Science 410 (8-10), 943-948, 2009 | 28 | 2009 |
| Square-free partial words V Halava, T Harju, T Kärki Information Processing Letters 108 (5), 290-292, 2008 | 23 | 2008 |
| Marked PCP is decidable V Halava, M Hirvensalo, R de Wolf Theoretical Computer Science 255 (1-2), 193-204, 2001 | 23 | 2001 |
| Undecidability of infinite post correspondence problem for instances of size 9 V Halava, T Harju RAIRO-Theoretical Informatics and Applications-Informatique Théorique et …, 2006 | 22 | 2006 |
| Tighter undecidability bounds for matrix mortality, zero-in-the-corner problems, and more J Cassaigne, V Halava, T Harju, F Nicolas arXiv preprint arXiv:1404.0644, 2014 | 21 | 2014 |
| Relational codes of words V Halava, T Harju, T Kärki Theoretical computer science 389 (1-2), 237-249, 2007 | 21 | 2007 |
| Highly tuneable photochromic sodalites for dosimetry, security marking and imaging HC Byron, C Swain, P Paturi, P Colinet, R Rullan, V Halava, T Le Bahers, ... Advanced Functional Materials 33 (42), 2303398, 2023 | 20 | 2023 |
| Improved matrix pair undecidability results V Halava, M Hirvensalo Acta Informatica 44 (3), 191-205, 2007 | 17 | 2007 |
| On Markov's undecidability theorem for integer matrices V Halava, T Harju Semigroup Forum 75, 173-180, 2007 | 16 | 2007 |
| Decidability of the binary infinite Post Correspondence Problem V Halava, T Harju, J Karhumäki Discrete applied mathematics 130 (3), 521-526, 2003 | 16 | 2003 |
| Generalized Post correspondence problem for marked morphisms V Halava, T Harju, M Hirvensalo International Journal of Algebra and Computation 10 (06), 757-772, 2000 | 16 | 2000 |
