Up a level |
Halava, Vesa, Harju, Tero, Niskanen, Reino ORCID: 0000-0002-2210-1481 and PotapoV, Igor
(2021)
Integer Weighted Automata on Infinite Words.
In: Developments in Language Theory, 2021-8-16 - 2021-8-20, Porto, Portugal.
Halava, Vesa, Harju, Tero, Niskanen, Reino and Potapov, Igor
(2023)
Integer Weighted Automata on Infinite Words.
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 34 (02N03).
pp. 163-182.
Ko, Sang-Ki, Niskanen, Reino ORCID: 0000-0002-2210-1481 and Potapov, Igor
(2017)
On the Identity Problem for the Special Linear Group and the Heisenberg
Group.
[Internet Publication]
Ko, Sang-Ki, Niskanen, Reino and Potapov, Igor
(2018)
On the Identity Problem for the Special Linear Group and the Heisenberg Group.
In: International Colloquium on Automata, Languages, and Programming (ICALP), 2018-7-9 - 2018-7-13, Prague, Czech Republic.
Bell, Paul C, Niskanen, Reino, Potapov, Igor and Semukhin, Pavel
(2023)
On the Identity and Group Problems for Complex Heisenberg Matrices.
CoRR, abs/23.
Bell, Paul C, Niskanen, Reino, Potapov, Igor and Semukhin, Pavel
(2023)
On the Identity and Group Problems for Complex Heisenberg Matrices.
.
Ko, Sang-Ki, Niskanen, Reino ORCID: 0000-0002-2210-1481 and Potapov, Igor
(2018)
Reachability Problems in Nondeterministic Polynomial Maps on the Integers.
In: 22nd International Conference on Developments in Language Theory (DLT 2018), 2018-9-10 - 2018-9-14, Tokyo, Japan.
Niskanen, Reino ORCID: 0000-0002-2210-1481, Potapov, Igor and Reichert, Julien
(2016)
Undecidability of Two-dimensional Robot Games.
Leibniz International Proceedings in Informatics, LIPIcs, 58.