Characteristic Properties of Majorant-Computability over the Reals. - Margarita V. Korovina; Oleg V. Kudinov (CSL, 1998)

A Logical Approach to Specification of Hybrid Systems. - Margarita V. Korovina; Oleg V. Kudinov (Ershov Memorial Conference, 1999)

Formalisation of Computability of Operators and Real-Valued Functionals via Domain Theory. - Margarita V. Korovina; Oleg V. Kudinov (CCA, 2000)

Semantic Characterisations of Second-Order Computability over the Real Numbers. - Margarita V. Korovina; Oleg V. Kudinov (CSL, 2001)

Generalised Computability and Applications to Hybrid Systems. - Margarita V. Korovina; Oleg V. Kudinov (Ershov Memorial Conference, 2001)

Towards Computability of Higher Type Continuous Data. - Margarita V. Korovina; Oleg V. Kudinov (CiE, 2005)

Undecidability in the Homomorphic Quasiorder of Finite Labeled Forests. - Oleg V. Kudinov; Victor L. Selivanov (CiE, 2006)

The Uniformity Principle for Sigma -Definability with Applications to Computable Analysis. - Margarita V. Korovina; Oleg V. Kudinov (CiE, 2007)

Definability in the Homomorphic Quasiorder of Finite Labeled Forests. - Oleg V. Kudinov; Victor L. Selivanov (CiE, 2007)

Index sets for classes of high rank structures. - Wesley Calvert; Ekaterina B. Fokina; Sergei S. Goncharov; Julia F. Knight; Oleg V. Kudinov; Andrei S. Morozov; Vadim Puzarenko (J. Symb. Log., 2007)

Undecidability in the Homomorphic Quasiorder of Finite Labelled Forests. - Oleg V. Kudinov; Victor L. Selivanov (J. Log. Comput., 2007)

Towards Computability over Effectively Enumerable Topological Spaces. - Margarita V. Korovina; Oleg V. Kudinov (CCA, 2008)

A Gandy Theorem for Abstract Structures and Applications to First-Order Definability. - Oleg V. Kudinov; Victor L. Selivanov (CiE, 2009)

Definability in the Infix Order on Words. - Oleg V. Kudinov; Victor L. Selivanov (Developments in Language Theory, 2009)

SigmaK-constraints for Hybrid Systems. - Margarita V. Korovina; Oleg V. Kudinov (Ershov Memorial Conference, 2009)

Definability in the h-quasiorder of labeled forests. - Oleg V. Kudinov; Victor L. Selivanov; Anton V. Zhukov (Ann. Pure Appl. Log., 2009)

The Uniformity Principle for Sigma-definability. - Margarita V. Korovina; Oleg V. Kudinov (J. Log. Comput., 2009)

Definability in the Subword Order. - Oleg V. Kudinov; Victor L. Selivanov; Lyudmila V. Yartseva (CiE, 2010)

Undecidability in Weihrauch Degrees. - Oleg V. Kudinov; Victor L. Selivanov; Anton V. Zhukov (CiE, 2010)

Decidability and Computability of Certain Torsion-Free Abelian Groups. - Rodney G. Downey; Sergei S. Goncharov; Asher M. Kach; Julia F. Knight; Oleg V. Kudinov; Alexander G. Melnikov; Daniel Turetsky (Notre Dame J. Formal Log., 2010)

Spectra of highn and non-lown degrees. - Andrey N. Frolov; Iskander Sh. Kalimullin; Valentina S. Harizanov; Oleg V. Kudinov; Russell G. Miller (J. Log. Comput., 2012)

Index Sets as a Measure of Continuous Constraint Complexity. - Margarita V. Korovina; Oleg V. Kudinov (Ershov Memorial Conference, 2014)

Rice's Theorem in Effectively Enumerable Topological Spaces. - Margarita V. Korovina; Oleg V. Kudinov (CiE, 2015)

Positive predicate structures for continuous data. - Margarita V. Korovina; Oleg V. Kudinov (Math. Struct. Comput. Sci., 2015)

On the Lattices of Effectively Open Sets. - Oleg V. Kudinov; Victor L. Selivanov (CiE, 2016)

Outline of Partial Computability in Computable Topology. - Margarita V. Korovina; Oleg V. Kudinov (CiE, 2017)

On Higher Effective Descriptive Set Theory. - Margarita V. Korovina; Oleg V. Kudinov (CiE, 2017)

Highlights of the Rice-Shapiro Theorem in Computable Topology. - Margarita V. Korovina; Oleg V. Kudinov (Ershov Informatics Conference, 2017)

The Rice-Shapiro theorem in Computable Topology. - Margarita V. Korovina; Oleg V. Kudinov (Log. Methods Comput. Sci., 2017)

First Order Theories of Some Lattices of Open Sets. - Oleg V. Kudinov; Victor L. Selivanov (Log. Methods Comput. Sci., 2017)

Computable elements and functions in effectively enumerable topological spaces. - Margarita V. Korovina; Oleg V. Kudinov (Math. Struct. Comput. Sci., 2017)

Weak Reduction Principle and Computable Metric Spaces. - Margarita V. Korovina; Oleg V. Kudinov (CiE, 2018)

Complexity for partial computable functions over computable Polish spaces. - Margarita V. Korovina; Oleg V. Kudinov (Math. Struct. Comput. Sci., 2018)

Computable Topology for Reliable Computations. - Margarita V. Korovina; Oleg V. Kudinov (Ershov Informatics Conference, 2019)

On the computability of ordered fields. - Margarita V. Korovina; Oleg V. Kudinov (CoRR, 2020)

Low-Coherence Homodyne Interferometer for Sub-Megahertz Fiber Optic Sensor Readout. - Petr V. Volkov; Andrey Lukyanov; Alexander V. Goryunov; Daniil Semikov; Oleg V. Kudinov (Sensors, 2024)