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 | 62 | 2002 |

Real-Time Traversal in Grammar-Based Compressed Files. L Gasieniec, RM Kolpakov, I Potapov, P Sant DCC, 458, 2005 | 46 | 2005 |

Temporal logic with predicate/spl lambda/-abstraction A Lisitsa, I Potapov 12th International Symposium on Temporal Representation and Reasoning (TIME …, 2005 | 37 | 2005 |

Reachability problems in quaternion matrix and rotation semigroups P Bell, I Potapov Information and Computation 206 (11), 1353-1361, 2008 | 36 | 2008 |

Time efficient centralized gossiping in radio networks L Gąsieniec, I Potapov, Q Xin Theoretical computer science 383 (1), 45-58, 2007 | 34* | 2007 |

On undecidability bounds for matrix decision problems P Bell, I Potapov Theoretical Computer Science 391 (1-2), 3-13, 2008 | 33 | 2008 |

Decidability of the Membership Problem for 2 **×** 2 integer matricesI Potapov, P Semukhin Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete …, 2017 | 29 | 2017 |

Deterministic communication in radio networks with large labels L Gasieniec, A Pagourtzis, I Potapov, T Radzik Algorithmica 47 (1), 97-117, 2007 | 29 | 2007 |

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 | 27 | 2012 |

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 | 27* | 2010 |

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 | 27 | 2008 |

On the computational complexity of matrix semigroup problems PC Bell, I Potapov Fundamenta Informaticae 116 (1-4), 1-13, 2012 | 25 | 2012 |

Membership and reachability problems for row-monomial transformations A Lisitsa, I Potapov International Symposium on Mathematical Foundations of Computer Science, 623-634, 2004 | 21 | 2004 |

The Identity Problem for Matrix Semigroups in SL_{2}(ℤ) is **NP**-completePC Bell, M Hirvensalo, I Potapov Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete …, 2017 | 19 | 2017 |

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 | 18 | 2012 |

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 | 17 | 2004 |

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 |

Composition problems for braids I Potapov IARCS Annual Conference on Foundations of Software Technology and …, 2013 | 15 | 2013 |

Periodic and infinite traces in matrix semigroups P Bell, I Potapov International Conference on Current Trends in Theory and Practice of …, 2008 | 15 | 2008 |

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 |