关注
Igor Potapov
Igor Potapov
Professor, Department of Computer Science, University of Liverpool
在 liverpool.ac.uk 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Gossiping with unit messages in known radio networks
L Gąsieniec, I Potapov
Foundations of Information Technology in the Era of Network and Mobile …, 2002
722002
Real-Time Traversal in Grammar-Based Compressed Files.
L Gasieniec, RM Kolpakov, I Potapov, P Sant
DCC, 458, 2005
612005
On the undecidability of the identity correspondence problem and its applications for word and matrix semigroups
PC Bell, I Potapov
International Journal of Foundations of Computer Science 21 (06), 963-978, 2010
462010
Reachability problems in quaternion matrix and rotation semigroups
P Bell, I Potapov
Information and Computation 206 (11), 1353-1361, 2008
452008
Time efficient centralized gossiping in radio networks
L Gąsieniec, I Potapov, Q Xin
Theoretical computer science 383 (1), 45-58, 2007
40*2007
Temporal logic with predicate/spl lambda/-abstraction
A Lisitsa, I Potapov
12th International Symposium on Temporal Representation and Reasoning (TIME …, 2005
402005
On undecidability bounds for matrix decision problems
P Bell, I Potapov
Theoretical Computer Science 391 (1-2), 3-13, 2008
382008
Decidability of the Membership Problem for 2 × 2 integer matrices
I Potapov, P Semukhin
Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete …, 2017
352017
The Identity Problem for Matrix Semigroups in SL2(ℤ) is NP-complete
PC Bell, M Hirvensalo, I Potapov
Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete …, 2017
332017
Deterministic communication in radio networks with large labels
L Gasieniec, A Pagourtzis, I Potapov, T Radzik
Algorithmica 47, 97-117, 2007
332007
Matrix equations and Hilbert's tenth problem
P Bell, V Halava, T Harju, J Karhumäki, I Potapov
International Journal of Algebra and Computation 18 (08), 1231-1241, 2008
292008
Optimizing reachability sets in temporal graphs by delaying
A Deligkas, I Potapov
Information and Computation 285, 104890, 2022
272022
Mortality for 2× 2 matrices is NP-hard
PC Bell, M Hirvensalo, I Potapov
Mathematical Foundations of Computer Science 2012: 37th International …, 2012
262012
On the computational complexity of matrix semigroup problems
PC Bell, I Potapov
Fundamenta Informaticae 116 (1-4), 1-13, 2012
262012
On the identity problem for the special linear group and the Heisenberg group
SK Ko, R Niskanen, I Potapov
45th International Colloquium on Automata, Languages, and Programming …, 2018
232018
Membership and reachability problems for row-monomial transformations
A Lisitsa, I Potapov
International Symposium on Mathematical Foundations of Computer Science, 623-634, 2004
212004
Reachability problems in low-dimensional iterative maps
O Kurganskyy, I Potapov, F Sancho-Caparrini
International Journal of Foundations of Computer Science 19 (04), 935-951, 2008
19*2008
From Post systems to the reachability problems for matrix semigroups and multicounter automata
I Potapov
International Conference on Developments in Language Theory, 345-356, 2004
182004
Optimality guarantees for crystal structure prediction
VV Gusev, D Adamson, A Deligkas, D Antypov, CM Collins, P Krysta, ...
Nature 619 (7968), 68-72, 2023
172023
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
17*2020
系统目前无法执行此操作,请稍后再试。
文章 1–20