Vesa Halava
Turun yliopisto
H-index: 16
Europe-Finland
Top articles of Vesa Halava
Binary Generalized PCP for Two Periodic Morphisms is Decidable in Polynomial Time
International Journal of Foundations of Computer Science
2024/2/16
Vesa Halava
H-Index: 7
Highly Tuneable Photochromic Sodalites for Dosimetry, Security Marking and Imaging
Advanced Functional Materials
2023/10
Decision Problems on Copying and Shuffling
arXiv preprint arXiv:2302.06248
2023/2/13
On bi-infinite and conjugate post correspondence problems
RAIRO-Theoretical Informatics and Applications
2023
Vesa Halava
H-Index: 7
Tero Harju
H-Index: 12
A recursive function coding number theoretic functions
arXiv preprint arXiv:2203.09311
2022/3/17
Vesa Halava
H-Index: 7
Tero Harju
H-Index: 12
Certain linear and weakly linear systems of matrix equations over semirings. Applications in a state reduction of weighted automata
Filomat
2022
Vesa Halava
H-Index: 7
Compactness and Elementary Proof of Woodin's Theorem
Available at SSRN 4021954
2022
Vesa Halava
H-Index: 7
Tero Harju
H-Index: 12
Undecidability in Finite Transducers, Defense Systems and Finite Substitutions
arXiv preprint arXiv:2111.15420
2021/11/30
Vesa Halava
H-Index: 7
The Conjugate Post Correspondence Problem
arXiv e-prints
2021/11
Vesa Halava
H-Index: 7
Tero Harju
H-Index: 12
Integer weighted automata on infinite words
2021/8/6
On the Steps of Emil Post: from Normal Systems to the Correspondence Decision Problem
Acta Cybernetica
2020/7/25
Vesa Halava
H-Index: 7
Tero Harju
H-Index: 12
On Shuffling a Word with its Letter-to-Letter Substitution
Fundamenta Informaticae
2020/1/1
Vesa Halava
H-Index: 7
Tero Harju
H-Index: 12