Следене
Reino Niskanen
Reino Niskanen
Потвърден имейл адрес: ljmu.ac.uk - Начална страница
Заглавие
Позовавания
Позовавания
Година
On the Identity Problem for the Special Linear Group and the Heisenberg Group
SK Ko, R Niskanen, I Potapov
arXiv preprint arXiv:1706.04166, 2017
222017
Weighted automata on infinite words in the context of Attacker–Defender games
V Halava, T Harju, R Niskanen, I Potapov
Information and Computation 255, 27-44, 2017
132017
Undecidability of Two-dimensional Robot Games
R Niskanen, I Potapov, J Reichert
arXiv preprint arXiv:1604.08779, 2016
132016
Monadic Decomposability of Regular Relations (Track B: Automata, Logic, Semantics, and Theory of Programming)
P Barceló, CD Hong, XB Le, AW Lin, R Niskanen
46th International Colloquium on Automata, Languages, and Programming (ICALP …, 2019
102019
On robot games of degree two
V Halava, R Niskanen, I Potapov
International Conference on Language and Automata Theory and Applications …, 2015
62015
Reachability problems in nondeterministic polynomial maps on the integers
SK Ko, R Niskanen, I Potapov
International Conference on Developments in Language Theory, 465-477, 2018
52018
On decidability and complexity of low-dimensional robot games
R Niskanen, I Potapov, J Reichert
Journal of Computer and System Sciences 107, 124-141, 2020
42020
Reachability Problem for Polynomial Iteration Is PSPACE-complete
R Niskanen
Reachability Problems: 11th International Workshop, RP 2017, London, UK …, 2017
42017
Small Semi-Thue System Universal with Respect to the Termination Problem
V Halava, Y Matiyasevich, R Niskanen
Fundamenta Informaticae 154 (1-4), 177-184, 2017
42017
Robot games with states in dimension one
R Niskanen
International Workshop on Reachability Problems, 163-176, 2016
22016
Integer Weighted Automata on Infinite Words
V Halava, T Harju, R Niskanen, I Potapov
International Journal of Foundations of Computer Science, 1-20, 2022
12022
Reachability problems in low-dimensional nondeterministic polynomial maps over integers
SK Ko, R Niskanen, I Potapov
Information and Computation 281, 104785, 2021
12021
On the Identity and Group Problems for Complex Heisenberg Matrices
PC Bell, R Niskanen, I Potapov, P Semukhin
International Conference on Reachability Problems, 42-55, 2023
2023
Reachability games and related matrix and word problems
R Niskanen
The University of Liverpool (United Kingdom), 2018
2018
Pienten kokonaislukumatriisien kuolevuusongelman ratkeavuudesta
R Niskanen
2013
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–15