Igor Potapov

ORCID

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 77

Top Venues

Publications

Duncan Adamson, Nathan Flaherty, Igor Potapov, Paul G. Spirakis
Structural and Combinatorial Properties of 2-Swap Word Permutation Graphs. LATIN (2) (2024)
Duncan Adamson, Nathan Flaherty, Igor Potapov, Paul G. Spirakis
Collision-Free Robot Scheduling. CoRR (2024)
Paul C. Bell, Mika Hirvensalo, Igor Potapov
The membership problem for subsemigroups of GL2(Z) is NP-complete. Inf. Comput. 296 (2024)
Duncan Adamson, Nathan Flaherty, Igor Potapov, Paul G. Spirakis
Brief Announcement: Collision-Free Robot Scheduling. SAND (2024)
Abdullah Almethen, Othon Michail, Igor Potapov
Distributed transformations of Hamiltonian shapes based on line moves. Theor. Comput. Sci. 942 (2023)
Paul C. Bell, Reino Niskanen, Igor Potapov, Pavel Semukhin
On the Identity and Group Problems for Complex Heisenberg Matrices. RP (2023)
Igor Potapov, Jason F. Ralph, Theofilos Triommatis
The Maximum Cover with Rotating Field of View. CoRR (2023)
Vesa Halava, Tero Harju, Reino Niskanen, Igor Potapov
Integer Weighted Automata on Infinite Words. Int. J. Found. Comput. Sci. 34 (2&3) (2023)
Vladimir V. Gusev, Duncan Adamson, Argyrios Deligkas, Dmytro Antypov, Christopher M. Collins, Piotr Krysta, Igor Potapov, George R. Darling, Matthew S. Dyer, Paul G. Spirakis, Matthew J. Rosseinsky
Optimality guarantees for crystal structure prediction. Nat. 619 (7968) (2023)
Duncan Adamson, Nathan Flaherty, Igor Potapov, Paul G. Spirakis
On the structural and combinatorial properties in 2-swap word permutation graphs. CoRR (2023)
Paul C. Bell, Reino Niskanen, Igor Potapov, Pavel Semukhin
On the Identity and Group Problems for Complex Heisenberg Matrices. CoRR (2023)
Duncan Adamson, Argyrios Deligkas, Vladimir V. Gusev, Igor Potapov
The k-Centre Problem for Classes of Cyclic Words. SOFSEM (2023)
Duncan Adamson, Argyrios Deligkas, Vladimir V. Gusev, Igor Potapov
The Complexity of Periodic Energy Minimisation. MFCS (2022)
Paul C. Bell, Igor Potapov
Towards Uniform Online Spherical Tessellations. Discret. Comput. Geom. 67 (4) (2022)
Matthew Connor, Othon Michail, Igor Potapov
Centralised connectivity-preserving transformations for programmable matter: A minimal seed approach. Theor. Comput. Sci. 936 (2022)
Argyrios Deligkas, Igor Potapov
Optimizing reachability sets in temporal graphs by delaying. Inf. Comput. 285 (Part) (2022)
Theofilos Triommatis, Igor Potapov, Gareth Rees, Jason F. Ralph
A Geometric Approach to Passive Localisation. CoRR (2022)
Abdullah Almethen, Othon Michail, Igor Potapov
On efficient connectivity-preserving transformations in a grid. Theor. Comput. Sci. 898 (2022)
Theofilos Triommatis, Igor Potapov, Gareth Rees, Jason F. Ralph
A Geometric Approach to Passive Localisation. FUSION (2022)
Paul C. Bell, Igor Potapov, Sylvain Schmitz, Patrick Totzke
Preface. Fundam. Informaticae 189 (3-4) (2022)
Matthew Hague, Igor Potapov
Preface. Fundam. Informaticae 178 (1-2) (2021)
Abdullah Almethen, Othon Michail, Igor Potapov
Distributed Transformations of Hamiltonian Shapes based on Line Moves. CoRR (2021)
Duncan Adamson, Argyrios Deligkas, Vladimir V. Gusev, Igor Potapov
Ranking Bracelets in Polynomial Time. CoRR (2021)
Sang-Ki Ko, Reino Niskanen, Igor Potapov
Reachability problems in low-dimensional nondeterministic polynomial maps over integers. Inf. Comput. 281 (2021)
Duncan Adamson, Argyrios Deligkas, Vladimir V. Gusev, Igor Potapov
The k-Centre Selection Problem for Multidimensional Necklaces. CoRR (2021)
Mikolaj Bojanczyk, Thomas Brihaye, Christoph Haase, Slawomir Lasota, Joël Ouaknine, Igor Potapov
Preface. Inf. Comput. 277 (2021)
Duncan Adamson, Vladimir V. Gusev, Igor Potapov, Argyrios Deligkas
Ranking Bracelets in Polynomial Time. CPM (2021)
Abdullah Almethen, Othon Michail, Igor Potapov
Distributed Transformations of Hamiltonian Shapes Based on Line Moves. ALGOSENSORS (2021)
Paul C. Bell, Igor Potapov, Pavel Semukhin
On the mortality problem: From multiplicative matrix equations to linear recurrence sequences and beyond. Inf. Comput. 281 (2021)
Vesa Halava, Tero Harju, Reino Niskanen, Igor Potapov
Integer Weighted Automata on Infinite Words. DLT (2021)
Matthew Connor, Othon Michail, Igor Potapov
Centralised Connectivity-Preserving Transformations for Programmable Matter: A Minimal Seed Approach. CoRR (2021)
Matthew Connor, Othon Michail, Igor Potapov
Centralised Connectivity-Preserving Transformations for Programmable Matter: A Minimal Seed Approach. ALGOSENSORS (2021)
Duncan Adamson, Argyrios Deligkas, Vladimir V. Gusev, Igor Potapov
On the Hardness of Energy Minimisation for Crystal Structure Prediction. Fundam. Informaticae 184 (3) (2021)
Duncan Adamson, Argyrios Deligkas, Vladimir V. Gusev, Igor Potapov
On the Hardness of Energy Minimisation for Crystal Structure Prediction. SOFSEM (2020)
Abdullah Almethen, Othon Michail, Igor Potapov
On Efficient Connectivity-Preserving Transformations in a Grid. CoRR (2020)
Volker Diekert, Igor Potapov, Pavel Semukhin
Decidability of membership problems for flat rational subsets of GL(2, Q) and singular matrices. ISSAC (2020)
Argyrios Deligkas, Igor Potapov
Optimizing Reachability Sets in Temporal Graphs by Delaying. AAAI (2020)
Argyrios Deligkas, Igor Potapov
Optimizing Reachability Sets in Temporal Graphs by Delaying. CoRR (2020)
Abdullah Almethen, Othon Michail, Igor Potapov
On Efficient Connectivity-Preserving Transformations in a Grid. ALGOSENSORS (2020)
Duncan Adamson, Argyrios Deligkas, Vladimir V. Gusev, Igor Potapov
The K-Centre Problem for Necklaces. CoRR (2020)
Reino Niskanen, Igor Potapov, Julien Reichert
On decidability and complexity of low-dimensional robot games. J. Comput. Syst. Sci. 107 (2020)
Abdullah Almethen, Othon Michail, Igor Potapov
Pushing lines helps: Efficient universal centralised transformations for programmable matter. Theor. Comput. Sci. (2020)
Paul C. Bell, Igor Potapov, Pavel Semukhin
Decidability of the Mortality Problem: from multiplicative matrix equations to linear recurrence sequences and beyond. CoRR (2019)
Paul C. Bell, Igor Potapov, Pavel Semukhin
On the Mortality Problem: From Multiplicative Matrix Equations to Linear Recurrence Sequences and Beyond. MFCS (2019)
Volker Diekert, Igor Potapov, Pavel Semukhin
Decidability of membership problems for flat rational subsets of GL(2, Q) and singular matrices. CoRR (2019)
Paul C. Bell, Igor Potapov
Towards Uniform Online Spherical Tessellations. CiE (2019)
Haomin Song, Igor Potapov
Polygon Approximations of the Euclidean Circles on the Square Grid by Broadcasting Sequences. DGCI (2019)
Igor Potapov, Pavel Semukhin
Vector and scalar reachability problems in SL(2, Z). J. Comput. Syst. Sci. 100 (2019)
Abdullah Almethen, Othon Michail, Igor Potapov
Pushing Lines Helps: Efficient Universal Centralised Transformations for Programmable Matter. CoRR (2019)
Duncan Adamson, Argyrios Deligkas, Vladimir V. Gusev, Igor Potapov
On the Hardness of Energy Minimisation for Crystal Structure Prediction. CoRR (2019)
Abdullah Almethen, Othon Michail, Igor Potapov
Pushing Lines Helps: Efficient Universal Centralised Transformations for Programmable Matter. ALGOSENSORS (2019)
Sang-Ki Ko, Igor Potapov
Vector Ambiguity and Freeness Problems in SL(2, ℤ). Fundam. Informaticae 162 (2-3) (2018)
Oleksiy Kurganskyy, Igor Potapov
De Bruijn graphs and powers of 3/2. CoRR (2018)
Kim G. Larsen, Igor Potapov, Jirí Srba
Reachability problems: Special issue. Theor. Comput. Sci. 750 (2018)
Sang-Ki Ko, Reino Niskanen, Igor Potapov
On the Identity Problem for the Special Linear Group and the Heisenberg Group. ICALP (2018)
Paul C. Bell, Igor Potapov
Towards Uniform Online Spherical Tessellations. CoRR (2018)
Igor Potapov, Pavel Semukhin
Preface. Int. J. Found. Comput. Sci. 29 (2) (2018)
Olivier Bournez, Oleksiy Kurganskyy, Igor Potapov
Reachability Problems for One-Dimensional Piecewise Affine Maps. Int. J. Found. Comput. Sci. 29 (4) (2018)
Sang-Ki Ko, Reino Niskanen, Igor Potapov
Reachability Problems in Nondeterministic Polynomial Maps on the Integers. DLT (2018)
Joël Ouaknine, Igor Potapov, James Worrell
Reachability Problems 2014: Special issue. Theor. Comput. Sci. 735 (2018)
Sang-Ki Ko, Igor Potapov
Vector Ambiguity and Freeness Problems in SL (2, ℤ). TAMC (2017)
Igor Potapov, Pavel Semukhin
Membership Problem in GL(2, Z) Extended by Singular Matrices. MFCS (2017)
Igor Potapov, Pavel Semukhin
Decidability of the Membership Problem for 2 × 2 integer matrices. SODA (2017)
Sang-Ki Ko, Igor Potapov
Composition problems for braids: Membership, Identity and Freeness. CoRR (2017)
Sang-Ki Ko, Reino Niskanen, Igor Potapov
On the Identity Problem for the Special Linear Group and the Heisenberg Group. CoRR (2017)
Sang-Ki Ko, Igor Potapov
Matrix Semigroup Freeness Problems in SL (2, \mathbb Z). SOFSEM (2017)
Paul C. Bell, Mika Hirvensalo, Igor Potapov
(ℤ) is NP-complete. SODA (2017)
Vesa Halava, Tero Harju, Reino Niskanen, Igor Potapov
Weighted automata on infinite words in the context of Attacker-Defender games. Inf. Comput. 255 (2017)
Reino Niskanen, Igor Potapov, Julien Reichert
Undecidability of Two-dimensional Robot Games. CoRR (2016)
Reino Niskanen, Igor Potapov, Julien Reichert
Undecidability of Two-dimensional Robot Games. MFCS (2016)
Sang-Ki Ko, Igor Potapov
Matrix Semigroup Freeness Problems in SL(2,Z). CoRR (2016)
Igor Potapov, Olena Prianychnykova, Sergey Verlan
Insertion-Deletion Systems over Relational Words. RP (2016)
Parosh Aziz Abdulla, Stéphane Demri, Alain Finkel, Jérôme Leroux, Igor Potapov
Preface. Fundam. Informaticae 143 (3-4) (2016)
Igor Potapov
Pattern formations with broadcasting automata model. NCMA (2016)
Igor Potapov, Pavel Semukhin
Vector Reachability Problem in SL(2, Z). MFCS (2016)
Oleksiy Kurganskyy, Igor Potapov
Reachability Problems for PAMs. SOFSEM (2016)
Igor Potapov, Pavel Semukhin
Decidability of the Membership Problem for 2×2 integer matrices. CoRR (2016)
Igor Potapov, Olena Prianychnykova, Sergey Verlan
On insertion-deletion systems over relational words. CoRR (2015)
Igor Potapov, Pavel Semukhin
Vector Reachability Problem in SL(2, Z). CoRR (2015)
Vesa Halava, Tero Harju, Reino Niskanen, Igor Potapov
Weighted Automata on Infinite Words in the Context of Attacker-Defender Games. CiE (2015)
Vesa Halava, Reino Niskanen, Igor Potapov
On Robot Games of Degree Two. LATA (2015)
Oleksiy Kurganskyy, Igor Potapov
Reachability problems for PAMs. CoRR (2015)
Thomas Nickson, Igor Potapov
Broadcasting Automata and Patterns on Z^2. CoRR (2014)
Vesa Halava, Reino Niskanen, Igor Potapov
On Undecidability of Counter Reachability Games in Dimension One. CoRR (2014)
Igor Potapov
Composition Problems for Braids. FSTTCS (2013)
Agata Ciabattoni, Rusins Freivalds, Antonín Kucera, Igor Potapov, Stefan Szeider
Preface. Fundam. Informaticae 123 (1) (2013)
Giorgio Delzanno, Igor Potapov
Preface. Int. J. Found. Comput. Sci. 24 (2) (2013)
Paul C. Bell, Mika Hirvensalo, Igor Potapov
Mortality for 2×2 Matrices Is NP-Hard. MFCS (2012)
Igor Grunsky, Igor Potapov, Elena Pryanichnikova
On algebra of languages representable by vertex-labeled graphs. Theor. Comput. Sci. 426 (2012)
Thomas Nickson, Igor Potapov
Discrete Discs and Broadcasting Sequences. UCNC (2012)
Paul C. Bell, Igor Potapov
On the Computational Complexity of Matrix Semigroup Problems. Fundam. Informaticae 116 (1-4) (2012)
Russell Martin, Thomas Nickson, Igor Potapov
Geometric computations by broadcasting automata. Nat. Comput. 11 (4) (2012)
Russell Martin, Thomas Nickson, Igor Potapov
Geometric Computations by Broadcasting Automata on the Integer Grid. UC (2011)
Alexei Lisitsa, Igor Potapov, Rafiq Saleh
Planarity of Knots, Register Automata and LogSpace Computability. LATA (2011)
Olivier Bournez, Igor Potapov
Preface. Int. J. Found. Comput. Sci. 22 (4) (2011)
Oleksiy Kurganskyy, Igor Potapov
A measure of state transition of collective of stateless automata in discrete environment CoRR (2010)
Oscar H. Ibarra, Igor Potapov, Hsu-Chun Yen
On decision problems for parameterized machines. Theor. Comput. Sci. 411 (7-9) (2010)
Paul C. Bell, Igor Potapov
On the Undecidability of the Identity Correspondence Problem and its Applications for Word and Matrix Semigroups. Int. J. Found. Comput. Sci. 21 (6) (2010)
Vitaliy Kurlin, Alexei Lisitsa, Igor Potapov, Rafiq Saleh
On Descriptional Complexity of the Planarity Problem for Gauss Words CoRR (2009)
Paul Bell, Igor Potapov
The Identity Correspondence Problem and Its Applications. ISAAC (2009)

Igor Potapov.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Igor Potapov