Follow
Mika Hirvensalo
Mika Hirvensalo
Lecturer, Department of Mathematics and Statistics, University of Turku
Verified email at utu.fi
Title
Cited by
Cited by
Year
Quantum computing
M Hirvensalo
Springer Science & Business Media, 2013
5612013
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
1232005
Quantum automata with open time evolution
M Hirvensalo
International Journal of Natural Computing Research (IJNCR) 1 (1), 70-85, 2010
642010
Positivity of second order linear recurrent sequences
V Halava, T Harju, M Hirvensalo
Discrete Applied Mathematics 154 (3), 447-451, 2006
622006
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
562007
Binary (generalized) Post correspondence problem
V Halava, T Harju, M Hirvensalo
Theoretical computer science 276 (1-2), 183-204, 2002
492002
Various aspects of finite quantum automata
M Hirvensalo
International Conference on Developments in Language Theory, 21-33, 2008
372008
Improved undecidability results on the emptiness problem of probabilistic and quantum cut-point languages
M Hirvensalo
International Conference on Current Trends in Theory and Practice of …, 2007
352007
The Identity Problem for Matrix Semigroups in SL2(ℤ) is NP-complete
PC Bell, M Hirvensalo, I Potapov
Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete …, 2017
332017
On the generating function of discrete Chebyshev polynomials
N Gogin, M Hirvensalo
Turku Centre for Computer Science, Technical Report 819, 8, 2007
31*2007
Mortality for 2× 2 matrices is NP-hard
PC Bell, M Hirvensalo, I Potapov
Mathematical Foundations of Computer Science 2012: 37th International …, 2012
242012
Marked PCP is decidable
V Halava, M Hirvensalo, R de Wolf
Theoretical Computer Science 255 (1-2), 193-204, 2001
222001
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
On probabilistic and quantum reaction systems
M Hirvensalo
Theoretical Computer Science 429, 134-143, 2012
152012
Improved matrix pair undecidability results
V Halava, M Hirvensalo
Acta Informatica 44 (3), 191-205, 2007
142007
An introduction to quantum computing
M Hirvensalo
Current trends in theoretical computer science: entering the 21st centuary …, 2001
142001
On quantum computation
M Hirvensalo
Turku Centre for Computer Science, 1997
141997
On the computational power of affine automata
M Hirvensalo, E Moutot, A Yakaryılmaz
International Conference on Language and Automata Theory and Applications …, 2017
132017
Studies on Boolean functions related to quantum computing
M Hirvensalo
University of Turku, 2003
132003
Computing with quanta—impacts of quantum theory on computation
M Hirvensalo
Theoretical Computer Science 287 (1), 267-298, 2002
132002
The system can't perform the operation now. Try again later.
Articles 1–20