Oleg V. Kudinov

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 16

Top Topics

Continuous Data

Topology Preservation

Top Venues

Math. Struct. Comput. Sci.

Ershov Informatics Conference

Publications

Petr V. Volkov, Andrey Lukyanov, Alexander V. Goryunov, Daniil Semikov, Oleg V. Kudinov
Low-Coherence Homodyne Interferometer for Sub-Megahertz Fiber Optic Sensor Readout. Sensors 24 (2) (2024)
Margarita V. Korovina, Oleg V. Kudinov
On the computability of ordered fields. CoRR (2020)
Margarita V. Korovina, Oleg V. Kudinov
Computable Topology for Reliable Computations. Ershov Informatics Conference (2019)
Margarita V. Korovina, Oleg V. Kudinov
Weak Reduction Principle and Computable Metric Spaces. CiE (2018)
Margarita V. Korovina, Oleg V. Kudinov
Complexity for partial computable functions over computable Polish spaces. Math. Struct. Comput. Sci. 28 (3) (2018)
Margarita V. Korovina, Oleg V. Kudinov
Outline of Partial Computability in Computable Topology. CiE (2017)
Margarita V. Korovina, Oleg V. Kudinov
On Higher Effective Descriptive Set Theory. CiE (2017)
Margarita V. Korovina, Oleg V. Kudinov
Highlights of the Rice-Shapiro Theorem in Computable Topology. Ershov Informatics Conference (2017)
Oleg V. Kudinov, Victor L. Selivanov
First Order Theories of Some Lattices of Open Sets. CoRR (2017)
Margarita V. Korovina, Oleg V. Kudinov
Rice-Shapiro theorem in Computable Topology. CoRR (2017)
Oleg V. Kudinov, Victor L. Selivanov
First Order Theories of Some Lattices of Open Sets. Log. Methods Comput. Sci. 13 (3) (2017)
Margarita V. Korovina, Oleg V. Kudinov
The Rice-Shapiro theorem in Computable Topology. Log. Methods Comput. Sci. 13 (4) (2017)
Margarita V. Korovina, Oleg V. Kudinov
Computable elements and functions in effectively enumerable topological spaces. Math. Struct. Comput. Sci. 27 (8) (2017)
Oleg V. Kudinov, Victor L. Selivanov
On the Lattices of Effectively Open Sets. CiE (2016)
Margarita V. Korovina, Oleg V. Kudinov
Rice's Theorem in Effectively Enumerable Topological Spaces. CiE (2015)
Margarita V. Korovina, Oleg V. Kudinov
Positive predicate structures for continuous data. Math. Struct. Comput. Sci. 25 (8) (2015)
Margarita V. Korovina, Oleg V. Kudinov
Index Sets as a Measure of Continuous Constraint Complexity. Ershov Memorial Conference (2014)
Andrey N. Frolov, Iskander Sh. Kalimullin, Valentina S. Harizanov, Oleg V. Kudinov, Russell G. Miller
degrees. J. Log. Comput. 22 (4) (2012)
Oleg V. Kudinov, Victor L. Selivanov, Lyudmila V. Yartseva
Definability in the Subword Order. CiE (2010)
Rodney G. Downey, Sergei S. Goncharov, Asher M. Kach, Julia F. Knight, Oleg V. Kudinov, Alexander G. Melnikov, Daniel Turetsky
Decidability and Computability of Certain Torsion-Free Abelian Groups. Notre Dame J. Formal Log. 51 (1) (2010)
Oleg V. Kudinov, Victor L. Selivanov, Anton V. Zhukov
Undecidability in Weihrauch Degrees. CiE (2010)
Margarita V. Korovina, Oleg V. Kudinov
-constraints for Hybrid Systems. Ershov Memorial Conference (2009)
Oleg V. Kudinov, Victor L. Selivanov
Definability in the Infix Order on Words. Developments in Language Theory (2009)
Oleg V. Kudinov, Victor L. Selivanov, Anton V. Zhukov
Definability in the h-quasiorder of labeled forests. Ann. Pure Appl. Log. 159 (3) (2009)
Oleg V. Kudinov, Victor L. Selivanov
A Gandy Theorem for Abstract Structures and Applications to First-Order Definability. CiE (2009)
Margarita V. Korovina, Oleg V. Kudinov
The Uniformity Principle for Sigma-definability. J. Log. Comput. 19 (1) (2009)
Margarita V. Korovina, Oleg V. Kudinov
Towards Computability over Effectively Enumerable Topological Spaces. Electron. Notes Theor. Comput. Sci. 221 (2008)
Oleg V. Kudinov, Victor L. Selivanov
Definability in the Homomorphic Quasiorder of Finite Labeled Forests. CiE (2007)
Margarita V. Korovina, Oleg V. Kudinov
-Definability with Applications to Computable Analysis. CiE (2007)
Wesley Calvert, Ekaterina B. Fokina, Sergei S. Goncharov, Julia F. Knight, Oleg V. Kudinov, Andrei S. Morozov, Vadim Puzarenko
Index sets for classes of high rank structures. J. Symb. Log. 72 (4) (2007)
Oleg V. Kudinov, Victor L. Selivanov
Undecidability in the Homomorphic Quasiorder of Finite Labelled Forests. J. Log. Comput. 17 (6) (2007)
Oleg V. Kudinov, Victor L. Selivanov
Undecidability in the Homomorphic Quasiorder of Finite Labeled Forests. CiE (2006)
Margarita V. Korovina, Oleg V. Kudinov
Towards Computability of Higher Type Continuous Data. CiE (2005)
Margarita V. Korovina, Oleg V. Kudinov
Generalised Computability and Applications to Hybrid Systems. Ershov Memorial Conference (2001)
Margarita V. Korovina, Oleg V. Kudinov
Semantic Characterisations of Second-Order Computability over the Real Numbers. CSL (2001)
Margarita V. Korovina, Oleg V. Kudinov
Formalisation of Computability of Operators and Real-Valued Functionals via Domain Theory. CCA (2000)
Margarita V. Korovina, Oleg V. Kudinov
A Logical Approach to Specification of Hybrid Systems. Ershov Memorial Conference (1999)
Margarita V. Korovina, Oleg V. Kudinov
Characteristic Properties of Majorant-Computability over the Reals. CSL (1998)