Journal article
Halava V, Niskanen R. 2024. On simulating Turing machines with matrix semigroups with integrality tests Theoretical Computer Science, 1005 DOI Publisher Url Public Url
Halava V, Harju T, Niskanen R, Potapov I. 2022. Integer Weighted Automata on Infinite Words International Journal of Foundations of Computer Science, DOI Publisher Url Public Url
Ko SK, Niskanen R, Potapov I. 2021. Reachability problems in low-dimensional nondeterministic polynomial maps over integers Information and Computation, 281 DOI Author Url Publisher Url Public Url
Niskanen R, Potapov I, Reichert J. 2020. On decidability and complexity of low-dimensional robot games JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 107 :124-141 DOI Author Url Publisher Url
Halava V, Harju T, Niskanen R, Potapov I. 2017. Weighted automata on infinite words in the context of Attacker-Defender games INFORMATION AND COMPUTATION, 255 :27-44 DOI Author Url Publisher Url
Halava V, Matiyasevich Y, Niskanen R. 2017. Small Semi-Thue System Universal with Respect to the Termination Problem FUNDAMENTA INFORMATICAE, 154 :177-184 DOI Author Url Publisher Url
Conference publication
Bell PC, Niskanen R, Potapov I, Semukhin P. 2023. On the Identity and Group Problems for Complex Heisenberg Matrices Reachability Problems - 17th International Conference, RP 2023, Nice, France, October 11-13, 2023, Proceedings, Reachability Problems: 17th International Conference, RP 2023 14235 :42-45 DOI Publisher Url Public Url
Halava V, Harju T, Niskanen R, Potapov I. 2021. Integer Weighted Automata on Infinite Words Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 12811 LNCS :167-179 DOI Publisher Url
Barceló P, Hong CD, Le XB, Lin AW, Niskanen R. 2019. Monadic decomposability of regular relations Leibniz International Proceedings in Informatics, LIPIcs, 132 DOI Author Url
Ko SK, Niskanen R, Potapov I. 2018. On the identity problem for the special linear group and the heisenberg group Leibniz International Proceedings in Informatics, LIPIcs, 107 DOI Author Url
Ko SK, Niskanen R, Potapov I. 2018. Reachability Problems in Nondeterministic Polynomial Maps on the Integers Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 11088 LNCS :465-477 DOI Publisher Url
Niskanen R. 2017. Reachability problem for polynomial iteration is PSPACE-complete Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 10506 LNCS :132-143 DOI Publisher Url
Niskanen R, Potapov I, Reichert J. 2016. Undecidability of two-dimensional robot games Leibniz International Proceedings in Informatics, LIPIcs, 58 DOI Author Url
Niskanen R. 2016. Robot Games with States in Dimension One Larsen KG, Potapov I, Srba J. REACHABILITY PROBLEMS, RP 2016, 10th International Workshop on Reachability Problems (RP) 9899 :163-176 DOI Author Url Publisher Url
Halava V, Niskanen R, Potapov I. 2015. On robot games of Degree two Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 8977 :224-236 DOI Publisher Url
Halava V, Harju T, Niskanen R, Potapov I. 2015. Weighted Automata on Infinite Words in the Context of Attacker-Defender Games Beckmann A, Mitrana V, Soskova M. EVOLVING COMPUTABILITY, 11th Conference on Computability in Europe (CiE) 9136 :206-215 DOI Author Url Publisher Url
preprint
Bell PC, Niskanen R, Potapov I, Semukhin P. 2023. On the Identity and Group Problems for Complex Heisenberg Matrices DOI Author Url
Barcelo P, Hong C-D, Le X-B, Lin AW, Niskanen R. 2019. Monadic Decomposability of Regular Relations arXiv DOI
Ko S-K, Niskanen R, Potapov I. 2017. On the Identity Problem for the Special Linear Group and the Heisenberg Group arXiv DOI
Niskanen R, Potapov I, Reichert J. 2016. Undecidability of Two-dimensional Robot Games arXiv DOI
Halava V, Harju T, Niskanen R, Potapov I. 2014. Weighted automata on infinite words in the context of Attacker-Defender games arXiv DOI
Chapters
Bell PC, Niskanen R, Potapov I, Semukhin P. 2023. On the Identity and Group Problems for Complex Heisenberg Matrices 14235 LNCS :42-55 DOI Publisher Url
