| 2026 | DLT | On Word Representations and Embeddings in Complex Matrices. | Paul C. Bell, George Kenison, Reino Niskanen, Igor Potapov, Pavel Semukhin |
| 2021 | CONCUR | Linear-Time Model Checking Branching Processes. | Stefan Kiefer, Pavel Semukhin, Cas Widdershoven |
| 2021 | MFCS | Decision Questions for Probabilistic Automata on Small Alphabets. | Paul C. Bell, Pavel Semukhin |
| 2020 | CONCUR | Decidability of Cutpoint Isolation for Probabilistic Finite Automata on Letter-Bounded Inputs. | Paul C. Bell, Pavel Semukhin |
| 2020 | ISSAC | Decidability of membership problems for flat rational subsets of GL(2, Q) and singular matrices. | Volker Diekert, Igor Potapov, Pavel Semukhin |
| 2019 | ICALP | On Reachability Problems for Low-Dimensional Matrix Semigroups. | Thomas Colcombet, Jol Ouaknine, Pavel Semukhin, James Worrell |
| 2019 | MFCS | On the Mortality Problem: From Multiplicative Matrix Equations to Linear Recurrence Sequences and Beyond. | Paul C. Bell, Igor Potapov, Pavel Semukhin |
| 2017 | MFCS | Membership Problem in GL(2, Z) Extended by Singular Matrices. | Igor Potapov, Pavel Semukhin |
| 2017 | SODA | Decidability of the Membership Problem for 2 2 integer matrices. | Igor Potapov, Pavel Semukhin |
| 2016 | MFCS | Vector Reachability Problem in SL(2, Z). | Igor Potapov, Pavel Semukhin |
| 2014 | COLT | Sample Compression for Multi-label Concept Classes. | Rahim Samei, Pavel Semukhin, Boting Yang, Sandra Zilles |
| 2012 | ALT | Sauer's Bound for a Notion of Teaching Complexity. | Rahim Samei, Pavel Semukhin, Boting Yang, Sandra Zilles |
| 2011 | CiE | Automatic Learners with Feedback Queries. | John Case, Sanjay Jain, Yuh Shin Ong, Pavel Semukhin, Frank Stephan |
| 2011 | LATA | Automatic Learning of Subclasses of Pattern Languages. | John Case, Sanjay Jain, Trong Dao Le, Yuh Shin Ong, Pavel Semukhin, Frank Stephan |
| 2009 | ALT | Uncountable Automatic Classes and Learning. | Sanjay Jain, Qinglong Luo, Pavel Semukhin, Frank Stephan |
| 2007 | LFCS | Finite Automata Presentable Abelian Groups. | Andr Nies, Pavel Semukhin |