Mika Hirvensalo

University of Turku - Turku / Finland

Natural Sciences / Mathematical Sciences

AD Scientific Index ID: 1659311

Turun yliopisto

Registration, Add Profile,
Premium Membership

Print Your Certificate

Mika Hirvensalo's MOST POPULAR ARTICLES

1-) Quantum computingM HirvensaloSpringer Science & Business Media, 20035192003

2-) Skolem’s problem–on the border between decidability and undecidabilityV Halava, T Harju, M Hirvensalo, J KarhumäkiTechnical Report 683, Turku Centre for Computer Science, 20051102005

3-) Quantum automata with open time evolutionM HirvensaloInternational Journal of Natural Computing Research (IJNCR) 1 (1), 70-85, 2010612010

4-) Positivity of second order linear recurrent sequencesV Halava, T Harju, M HirvensaloDiscrete Applied Mathematics 154 (3), 447-451, 2006652006

5-) Undecidability bounds for integer matrices using Claus instancesV Halava, T Harju, M HirvensaloInternational Journal of Foundations of Computer Science 18 (05), 931-948, 2007612007

ARTICLES

Add your articles