Mika Hirvensalo
mikhirve@utu.fi +358 29 450 4325 +358 50 338 8034 Vesilinnantie 5 Turku |
Publications 
3 of 3
- Positivity of second order linear recurrent sequences (2006)
- Discrete Applied Mathematics
(A1 Refereed original research article in a scientific journal) - Binary (generalized) Post Correspondence Problem (2002)
- Theoretical Computer Science
(A1 Refereed original research article in a scientific journal) - Marked PCP is decidable (2001)
- Theoretical Computer Science
(A1 Refereed original research article in a scientific journal) - Generalized post correspondence problem for marked morphisms (2000)
- International Journal of Algebra and Computation
(A1 Refereed original research article in a scientific journal) - Decidability and undecidability of marked PCP (1999)
- Lecture Notes in Computer Science
(A4 Refereed article in a conference publication ) - Decidability and undecidability of marked PCP (1999) 16th Annual Symposium on Theoretical Aspects of Computer Science Halava V, Hirvensalo. M, de Wolf R
(A4 Refereed article in a conference publication ) - Generalized PCP is decidable for marked morphisms (1999)
- Lecture Notes in Computer Science
(A1 Refereed original research article in a scientific journal) - Copying quantum computer makes NP-complete problems tractable (1998) Proceedings of MCU'98 Hirvensalo M
(A4 Refereed article in a conference publication ) - On Quantum Computation (1997) Hirvensalo Mika
(G3 Licentiate thesis) - The Reversibility in Quantum Computation Theory (1997) Proceedings of the 3rd International Conference Developments in Language Theory Hirvensalo M
(A4 Refereed article in a conference publication )
UTU Research Portal