Mika Hirvensalo
mikhirve@utu.fi +358 29 450 4325 +358 50 338 8034 Vesilinnantie 5 Turku |
Julkaisut 
2/3
- Non-Classical Models of Automata and Applications V (2015)
- Fundamenta Informaticae
(B1 Vertaisarvioimaton kirjoitus tieteellisessä lehdessä ) - Classical and quantum realtime alternating automata (2014) Proceedings of NCMA 2014 Gokalp Demirci, Mika Hirvensalo, Klaus Reinhardt, A.C. Cem Say, Abuzer Yakaryilmaz
(A4 Vertaisarvioitu artikkeli konferenssijulkaisussa) - Quantum and Biocomputing - Common Notions and Targets (2014) Springer Handbook of Bio-/Neuro-Informatics Mika Hirvensalo
(B2 Vertaisarvioimaton kirjan tai muun kokoomateoksen osa) - Decision Problems for Probabilistic Finite Automata on Bounded Languages (2013)
- Fundamenta Informaticae
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - Geometric Toos for Automata Complexity (2013) Proceedings of Workshop on Quantum and Classical Complexity Mika Hirvensalo
(B3 Vertaisarvioimaton artikkeli konferenssijulkaisussa) - Proceedings of Workshop on Quantum and Classical Complexity – July 7, 2013, Riga, Latvia (2013) Mika Hirvensalo, Abuzer Yakaryilmaz
(C2 Toimitustyö tieteelliselle kokoomateokselle) - Quantum Computing (2013) Encyclopedia of Sciences and Religions Mika Hirvensalo
(B2 Vertaisarvioimaton kirjan tai muun kokoomateoksen osa) - Handbook of Natural Computing (2012) Rozenberg Grzegorz, Bäck Thomas, Kok Joost N, Corne David W, Heskes Tom, Hirvensalo Mika, Kari Jarkko J, Kari Lila
(C2 Toimitustyö tieteelliselle kokoomateokselle) - Mathematics for Quantum Information Processing (2012) Handbook of Natural Computing Hirvensalo Mika
(B2 Vertaisarvioimaton kirjan tai muun kokoomateoksen osa) - Mortality for 2 × 2 Matrices is NP-hard. (2012)
- Lecture Notes in Computer Science
(A4 Vertaisarvioitu artikkeli konferenssijulkaisussa) - On probabilistic and quantum reaction systems (2012)
- Theoretical Computer Science
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - Quantum Automata Theory - A review. (2012)
- Lecture Notes in Computer Science
(A4 Vertaisarvioitu artikkeli konferenssijulkaisussa) - Recurrent Construction of MacWilliams and Chebyshev Matricesand Chebyshev Matrices (2012)
- Fundamenta Informaticae
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - Non-Classical Models of Automata and Applications II (2011)
- Fundamenta Informaticae
(C2 Toimitustyö tieteelliselle kokoomateokselle) - Computing Partial Information out of Intractable: Powers of Algebraic Numbers as an Example (2010)
- Journal of Number Theory
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - On the Joint Spectral Radius for Bounded Matrix Languages (2010)
- Lecture Notes in Computer Science
(A4 Vertaisarvioitu artikkeli konferenssijulkaisussa) - Quantum Automata with Open Time Evolution (2010) Hirvensalo Mika
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - Post Correspondence Problem for short words (2008)
- Information Processing Letters
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - Improved matrix pair undecidability results (2007)
- Acta Informatica
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - Undecidability bounds for integer matrices using claus instances (2007)
- International Journal of Foundations of Computer Science
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Turun yliopiston Tutkimustietojärjestelmän portaali