| 2018 | CiE | Weak Reduction Principle and Computable Metric Spaces. | Margarita V. Korovina, Oleg V. Kudinov |
| 2017 | CiE | Outline of Partial Computability in Computable Topology. | Margarita V. Korovina, Oleg V. Kudinov |
| 2017 | CiE | On Higher Effective Descriptive Set Theory. | Margarita V. Korovina, Oleg V. Kudinov |
| 2016 | CiE | On the Lattices of Effectively Open Sets. | Oleg V. Kudinov, Victor L. Selivanov |
| 2015 | CiE | Rice's Theorem in Effectively Enumerable Topological Spaces. | Margarita V. Korovina, Oleg V. Kudinov |
| 2010 | CiE | Definability in the Subword Order. | Oleg V. Kudinov, Victor L. Selivanov, Lyudmila V. Yartseva |
| 2010 | CiE | Undecidability in Weihrauch Degrees. | Oleg V. Kudinov, Victor L. Selivanov, Anton V. Zhukov |
| 2009 | CiE | A Gandy Theorem for Abstract Structures and Applications to First-Order Definability. | Oleg V. Kudinov, Victor L. Selivanov |
| 2009 | DLT | Definability in the Infix Order on Words. | Oleg V. Kudinov, Victor L. Selivanov |
| 2007 | CiE | The Uniformity Principle for | Margarita V. Korovina, Oleg V. Kudinov |
| 2007 | CiE | Definability in the Homomorphic Quasiorder of Finite Labeled Forests. | Oleg V. Kudinov, Victor L. Selivanov |
| 2006 | CiE | Undecidability in the Homomorphic Quasiorder of Finite Labeled Forests. | Oleg V. Kudinov, Victor L. Selivanov |
| 2005 | CiE | Towards Computability of Higher Type Continuous Data. | Margarita V. Korovina, Oleg V. Kudinov |
| 2001 | CSL | Semantic Characterisations of Second-Order Computability over the Real Numbers. | Margarita V. Korovina, Oleg V. Kudinov |
| 2000 | CCA | Formalisation of Computability of Operators and Real-Valued Functionals via Domain Theory. | Margarita V. Korovina, Oleg V. Kudinov |
| 1998 | CSL | Characteristic Properties of Majorant-Computability over the Reals. | Margarita V. Korovina, Oleg V. Kudinov |