Oleg V. Kudinov

38 papers B 2C 15Journal 15Unranked 6

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