Igor Potapov
Igor Potapov
Professor, Department of Computer Science, University of Liverpool
Verified email at liverpool.ac.uk - Homepage
Title
Cited by
Cited by
Year
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
622002
Real-Time Traversal in Grammar-Based Compressed Files.
L Gasieniec, RM Kolpakov, I Potapov, P Sant
DCC, 458, 2005
492005
Deterministic communication in radio networks with large labels
L Gasieniec, A Pagourtzis, I Potapov, T Radzik
Algorithmica 47 (1), 97-117, 2007
43*2007
Temporal logic with predicate/spl lambda/-abstraction
A Lisitsa, I Potapov
12th International Symposium on Temporal Representation and Reasoning (TIME …, 2005
382005
Reachability problems in quaternion matrix and rotation semigroups
P Bell, I Potapov
Information and Computation 206 (11), 1353-1361, 2008
352008
Time efficient centralized gossiping in radio networks
L Gąsieniec, I Potapov, Q Xin
Theoretical computer science 383 (1), 45-58, 2007
35*2007
On undecidability bounds for matrix decision problems
P Bell, I Potapov
Theoretical Computer Science 391 (1-2), 3-13, 2008
312008
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
292017
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
262008
Mortality for 2× 2 matrices is NP-hard
PC Bell, M Hirvensalo, I Potapov
International Symposium on Mathematical Foundations of Computer Science, 148-159, 2012
252012
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
25*2010
On the computational complexity of matrix semigroup problems
PC Bell, I Potapov
Fundamenta Informaticae 116 (1-4), 1-13, 2012
232012
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
202017
Membership and reachability problems for row-monomial transformations
A Lisitsa, I Potapov
International Symposium on Mathematical Foundations of Computer Science, 623-634, 2004
192004
Ariadne: Dominance checking of nonlinear hybrid automata using reachability analysis
L Benvenuti, D Bresolin, P Collins, A Ferrari, L Geretti, T Villa
International Workshop on Reachability Problems, 79-91, 2012
172012
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
172004
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
16*2008
Periodic and infinite traces in matrix semigroups
P Bell, I Potapov
International Conference on Current Trends in Theory and Practice of …, 2008
152008
Vector and scalar reachability problems in SL (2, Z)
I Potapov, P Semukhin
Journal of Computer and System Sciences 100, 30-43, 2019
14*2019
Composition problems for braids
I Potapov
IARCS Annual Conference on Foundations of Software Technology and …, 2013
142013
The system can't perform the operation now. Try again later.
Articles 1–20