Reino Niskanen

ORCID

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 20

Top Venues

CoRR

ICALP

Inf. Comput.

University of Liverpool, UK (PHD)

Education History

University of Liverpool, UK

PHD

Publications

Vesa Halava, Reino Niskanen
On simulating Turing machines with matrix semigroups with integrality tests. Theor. Comput. Sci. 1005 (2024)
Paul C. Bell, Reino Niskanen, Igor Potapov, Pavel Semukhin
On the Identity and Group Problems for Complex Heisenberg Matrices. RP (2023)
Vesa Halava, Tero Harju, Reino Niskanen, Igor Potapov
Integer Weighted Automata on Infinite Words. Int. J. Found. Comput. Sci. 34 (2&3) (2023)
Paul C. Bell, Reino Niskanen, Igor Potapov, Pavel Semukhin
On the Identity and Group Problems for Complex Heisenberg Matrices. CoRR (2023)
Sang-Ki Ko, Reino Niskanen, Igor Potapov
Reachability problems in low-dimensional nondeterministic polynomial maps over integers. Inf. Comput. 281 (2021)
Vesa Halava, Tero Harju, Reino Niskanen, Igor Potapov
Integer Weighted Automata on Infinite Words. DLT (2021)
Reino Niskanen, Igor Potapov, Julien Reichert
On decidability and complexity of low-dimensional robot games. J. Comput. Syst. Sci. 107 (2020)
Pablo Barceló, Chih-Duo Hong, Xuan Bach Le, Anthony W. Lin, Reino Niskanen
Monadic Decomposability of Regular Relations. ICALP (2019)
Pablo Barceló, Chih-Duo Hong, Xuan Bach Le, Anthony W. Lin, Reino Niskanen
Monadic Decomposability of Regular Relations. CoRR (2019)
Sang-Ki Ko, Reino Niskanen, Igor Potapov
On the Identity Problem for the Special Linear Group and the Heisenberg Group. ICALP (2018)
Sang-Ki Ko, Reino Niskanen, Igor Potapov
Reachability Problems in Nondeterministic Polynomial Maps on the Integers. DLT (2018)
Sang-Ki Ko, Reino Niskanen, Igor Potapov
On the Identity Problem for the Special Linear Group and the Heisenberg Group. CoRR (2017)
Vesa Halava, Tero Harju, Reino Niskanen, Igor Potapov
Weighted automata on infinite words in the context of Attacker-Defender games. Inf. Comput. 255 (2017)
Reino Niskanen
Reachability Problem for Polynomial Iteration Is PSPACE-complete. RP (2017)
Vesa Halava, Yuri V. Matiyasevich, Reino Niskanen
Small Semi-Thue System Universal with Respect to the Termination Problem. Fundam. Informaticae 154 (1-4) (2017)
Reino Niskanen, Igor Potapov, Julien Reichert
Undecidability of Two-dimensional Robot Games. CoRR (2016)
Reino Niskanen, Igor Potapov, Julien Reichert
Undecidability of Two-dimensional Robot Games. MFCS (2016)
Reino Niskanen
Robot Games with States in Dimension One. RP (2016)
Vesa Halava, Tero Harju, Reino Niskanen, Igor Potapov
Weighted Automata on Infinite Words in the Context of Attacker-Defender Games. CiE (2015)
Vesa Halava, Reino Niskanen, Igor Potapov
On Robot Games of Degree Two. LATA (2015)
Vesa Halava, Reino Niskanen, Igor Potapov
On Undecidability of Counter Reachability Games in Dimension One. CoRR (2014)

Reino Niskanen.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Reino Niskanen