Reino Niskanen

23 papers A* 2B 1C 5Journal 11Unranked 3
YearRankTypeTitle / Venue / Authors
2025 C conf
NLG Feedback System.
DeSE
Oluwatoyin Chinell Olotu, Hoshang Kolivand, Reino Niskanen, Omar Aldhaibani, Syed Naqvi
2024 J jnl
On simulating Turing machines with matrix semigroups with integrality tests.
Theor. Comput. Sci.
Vesa Halava, Reino Niskanen
2023 J jnl
Integer Weighted Automata on Infinite Words.
Int. J. Found. Comput. Sci.
Vesa Halava, Tero Harju, Reino Niskanen, Igor Potapov
2023 — conf
On the Identity and Group Problems for Complex Heisenberg Matrices.
RP
Paul C. Bell, Reino Niskanen, Igor Potapov, Pavel Semukhin
2023 J jnl
On the Identity and Group Problems for Complex Heisenberg Matrices.
CoRR
Paul C. Bell, Reino Niskanen, Igor Potapov, Pavel Semukhin
2021 C conf
Integer Weighted Automata on Infinite Words.
DLT
Vesa Halava, Tero Harju, Reino Niskanen, Igor Potapov
2021 J jnl
Reachability problems in low-dimensional nondeterministic polynomial maps over integers.
Inf. Comput.
Sang-Ki Ko, Reino Niskanen, Igor Potapov
2020 J jnl
On decidability and complexity of low-dimensional robot games.
J. Comput. Syst. Sci.
Reino Niskanen, Igor Potapov, Julien Reichert
2019 A* conf
Monadic Decomposability of Regular Relations.
ICALP
Pablo Barceló, Chih-Duo Hong, Xuan Bach Le, Anthony W. Lin, Reino Niskanen
2019 J jnl
Monadic Decomposability of Regular Relations.
CoRR
Pablo Barceló, Chih-Duo Hong, Xuan Bach Le, Anthony W. Lin, Reino Niskanen
2018 A* conf
On the Identity Problem for the Special Linear Group and the Heisenberg Group.
ICALP
Sang-Ki Ko, Reino Niskanen, Igor Potapov
2018 C conf
Reachability Problems in Nondeterministic Polynomial Maps on the Integers.
DLT
Sang-Ki Ko, Reino Niskanen, Igor Potapov
2018 — —
Reachability games and related matrix and word problems.
Reino Niskanen
2017 J jnl
On the Identity Problem for the Special Linear Group and the Heisenberg Group.
CoRR
Sang-Ki Ko, Reino Niskanen, Igor Potapov
2017 — conf
Reachability Problem for Polynomial Iteration Is PSPACE-complete.
RP
Reino Niskanen
2017 J jnl
Small Semi-Thue System Universal with Respect to the Termination Problem.
Fundam. Informaticae
Vesa Halava, Yuri V. Matiyasevich, Reino Niskanen
2017 J jnl
Weighted automata on infinite words in the context of Attacker-Defender games.
Inf. Comput.
Vesa Halava, Tero Harju, Reino Niskanen, Igor Potapov
2016 — conf
Robot Games with States in Dimension One.
RP
Reino Niskanen
2016 B conf
Undecidability of Two-dimensional Robot Games.
MFCS
Reino Niskanen, Igor Potapov, Julien Reichert
2016 J jnl
Undecidability of Two-dimensional Robot Games.
CoRR
Reino Niskanen, Igor Potapov, Julien Reichert
2015 C conf
On Robot Games of Degree Two.
LATA
Vesa Halava, Reino Niskanen, Igor Potapov
2015 C conf
Weighted Automata on Infinite Words in the Context of Attacker-Defender Games.
CiE
Vesa Halava, Tero Harju, Reino Niskanen, Igor Potapov
2014 J jnl
On Undecidability of Counter Reachability Games in Dimension One.
CoRR
Vesa Halava, Reino Niskanen, Igor Potapov