Mika Hirvensalo - UTU Tutkimustietojärjestelmä - UTU Tutkimustietojärjestelmä

Mika Hirvensalo

- dosentti,
matematiikan ja tilastotieteen laitos (matemaattis-luonnontieteellinen tiedekunta)
- lehtori,
matematiikka (matematiikan ja tilastotieteen laitos)

mikhirve@utu.fi

+358 29 450 4325

+358 50 338 8034

Vesilinnantie 5

Turku

Julkaisut

5/6

Undecidability bounds for integer matrices using claus instances (2007)
- International Journal of Foundations of Computer Science
Halava V, Harju T, Hirvensalo M
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Positivity of second order linear recurrent sequences (2006)
- Discrete Applied Mathematics
Halava V, Harju T, Hirvensalo M
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Binary (generalized) Post Correspondence Problem (2002)
- Theoretical Computer Science
Halava V, Harju T, Hirvensalo M
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Marked PCP is decidable (2001)
- Theoretical Computer Science
Halava V, Hirvensalo M, de Wolf R
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Generalized post correspondence problem for marked morphisms (2000)
- International Journal of Algebra and Computation
Halava V, Harju T, Hirvensalo M
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Decidability and undecidability of marked PCP (1999)
- Lecture Notes in Computer Science
STACS'99 Halava V, Hirvensalo M, de Wolf R
(A4 Vertaisarvioitu artikkeli konferenssijulkaisussa)
Decidability and undecidability of marked PCP (1999) 16th Annual Symposium on Theoretical Aspects of Computer Science Halava V, Hirvensalo. M, de Wolf R
(A4 Vertaisarvioitu artikkeli konferenssijulkaisussa)
Generalized PCP is decidable for marked morphisms (1999)
- Lecture Notes in Computer Science
Halava V, Harju T, Hirvensalo M
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Copying quantum computer makes NP-complete problems tractable (1998) Proceedings of MCU'98 Hirvensalo M
(A4 Vertaisarvioitu artikkeli konferenssijulkaisussa)
On Quantum Computation (1997) Hirvensalo Mika
(G3 Lisensiaatintyö)