Igor Potapov

Optimality guarantees for crystal structure prediction

Vladimir V. Gusev, Duncan Adamson, Argyrios Deligkas et al. · Nature · 2023 · 46 citations

Crystal Structure, Engineering, Computational Chemistry +4

Temporal Logic with Predicate λ-Abstraction

Alexei Lisitsa, Igor Potapov · 2005 · 35 citations

Validity Checking, Formal Specification, Engineering +14

ON THE UNDECIDABILITY OF THE IDENTITY CORRESPONDENCE PROBLEM AND ITS APPLICATIONS FOR WORD AND MATRIX SEMIGROUPS

Paul C. Bell, Igor Potapov · International Journal of Foundations of Computer Science · 2010 · 34 citations · Full text

Topological Semigroups, Combinatorics On Word, Fundamental Problem +8

Deterministic Communication in Radio Networks with Large Labels

Leszek Gąsieniec, Aris Pagourtzis, Igor Potapov et al. · Algorithmica · 2006 · 34 citations · Full text

Real-Time Traversal in Grammar-Based Compressed Files

Leszek Gąsieniec, Roman Kolpakov, Igor Potapov et al. · Data Compression Conference · 2005 · 34 citations

Data Compression, Engineering, String-searching Algorithm +12