Mika Hirvensalo

Orcid: 0000-0002-7014-0258

According to our database1, Mika Hirvensalo authored at least 51 papers between 1997 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
The membership problem for subsemigroups of GL2(Z) is NP-complete.
Inf. Comput., January, 2024

2021
Correction to: Computational limitations of affine automata and generalized affine automata.
Nat. Comput., 2021

Computational limitations of affine automata and generalized affine automata.
Nat. Comput., 2021

On injectivity of quantum finite automata.
J. Comput. Syst. Sci., 2021

2019
Alternating, private alternating, and quantum alternating realtime automata.
Log. Methods Comput. Sci., 2019

Computational Limitations of Affine Automata.
Proceedings of the Unconventional Computation and Natural Computation, 2019

Acceptance Ambiguity for Quantum Automata.
Proceedings of the 44th International Symposium on Mathematical Foundations of Computer Science, 2019

2018
Interference as a computational resource: a tutorial.
Nat. Comput., 2018

2017
The Identity Problem for Matrix Semigroups in SL<sub>2</sub>(ℤ) is NP-complete.
Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms, 2017

On the Computational Power of Affine Automata.
Proceedings of the Language and Automata Theory and Applications, 2017

2016
Preface.
Fundam. Informaticae, 2016

Decision Problems on Unary Probabilistic and Quantum Automata.
Balt. J. Mod. Comput., 2016

2015
Preface.
Fundam. Informaticae, 2015

2014
Classical and quantum realtime alternating automata.
Proceedings of the Sixth Workshop on Non-Classical Models for Automata and Applications, 2014

2013
Decision Problems for Probabilistic Finite Automata on Bounded Languages.
Fundam. Informaticae, 2013

2012
Mathematics for Quantum Information Processing.
Proceedings of the Handbook of Natural Computing, 2012

On probabilistic and quantum reaction systems.
Theor. Comput. Sci., 2012

Recurrent Construction of MacWilliams and Chebyshev Matrices.
Fundam. Informaticae, 2012

Mortality for 2×2 Matrices Is NP-Hard.
Proceedings of the Mathematical Foundations of Computer Science 2012, 2012

2011
Preface.
Fundam. Informaticae, 2011

Quantum Information - A Tutorial.
Proceedings of the Unconventional Computation - 10th International Conference, 2011

Quantum Automata Theory - A Review.
Proceedings of the Algebraic Foundations in Computer Science, 2011

2010
Quantum Automata with Open Time Evolution.
Int. J. Nat. Comput. Res., 2010

On the Joint Spectral Radius for Bounded Matrix Languages.
Proceedings of the Reachability Problems, 4th International Workshop, 2010

2009
Preface.
Theor. Comput. Sci., 2009

2008
Post Correspondence Problem for short words.
Inf. Process. Lett., 2008

Various Aspects of Finite Quantum Automata.
Proceedings of the Developments in Language Theory, 12th International Conference, 2008

2007
Undecidability Bounds for Integer Matrices Using Claus Instances.
Int. J. Found. Comput. Sci., 2007

EPR Paradox and Bell Inequalitites.
Bull. EATCS, 2007

Phillip Kaye, Raymond Laflamme and Michele Mosca, An Introduction to Quantum Computing, Oxford University Press (2007) ISBN 019857049X.
Comput. Sci. Rev., 2007

Improved matrix pair undecidability results.
Acta Informatica, 2007

Improved Undecidability Results on the Emptiness Problem of Probabilistic and Quantum Cut-Point Languages.
Proceedings of the SOFSEM 2007: Theory and Practice of Computer Science, 2007

2006
Positivity of second order linear recurrent sequences.
Discret. Appl. Math., 2006

2004
On Self-Dual Bases of the Extensions of the Binary Field.
Proceedings of the Theory Is Forever, 2004

Quantum computing, Second Edition.
Natural computing series, Springer, ISBN: 978-3-540-40704-1, 2004

2003
Lower Bounds for Las Vegas Automata by Information Theory.
RAIRO Theor. Informatics Appl., 2003

2002
Computing with quanta - impacts of quantum theory on computation.
Theor. Comput. Sci., 2002

Binary (generalized) Post Correspondence Problem.
Theor. Comput. Sci., 2002

Quantum computing - Facts and folklore.
Nat. Comput., 2002

Universality and Quantum Computing.
Bull. EATCS, 2002

Computing Partial Information out of Intractable One - The First Digit of 2<sup> n </sup> at Base 3 as an Example.
Proceedings of the Mathematical Foundations of Computer Science 2002, 2002

2001
Marked PCP is decidable.
Theor. Comput. Sci., 2001

Some Open Problems Related to Quantum Computing.
Bull. EATCS, 2001

An Introduction to Quantum Computing.
Proceedings of the Current Trends in Theoretical Computer Science, 2001

Quantum computing.
Natural computing series, Springer, ISBN: 978-3-540-66783-4, 2001

2000
Generalized Post Correspondence Problem for Marked Morphisms.
Int. J. Algebra Comput., 2000

1999
Decidability and Undecidability of Marked PCP.
Proceedings of the STACS 99, 1999

Generalized PCP Is Decidable for Marked Morphisms.
Proceedings of the Fundamentals of Computation Theory, 12th International Symposium, 1999

1998
An Introduction to Quantum Computing.
Bull. EATCS, 1998

Copying quantum computer makes NP-complete problems tractable.
Proceedings of the International Colloquium Universal Machines and Computations, 1998

1997
The Reversibility in Quantum Computation Theory.
Proceedings of the 3rd International Conference Developments in Language Theory, 1997


  Loading...