| 2026 | CiE | On Computability of Ideal Lattices. | Nikolay Bazhenov, Manat Mustafa, Stanislav Yun |
| 2025 | CiE | On Learning Existentially Definable Subsets in a Computable Structure. | Nikolay Bazhenov, Manat Mustafa |
| 2025 | ICALP | Online and Feasible Presentability: From Trees to Modal Algebras. | Nikolay Bazhenov, Dariusz Kalocinski, Michal Wroclawski |
| 2025 | TAMC | On a Computability-Theoretic Approach to Boolean-Valued Models. | Nikolay Bazhenov, Manat Mustafa |
| 2024 | CiE | On Arithmetical Numberings in Reverse Mathematics. | Nikolay Bazhenov, Marta Fiori-Carones, Manat Mustafa |
| 2024 | CiE | Learning Families of Algebraic Structures from Text. | Nikolay Bazhenov, Ekaterina B. Fokina, Dino Rossegger, Alexandra A. Soskova, Stefan V. Vatev |
| 2024 | TAMC | On Learning Families of Ideals in Lattices and Boolean Algebras. | Nikolay Bazhenov, Manat Mustafa |
| 2023 | CSL | Degree Spectra, and Relative Acceptability of Notations. | Nikolay Bazhenov, Dariusz Kalocinski |
| 2022 | CiE | Calculating the Mind Change Complexity of Learning Algebraic Structures. | Nikolay Bazhenov, Vittorio Cipriani, Luca San Mauro |
| 2022 | CiE | Well-Orders Realized by C.E. Equivalence Relations. | Nikolay Bazhenov, Maxim V. Zubkov |
| 2022 | STACS | Intrinsic Complexity of Recursive Functions on Natural Numbers with Standard Order. | Nikolay Bazhenov, Dariusz Kalocinski, Michal Wroclawski |
| 2022 | TAMC | On Two Types of Concept Lattices in the Theory of Numberings. | Nikolay Bazhenov, Manat Mustafa, Anvar M. Nurakunov |
| 2020 | CiE | A Note on Computable Embeddings for Ordinals and Their Reverses. | Nikolay Bazhenov, Stefan V. Vatev |
| 2020 | CSR | Definable Subsets of Polynomial-Time Algebraic Structures. | Nikolay Bazhenov |
| 2020 | TAMC | Semilattices of Punctual Numberings. | Nikolay Bazhenov, Manat Mustafa, Sergei Ospichev |
| 2019 | CiE | Effective Embeddings for Pairs of Structures. | Nikolay Bazhenov, Hristo Ganchev, Stefan V. Vatev |
| 2019 | CiE | Bounded Reducibility for Computable Numberings. | Nikolay Bazhenov, Manat Mustafa, Sergei Ospichev |
| 2019 | TAMC | Computable Isomorphisms of Distributive Lattices. | Nikolay Bazhenov, Manat Mustafa, Mars M. Yamaleev |
| 2018 | CiE | Degrees of Categoricity for Prime and Homogeneous Models. | Nikolay Bazhenov, Margarita Marchuk |
| 2017 | CiE | Turing Computable Embeddings, Computable Infinitary Equivalence, and Linear Orders. | Nikolay Bazhenov |
| 2017 | CiE | Degrees of Categoricity of Rigid Structures. | Nikolay Bazhenov, Mars M. Yamaleev |
| 2017 | TAMC | A Note on Effective Categoricity for Linear Orderings. | Nikolay Bazhenov |
| 2015 | CiE | Prime Model with No Degree of Autostability Relative to Strong Constructivizations. | Nikolay Bazhenov |