Igor Potapov

50 papers and 192 indexed citations i.

About

Igor Potapov has authored 50 papers that have received a total of 192 indexed citations. This includes 29 papers in Computational Theory and Mathematics, 18 papers in Artificial Intelligence and 8 papers in Geometry and Topology. The topics of these papers are semigroups and automata theory (22 papers), Formal Methods in Verification (7 papers) and Logic, programming, and type systems (7 papers). Igor Potapov is often cited by papers focused on semigroups and automata theory (22 papers), Formal Methods in Verification (7 papers) and Logic, programming, and type systems (7 papers) and collaborates with scholars based in United Kingdom, France and Finland. Igor Potapov's co-authors include Leszek Gąsieniec, Argyrios Deligkas, Vladimir V. Gusev, Matthew S. Dyer and Paul G. Spirakis and has published in prestigious journals such as Nature, Journal of Computer and System Sciences and Theoretical Computer Science

In The Last Decade

Rankless by CCL
2025