Article

Diekert, V, Potapov, I and Semukhin, P (2024) Decidability of membership problems for flat rational subsets of GL(2,Q) and singular matrices. SIAM Journal on Computing, 53 (6). pp. 1663-1708. ISSN 0097-5397

Halava, V, Harju, T, Niskanen, R and Potapov, I (2022) Integer Weighted Automata on Infinite Words. International Journal of Foundations of Computer Science. ISSN 0129-0541

Bell, PC and Potapov, I (2022) Towards Uniform Online Spherical Tessellations. Discrete and Computational Geometry: an international journal of mathematics and computer science. ISSN 0179-5376

Ko, SK, Niskanen, R and Potapov, I (2021) Reachability problems in low-dimensional nondeterministic polynomial maps over integers. Information and Computation, 281. ISSN 0890-5401

Bell, PC, Potapov, I and Semukhin, P (2021) On the Mortality Problem: From Multiplicative Matrix Equations to Linear Recurrence Sequences and Beyond. Information and Computation. ISSN 0890-5401

Conference or Workshop Item

Bell, PC, Niskanen, R, Potapov, I and Semukhin, P (2023) On the Identity and Group Problems for Complex Heisenberg Matrices. In: Reachability Problems - 17th International Conference, RP 2023, Nice, France, October 11-13, 2023, Proceedings , 14235. pp. 42-45. (Reachability Problems: 17th International Conference, RP 2023, 11th October - 13th October 2023, Nice, France).

Bell, PC and Potapov, I (2022) Towards Uniform Online Spherical Tessellations. In: Lecture Notes in Computer Science , 67. pp. 1124-1146. (Computability in Europe, 15 July 2019 - 19 July 2019, Durham, UK).

Diekert, V, Potapov, I and Semukhin, P (2020) Decidability of membership problems for flat rational subsets of GL(2, Q) and singular matrices. In: ISSAC '20: International Symposium on Symbolic and Algebraic Computation, Kalamata, Greece, July 20-23, 2020 . pp. 122-129. (45th International Symposium on Symbolic and Algebraic Computation, 20 July 2020 - 23 July 2020, Kalamata Greece).