Personal information

No personal information available

Activities

Employment (1)

Liverpool John Moores University: Liverpool, GB

2021-09 to present | Lecturer (School of Computer Science and Mathematics)
Employment
Source: Self-asserted source
Reino Niskanen

Education and qualifications (1)

University of Liverpool: Liverpool, Merseyside, GB

2014-10 to 2018-02 | PhD (Computer Science)
Education
Source: Self-asserted source
Reino Niskanen

Works (15)

On the Identity and Group Problems for Complex Heisenberg Matrices

2023 | Book chapter
Contributors: Paul C. Bell; Reino Niskanen; Igor Potapov; Pavel Semukhin
Source: check_circle
Crossref

Integer Weighted Automata on Infinite Words

International Journal of Foundations of Computer Science
2022 | Journal article | Author
Part of ISSN: 0129-0541
Part of ISSN: 1793-6373
Contributors: Vesa Halava; Tero Harju; Reino Niskanen; Igor Potapov
Source: Self-asserted source
Reino Niskanen

Integer Weighted Automata on Infinite Words

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2021 | Book
EID:

2-s2.0-85113254353

Part of ISSN: 16113349 03029743
Contributors: Halava, V.; Harju, T.; Niskanen, R.; Potapov, I.
Source: Self-asserted source
Reino Niskanen via Scopus - Elsevier

Reachability problems in low-dimensional nondeterministic polynomial maps over integers

Information and Computation
2021 | Journal article
EID:

2-s2.0-85109952352

Part of ISSN: 10902651 08905401
Contributors: Ko, S.K.; Niskanen, R.; Potapov, I.
Source: Self-asserted source
Reino Niskanen via Scopus - Elsevier

Monadic decomposability of regular relations

Leibniz International Proceedings in Informatics, LIPIcs
2019 | Conference paper
EID:

2-s2.0-85069200591

Contributors: Barceló, P.; Hong, C.-D.; Le, X.-B.; Lin, A.W.; Niskanen, R.
Source: Self-asserted source
Reino Niskanen via Scopus - Elsevier

On decidability and complexity of low-dimensional robot games

Journal of Computer and System Sciences
2019 | Journal article
EID:

2-s2.0-85071319315

Contributors: Niskanen, R.; Potapov, I.; Reichert, J.
Source: Self-asserted source
Reino Niskanen via Scopus - Elsevier

On the identity problem for the special linear group and the heisenberg group

Leibniz International Proceedings in Informatics, LIPIcs
2018 | Conference paper
EID:

2-s2.0-85049316349

Contributors: Ko, S.-K.; Niskanen, R.; Potapov, I.
Source: Self-asserted source
Reino Niskanen via Scopus - Elsevier

Reachability Problems in Nondeterministic Polynomial Maps on the Integers

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2018 | Book
EID:

2-s2.0-85053884200

Contributors: Ko, S.-K.; Niskanen, R.; Potapov, I.
Source: Self-asserted source
Reino Niskanen via Scopus - Elsevier

Reachability problem for polynomial iteration is PSPACE-complete

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2017 | Book
EID:

2-s2.0-85029448610

Contributors: Niskanen, R.
Source: Self-asserted source
Reino Niskanen via Scopus - Elsevier

Small semi-thue system universal with respect to the termination problem

Fundamenta Informaticae
2017 | Journal article
EID:

2-s2.0-85027316671

Contributors: Halava, V.; Matiyasevich, Y.; Niskanen, R.
Source: Self-asserted source
Reino Niskanen via Scopus - Elsevier

Weighted automata on infinite words in the context of Attacker–Defender games

Information and Computation
2017 | Journal article
EID:

2-s2.0-85019951412

Contributors: Halava, V.; Harju, T.; Niskanen, R.; Potapov, I.
Source: Self-asserted source
Reino Niskanen via Scopus - Elsevier

Robot games with states in dimension one

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2016 | Book
EID:

2-s2.0-85007566354

Contributors: Niskanen, R.
Source: Self-asserted source
Reino Niskanen via Scopus - Elsevier

Undecidability of two-dimensional robot games

Leibniz International Proceedings in Informatics, LIPIcs
2016 | Conference paper
EID:

2-s2.0-85012915932

Contributors: Niskanen, R.; Potapov, I.; Reichert, J.
Source: Self-asserted source
Reino Niskanen via Scopus - Elsevier

On robot games of Degree two

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2015 | Book
EID:

2-s2.0-84928779646

Contributors: Halava, V.; Niskanen, R.; Potapov, I.
Source: Self-asserted source
Reino Niskanen via Scopus - Elsevier

Weighted automata on infinite words in the context of Attacker-Defender games

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2015 | Book
EID:

2-s2.0-84950153682

Contributors: Halava, V.; Harju, T.; Niskanen, R.; Potapov, I.
Source: Self-asserted source
Reino Niskanen via Scopus - Elsevier