Article

Halava, V and Niskanen, R (2024) On simulating Turing machines with matrix semigroups with integrality tests. Theoretical Computer Science, 1005. ISSN 0304-3975

Halava, V, Harju, T, Niskanen, R and Potapov, I (2022) Integer Weighted Automata on Infinite Words. International Journal of Foundations of Computer Science. ISSN 0129-0541

Ko, SK, Niskanen, R and Potapov, I (2021) Reachability problems in low-dimensional nondeterministic polynomial maps over integers. Information and Computation, 281. ISSN 0890-5401

Conference or Workshop Item

Bell, PC, Niskanen, R, Potapov, I and Semukhin, P (2023) On the Identity and Group Problems for Complex Heisenberg Matrices. In: Reachability Problems - 17th International Conference, RP 2023, Nice, France, October 11-13, 2023, Proceedings , 14235. pp. 42-45. (Reachability Problems: 17th International Conference, RP 2023, 11th October - 13th October 2023, Nice, France).