Suivre
Vesa Halava
Vesa Halava
Professor in Mathematics, University of Turku
Adresse e-mail validée de utu.fi - Page d'accueil
Titre
Citée par
Citée par
Année
Skolem’s problem–on the border between decidability and undecidability
V Halava, T Harju, M Hirvensalo, J Karhumäki
TUCS Technical Reports 683, 2005
1292005
Positivity of second order linear recurrent sequences
V Halava, T Harju, M Hirvensalo
Discrete Applied Mathematics 154 (3), 447-451, 2006
662006
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
612007
Binary (generalized) Post correspondence problem
V Halava, T Harju, M Hirvensalo
Theoretical computer science 276 (1-2), 183-204, 2002
502002
Mortality in matrix semigroups
V Halava, T Harju
The American Mathematical Monthly 108 (7), 649-653, 2001
502001
Periods and binary words
V Halava, T Harju, L Ilie
Journal of Combinatorial Theory Series A 89 (2), 298-303, 2000
342000
Undecidability in integer weighted finite automata
V Halava, T Harju
Fundamenta Informaticae 38 (1-2), 189-200, 1999
331999
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
322008
Decidable and undecidable problems in matrix theory
V Halava
Turku Centre for Computer Science, 1997
301997
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
282009
Square-free partial words
V Halava, T Harju, T Kärki
Information Processing Letters 108 (5), 290-292, 2008
232008
Marked PCP is decidable
V Halava, M Hirvensalo, R de Wolf
Theoretical Computer Science 255 (1-2), 193-204, 2001
232001
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
222006
Relational codes of words
V Halava, T Harju, T Kärki
Theoretical computer science 389 (1-2), 237-249, 2007
212007
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
202014
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
182023
Improved matrix pair undecidability results
V Halava, M Hirvensalo
Acta Informatica 44 (3), 191-205, 2007
162007
Decidability of the binary infinite Post Correspondence Problem
V Halava, T Harju, J Karhumäki
Discrete applied mathematics 130 (3), 521-526, 2003
162003
Generalized Post correspondence problem for marked morphisms
V Halava, T Harju, M Hirvensalo
International Journal of Algebra and Computation 10 (06), 757-772, 2000
162000
Interaction properties of relational periods
V Halava, T Harju, T Kärki
Discrete Mathematics & Theoretical Computer Science 10 (Automata, Logic and …, 2008
152008
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20