Mika Hirvensalo
mikhirve@utu.fi +358 29 450 4325 +358 50 338 8034 Vesilinnantie 5 Turku |
Julkaisut
- Reachability in Linear Recurrence Automata (2024)
- Lecture Notes in Computer Science
(A4 Vertaisarvioitu artikkeli konferenssijulkaisussa) - The membership problem for subsemigroups of GL2(Z) is NP-complete (2024)
- Information and Computation
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - A Riemann Hypothesis Analog for the Krawtchouk and Discrete Chebyshev Polynomials (2022)
- Journal of Mathematical Sciences
(O2 Muu julkaisu ) - Riemann Hypothesis Property for The Convergents of a Continued Fraction Expansion (2022) Gogin Nikita, Hirvensalo Mika
(O2 Muu julkaisu ) - A Riemann hypothesis analog for the Krawtchouk and discrete Chebyshev polynomials (2021)
- Zapiski Nauchnyh Seminarov Pomi
(A4 Vertaisarvioitu artikkeli konferenssijulkaisussa) - Computational limitations of affine automata and generalized affine automata (2021)
- Natural Computing
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - Non-Classical Models of Automata and Applications IX (2021) Hirvensalo Mika, Mráz František, Průša Daniel
(C2 Toimitustyö tieteelliselle kokoomateokselle) - On injectivity of quantum finite automata (2021)
- Journal of Computer and System Sciences
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - On the Moments of Squared Binomial Coefficients (2020) International Conference Polynomial Computer Algebra ‘2020; St. Petersburg, October 12–17 2020, Euler International Mathematical Institute Gogin Nikita, Hirvensalo Mika
(O2 Muu julkaisu ) - Acceptance Ambiguity for Quantum Automata (2019)
- LIPICS – Leibniz international proceedings in informatics
(A4 Vertaisarvioitu artikkeli konferenssijulkaisussa) - Alternating, private alternating, and quantum alternating realtime automata (2019)
- Logical Methods in Computer Science
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - Computational Limitations of Affine Automata (2019)
- Lecture Notes in Computer Science
(A4 Vertaisarvioitu artikkeli konferenssijulkaisussa) - Proceedings of Workshop on Quantum Computing and Quantum Information (2019) Mika Hirvensalo, Abuzer Yakaryılmaz
(C2 Toimitustyö tieteelliselle kokoomateokselle) - Interference as a computational resource: a tutorial (2018)
- Natural Computing
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - On the Computational Power of Affine Automata (2017)
- Lecture Notes in Computer Science
(A4 Vertaisarvioitu artikkeli konferenssijulkaisussa) - On the Generating Function of Discrete Chebyshev Polynomials (2017)
- Journal of Mathematical Sciences
(O2 Muu julkaisu ) - The Identity Problem for Matrix Semigroups in SL2(Z) is NP-complete (2017) SODA '17: Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms Paul C. Bell, Mika Hirvensalo, Igor Potapov
(A4 Vertaisarvioitu artikkeli konferenssijulkaisussa) - Decision Problems on Unary Probabilistic and Quantum Automata (2016)
- Baltic Journal of Modern Computing
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - Non-Classical Models of Automata and Applications VI (2016)
- Fundamenta Informaticae
(B1 Vertaisarvioimaton kirjoitus tieteellisessä lehdessä ) - On the generating function of discrete Chebyshev polynomials (2016)
- Zapiski Nauchnyh Seminarov Pomi
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )