Mika Hirvensalo

57 papers A* 1A 1B 4C 4Journal 35Unranked 8
YearRankTypeTitle / Venue / Authors
2024 — conf
Reachability in Linear Recurrence Automata.
RP
Mika Hirvensalo, Akitoshi Kawamura, Igor Potapov, Takao Yuyama
2024 J jnl
The membership problem for subsemigroups of GL2(Z) is NP-complete.
Inf. Comput.
Paul C. Bell, Mika Hirvensalo, Igor Potapov
2021 J jnl
Computational limitations of affine automata and generalized affine automata.
Nat. Comput.
Mika Hirvensalo, Etienne Moutot, Abuzer Yakaryilmaz
2021 J jnl
Correction to: Computational limitations of affine automata and generalized affine automata.
Nat. Comput.
Mika Hirvensalo, Etienne Moutot, Abuzer Yakaryilmaz
2021 J jnl
On injectivity of quantum finite automata.
J. Comput. Syst. Sci.
Paul C. Bell, Mika Hirvensalo
2019 B conf
Acceptance Ambiguity for Quantum Automata.
MFCS
Paul C. Bell, Mika Hirvensalo
2019 J jnl
Acceptance Ambiguity for Quantum Automata.
CoRR
Paul C. Bell, Mika Hirvensalo
2019 J jnl
Alternating, private alternating, and quantum alternating realtime automata.
Log. Methods Comput. Sci.
Gökalp Demirci, Mika Hirvensalo, Klaus Reinhardt, A. C. Cem Say, Abuzer Yakaryilmaz
2019 — conf
Computational Limitations of Affine Automata.
UCNC
Mika Hirvensalo, Etienne Moutot, Abuzer Yakaryilmaz
2019 J jnl
Computational Limitations of Affine Automata.
CoRR
Mika Hirvensalo, Etienne Moutot, Abuzer Yakaryilmaz
2018 J jnl
Interference as a computational resource: a tutorial.
Nat. Comput.
Mika Hirvensalo
2017 C conf
On the Computational Power of Affine Automata.
LATA
Mika Hirvensalo, Etienne Moutot, Abuzer Yakaryilmaz
2017 A* conf
The Identity Problem for Matrix Semigroups in SL
SODA
Paul C. Bell, Mika Hirvensalo, Igor Potapov
2016 J jnl
Decision Problems on Unary Probabilistic and Quantum Automata.
Balt. J. Mod. Comput.
Mika Hirvensalo, Abuzer Yakaryilmaz
2016 J jnl
Decision problems on unary probabilistic and quantum automata.
CoRR
Mika Hirvensalo, Abuzer Yakaryilmaz
2016 J jnl
On the computational power of affine automata.
CoRR
Mika Hirvensalo, Etienne Moutot, Abuzer Yakaryilmaz
2016 J jnl
Preface.
Fundam. Informaticae
Suna Bensch, Rudolf Freund, Mika Hirvensalo, Friedrich Otto
2015 J jnl
Preface.
Fundam. Informaticae
Suna Bensch, Frank Drewes, Mika Hirvensalo, Friedrich Otto
2014 — conf
Classical and quantum realtime alternating automata.
NCMA
H. Gökalp Demirci, Mika Hirvensalo, Klaus Reinhardt, A. C. Cem Say, Abuzer Yakaryilmaz
2014 J jnl
Classical and quantum realtime alternating automata.
CoRR
H. Gökalp Demirci, Mika Hirvensalo, Klaus Reinhardt, A. C. Cem Say, Abuzer Yakaryilmaz
2013 J jnl
Decision Problems for Probabilistic Finite Automata on Bounded Languages.
Fundam. Informaticae
Paul C. Bell, Vesa Halava, Mika Hirvensalo
2012 — ch.
Mathematics for Quantum Information Processing.
Handbook of Natural Computing
Mika Hirvensalo
2012 B conf
Mortality for 2×2 Matrices Is NP-Hard.
MFCS
Paul C. Bell, Mika Hirvensalo, Igor Potapov
2012 J jnl
On probabilistic and quantum reaction systems.
Theor. Comput. Sci.
Mika Hirvensalo
2012 J jnl
Recurrent Construction of MacWilliams and Chebyshev Matrices.
Fundam. Informaticae
Nikita Gogin, Mika Hirvensalo
2011 J jnl
Preface.
Fundam. Informaticae
Henning Bordihn, Rudolf Freund, Mika Hirvensalo, Markus Holzer, Martin Kutrib, Friedrich Otto
2011 — conf
Quantum Automata Theory - A Review.
Algebraic Foundations in Computer Science
Mika Hirvensalo
2011 C conf
Quantum Information - A Tutorial.
UC
Mika Hirvensalo
2010 — conf
On the Joint Spectral Radius for Bounded Matrix Languages.
RP
Paul Bell, Vesa Halava, Mika Hirvensalo
2010 J jnl
Quantum Automata with Open Time Evolution.
Int. J. Nat. Comput. Res.
Mika Hirvensalo
2009 J jnl
Preface.
Theor. Comput. Sci.
Mika Hirvensalo
2008 J jnl
Post Correspondence Problem for short words.
Inf. Process. Lett.
Vesa Halava, Tero Harju, Mika Hirvensalo, Juhani Karhumäki
2008 C conf
Various Aspects of Finite Quantum Automata.
Developments in Language Theory
Mika Hirvensalo
2007 J jnl
EPR Paradox and Bell Inequalitites.
Bull. EATCS
Mika Hirvensalo
2007 — conf
Improved Undecidability Results on the Emptiness Problem of Probabilistic and Quantum Cut-Point Languages.
SOFSEM (1)
Mika Hirvensalo
2007 J jnl
Improved matrix pair undecidability results.
Acta Informatica
Vesa Halava, Mika Hirvensalo
2007 J jnl
Phillip Kaye, Raymond Laflamme and Michele Mosca, An Introduction to Quantum Computing, Oxford University Press (2007) ISBN 019857049X.
Comput. Sci. Rev.
Mika Hirvensalo
2007 J jnl
Undecidability Bounds for Integer Matrices Using Claus Instances.
Int. J. Found. Comput. Sci.
Vesa Halava, Tero Harju, Mika Hirvensalo
2006 J jnl
Positivity of second order linear recurrent sequences.
Discret. Appl. Math.
Vesa Halava, Tero Harju, Mika Hirvensalo
2004 — conf
On Self-Dual Bases of the Extensions of the Binary Field.
Theory Is Forever
Mika Hirvensalo, Jyrki T. Lahtonen
2004 — book
Quantum computing, Second Edition.
Mika Hirvensalo
2003 J jnl
Lower Bounds for Las Vegas Automata by Information Theory.
RAIRO Theor. Informatics Appl.
Mika Hirvensalo, Sebastian Seibert
2002 J jnl
Binary (generalized) Post Correspondence Problem.
Theor. Comput. Sci.
Vesa Halava, Tero Harju, Mika Hirvensalo
2002 B conf
Computing Partial Information out of Intractable One - The First Digit of 2
MFCS
Mika Hirvensalo, Juhani Karhumäki
2002 J jnl
Computing with quanta - impacts of quantum theory on computation.
Theor. Comput. Sci.
Mika Hirvensalo
2002 J jnl
Quantum computing - Facts and folklore.
Nat. Comput.
Mika Hirvensalo
2002 J jnl
Universality and Quantum Computing.
Bull. EATCS
Mika Hirvensalo
2001 — ch.
An Introduction to Quantum Computing.
Current Trends in Theoretical Computer Science
Mika Hirvensalo
2001 J jnl
Marked PCP is decidable.
Theor. Comput. Sci.
Vesa Halava, Mika Hirvensalo, Ronald de Wolf
2001 — book
Quantum computing.
Mika Hirvensalo
2001 J jnl
Some Open Problems Related to Quantum Computing.
Bull. EATCS
Mika Hirvensalo
2000 J jnl
Generalized Post Correspondence Problem for Marked Morphisms.
Int. J. Algebra Comput.
Vesa Halava, Tero Harju, Mika Hirvensalo
1999 A conf
Decidability and Undecidability of Marked PCP.
STACS
Vesa Halava, Mika Hirvensalo, Ronald de Wolf
1999 B conf
Generalized PCP Is Decidable for Marked Morphisms.
FCT
Vesa Halava, Tero Harju, Mika Hirvensalo
1998 J jnl
An Introduction to Quantum Computing.
Bull. EATCS
Mika Hirvensalo
1998 — conf
Copying quantum computer makes NP-complete problems tractable.
MCU (2)
Mika Hirvensalo
1997 C conf
The Reversibility in Quantum Computation Theory.
Developments in Language Theory
Mika Hirvensalo