![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Mika Hirvensalo
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2004
- [b2]Mika Hirvensalo:
Quantum computing, Second Edition. Natural computing series, Springer 2004, ISBN 978-3-540-40704-1, pp. I-XIII, 1-214 - 2001
- [b1]Mika Hirvensalo:
Quantum computing. Natural computing series, Springer 2001, ISBN 978-3-540-66783-4, pp. I-XI, 1-190
Journal Articles
- 2024
- [j30]Paul C. Bell
, Mika Hirvensalo, Igor Potapov
:
The membership problem for subsemigroups of GL2(Z) is NP-complete. Inf. Comput. 296: 105132 (2024) - 2021
- [j29]Paul C. Bell
, Mika Hirvensalo:
On injectivity of quantum finite automata. J. Comput. Syst. Sci. 122: 19-33 (2021) - [j28]Mika Hirvensalo
, Etienne Moutot
, Abuzer Yakaryilmaz:
Computational limitations of affine automata and generalized affine automata. Nat. Comput. 20(2): 259-270 (2021) - [j27]Mika Hirvensalo
, Etienne Moutot
, Abuzer Yakaryilmaz:
Correction to: Computational limitations of affine automata and generalized affine automata. Nat. Comput. 20(2): 271 (2021) - 2019
- [j26]Gökalp Demirci, Mika Hirvensalo, Klaus Reinhardt, A. C. Cem Say
, Abuzer Yakaryilmaz:
Alternating, private alternating, and quantum alternating realtime automata. Log. Methods Comput. Sci. 15(3) (2019) - 2018
- [j25]Mika Hirvensalo:
Interference as a computational resource: a tutorial. Nat. Comput. 17(1): 201-219 (2018) - 2016
- [j24]Mika Hirvensalo, Abuzer Yakaryilmaz:
Decision Problems on Unary Probabilistic and Quantum Automata. Balt. J. Mod. Comput. 4(4) (2016) - [j23]Suna Bensch
, Rudolf Freund, Mika Hirvensalo, Friedrich Otto:
Preface. Fundam. Informaticae 148(3-4): i-ii (2016) - 2015
- [j22]Suna Bensch
, Frank Drewes, Mika Hirvensalo, Friedrich Otto:
Preface. Fundam. Informaticae 136(1-2) (2015) - 2013
- [j21]Paul C. Bell
, Vesa Halava, Mika Hirvensalo:
Decision Problems for Probabilistic Finite Automata on Bounded Languages. Fundam. Informaticae 123(1): 1-14 (2013) - 2012
- [j20]Nikita Gogin, Mika Hirvensalo:
Recurrent Construction of MacWilliams and Chebyshev Matrices. Fundam. Informaticae 116(1-4): 93-110 (2012) - [j19]Mika Hirvensalo:
On probabilistic and quantum reaction systems. Theor. Comput. Sci. 429: 134-143 (2012) - 2011
- [j18]Henning Bordihn, Rudolf Freund, Mika Hirvensalo, Markus Holzer
, Martin Kutrib
, Friedrich Otto:
Preface. Fundam. Informaticae 112(2-3) (2011) - 2010
- [j17]Mika Hirvensalo:
Quantum Automata with Open Time Evolution. Int. J. Nat. Comput. Res. 1(1): 70-85 (2010) - 2009
- [j16]Mika Hirvensalo:
Preface. Theor. Comput. Sci. 410(20): 1915 (2009) - 2008
- [j15]Vesa Halava, Tero Harju
, Mika Hirvensalo, Juhani Karhumäki:
Post Correspondence Problem for short words. Inf. Process. Lett. 108(3): 115-118 (2008) - 2007
- [j14]Vesa Halava, Mika Hirvensalo:
Improved matrix pair undecidability results. Acta Informatica 44(3-4): 191-205 (2007) - [j13]Mika Hirvensalo:
Phillip Kaye, Raymond Laflamme and Michele Mosca, An Introduction to Quantum Computing, Oxford University Press (2007) ISBN 019857049X. Comput. Sci. Rev. 1(1): 73-76 (2007) - [j12]Mika Hirvensalo:
EPR Paradox and Bell Inequalitites. Bull. EATCS 92: 115-139 (2007) - [j11]Vesa Halava, Tero Harju
, Mika Hirvensalo:
Undecidability Bounds for Integer Matrices Using Claus Instances. Int. J. Found. Comput. Sci. 18(5): 931-948 (2007) - 2006
- [j10]Vesa Halava, Tero Harju
, Mika Hirvensalo:
Positivity of second order linear recurrent sequences. Discret. Appl. Math. 154(3): 447-451 (2006) - 2003
- [j9]Mika Hirvensalo, Sebastian Seibert:
Lower Bounds for Las Vegas Automata by Information Theory. RAIRO Theor. Informatics Appl. 37(1): 39-49 (2003) - 2002
- [j8]Mika Hirvensalo:
Universality and Quantum Computing. Bull. EATCS 78: 199-203 (2002) - [j7]Mika Hirvensalo:
Quantum computing - Facts and folklore. Nat. Comput. 1(1): 135-155 (2002) - [j6]Vesa Halava, Tero Harju
, Mika Hirvensalo:
Binary (generalized) Post Correspondence Problem. Theor. Comput. Sci. 276(1-2): 183-204 (2002) - [j5]Mika Hirvensalo:
Computing with quanta - impacts of quantum theory on computation. Theor. Comput. Sci. 287(1): 267-298 (2002) - 2001
- [j4]Mika Hirvensalo:
Some Open Problems Related to Quantum Computing. Bull. EATCS 74: 154-170 (2001) - [j3]Vesa Halava, Mika Hirvensalo, Ronald de Wolf:
Marked PCP is decidable. Theor. Comput. Sci. 255(1-2): 193-204 (2001) - 2000
- [j2]Vesa Halava, Tero Harju
, Mika Hirvensalo:
Generalized Post Correspondence Problem for Marked Morphisms. Int. J. Algebra Comput. 10(6): 757-772 (2000) - 1998
- [j1]Mika Hirvensalo:
An Introduction to Quantum Computing. Bull. EATCS 66: 100-121 (1998)
Conference and Workshop Papers
- 2019
- [c17]Paul C. Bell
, Mika Hirvensalo:
Acceptance Ambiguity for Quantum Automata. MFCS 2019: 70:1-70:14 - [c16]Mika Hirvensalo, Etienne Moutot
, Abuzer Yakaryilmaz
:
Computational Limitations of Affine Automata. UCNC 2019: 108-121 - 2017
- [c15]Mika Hirvensalo, Etienne Moutot
, Abuzer Yakaryilmaz
:
On the Computational Power of Affine Automata. LATA 2017: 405-417 - [c14]Paul C. Bell, Mika Hirvensalo, Igor Potapov:
The Identity Problem for Matrix Semigroups in SL2(ℤ) is NP-complete. SODA 2017: 187-206 - 2014
- [c13]H. Gökalp Demirci, Mika Hirvensalo, Klaus Reinhardt, A. C. Cem Say, Abuzer Yakaryilmaz:
Classical and quantum realtime alternating automata. NCMA 2014: 101-114 - 2012
- [c12]Paul C. Bell
, Mika Hirvensalo, Igor Potapov:
Mortality for 2×2 Matrices Is NP-Hard. MFCS 2012: 148-159 - 2011
- [c11]Mika Hirvensalo:
Quantum Automata Theory - A Review. Algebraic Foundations in Computer Science 2011: 146-167 - [c10]Mika Hirvensalo:
Quantum Information - A Tutorial. UC 2011: 11-13 - 2010
- [c9]Paul Bell
, Vesa Halava, Mika Hirvensalo:
On the Joint Spectral Radius for Bounded Matrix Languages. RP 2010: 91-103 - 2008
- [c8]Mika Hirvensalo:
Various Aspects of Finite Quantum Automata. Developments in Language Theory 2008: 21-33 - 2007
- [c7]Mika Hirvensalo:
Improved Undecidability Results on the Emptiness Problem of Probabilistic and Quantum Cut-Point Languages. SOFSEM (1) 2007: 309-319 - 2004
- [c6]Mika Hirvensalo, Jyrki T. Lahtonen:
On Self-Dual Bases of the Extensions of the Binary Field. Theory Is Forever 2004: 102-111 - 2002
- [c5]Mika Hirvensalo, Juhani Karhumäki:
Computing Partial Information out of Intractable One - The First Digit of 2 n at Base 3 as an Example. MFCS 2002: 319-327 - 1999
- [c4]Vesa Halava, Tero Harju
, Mika Hirvensalo:
Generalized PCP Is Decidable for Marked Morphisms. FCT 1999: 304-315 - [c3]Vesa Halava, Mika Hirvensalo, Ronald de Wolf:
Decidability and Undecidability of Marked PCP. STACS 1999: 207-216 - 1998
- [c2]Mika Hirvensalo:
Copying quantum computer makes NP-complete problems tractable. MCU (2) 1998: 1-10 - 1997
- [c1]Mika Hirvensalo:
The Reversibility in Quantum Computation Theory. Developments in Language Theory 1997: 203-210
Parts in Books or Collections
- 2012
- [p2]Mika Hirvensalo:
Mathematics for Quantum Information Processing. Handbook of Natural Computing 2012: 1381-1412 - 2001
- [p1]Mika Hirvensalo:
An Introduction to Quantum Computing. Current Trends in Theoretical Computer Science 2001: 643-663
Informal and Other Publications
- 2019
- [i5]Mika Hirvensalo, Etienne Moutot, Abuzer Yakaryilmaz:
Computational Limitations of Affine Automata. CoRR abs/1904.02428 (2019) - [i4]Paul C. Bell
, Mika Hirvensalo:
Acceptance Ambiguity for Quantum Automata. CoRR abs/1907.01471 (2019) - 2016
- [i3]Mika Hirvensalo, Abuzer Yakaryilmaz:
Decision problems on unary probabilistic and quantum automata. CoRR abs/1610.01397 (2016) - [i2]Mika Hirvensalo, Etienne Moutot, Abuzer Yakaryilmaz:
On the computational power of affine automata. CoRR abs/1612.01870 (2016) - 2014
- [i1]H. Gökalp Demirci, Mika Hirvensalo, Klaus Reinhardt, A. C. Cem Say, Abuzer Yakaryilmaz:
Classical and quantum realtime alternating automata. CoRR abs/1407.0334 (2014)
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:11 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint