Victor L. Selivanov

ORCID

Publication Activity (10 Years)

Years Active: 1987-2024
Publications (10 Years): 43

Top Venues

CiE

CoRR

Comput.

Math. Struct. Comput. Sci.

Publications

Mikhail G. Peretyat'kin, Victor L. Selivanov
Universal Boolean Algebras with Applications to Semantic Classes of Models. CiE (2024)
Matthew de Brecht, Takayuki Kihara, Victor L. Selivanov
Ideal presentations and numberings of some classes of effective quasi-Polish spaces. CoRR (2023)
Victor L. Selivanov
Descriptive complexity of qcb0-spaces. Theor. Comput. Sci. 945 (2023)
Victor L. Selivanov, Svetlana Selivanova
Primitive recursive ordered fields and some applications. Comput. 12 (1) (2023)
Victor L. Selivanov
Extending Wagner's Hierarchy to Deterministic Visibly Pushdown Automata. CiE (2023)
Victor L. Selivanov
-Partitions. J. Autom. Lang. Comb. 28 (1-3) (2023)
Vladislav Orekhovskii, Victor L. Selivanov
Logic vs Topology on Regular ømega-languages. CiE (2023)
Victor L. Selivanov
A Q-Wadge Hierarchy in quasi-Polish Spaces. J. Symb. Log. 87 (2) (2022)
Victor L. Selivanov
Boole vs Wadge: Comparing Two Basic Tools of Descriptive Set Theory. CiE (2022)
Victor L. Selivanov
Non-collapse of the effective Wadge hierarchy. Comput. 11 (3-4) (2022)
Matthew de Brecht, Takayuki Kihara, Victor L. Selivanov
Enumerating Classes of Effective Quasi-Polish Spaces. CiE (2022)
Victor L. Selivanov
Wadge Degrees of Classes of omega-Regular k-Partitions. CoRR (2021)
Pavel Alaev, Victor L. Selivanov
Searching for Applicable Versions of Computable Structures. CiE (2021)
Pavel Alaev, Victor L. Selivanov
Complexity Issues for the Iterated h-Preorders. DCFS (2021)
Victor L. Selivanov
Non-collapse of the Effective Wadge Hierarchy. CiE (2021)
Alexander Okhotin, Victor L. Selivanov
Input-Driven Pushdown Automata on Well-Nested Infinite Strings. CSR (2021)
Mathieu Hoyrup, Arno Pauly, Victor L. Selivanov, Mariya Ivanova Soskova
Descriptive Set Theory and Computable Topology (Dagstuhl Seminar 21461). Dagstuhl Reports 11 (10) (2021)
Svetlana Selivanova, Victor L. Selivanov
Bit complexity of computing solutions for symmetric hyperbolic systems of PDEs with guaranteed precision. Comput. 10 (2) (2021)
Victor L. Selivanov, Svetlana Selivanova
Primitive Recursive Ordered Fields and Some Applications. CASC (2021)
Alexander G. Melnikov, Victor L. Selivanov, Mars M. Yamaleev
Turing reducibility in the fine hierarchy. Ann. Pure Appl. Log. 171 (7) (2020)
Victor L. Selivanov
Classifying ømega-Regular Aperiodic k-Partitions. DCFS (2020)
Mathieu Hoyrup, Takayuki Kihara, Victor L. Selivanov
Degrees of Non-computability of Homeomorphism Types of Polish Spaces. CiE (2020)
Alexander Okhotin, Victor L. Selivanov
Input-driven automata on well-nested infinite strings: automata-theoretic and topological properties. CoRR (2020)
Victor L. Selivanov, Svetlana Selivanova
Primitive Recursive Ordered Fields and Some Applications. CoRR (2020)
Victor L. Selivanov
Q-Wadge degrees as free structures. Comput. 9 (3-4) (2020)
Mathieu Hoyrup, Cristobal Rojas, Victor L. Selivanov, Donald M. Stull
Computability on Quasi-Polish Spaces. DCFS (2019)
Takayuki Kihara, Victor L. Selivanov
Wadge-like degrees of Borel bqo-valued functions. CoRR (2019)
Victor L. Selivanov
Effective Wadge Hierarchy in Computable Quasi-Polish Spaces. CoRR (2019)
Mizuhito Ogawa, Victor L. Selivanov
On Classes of Regular Languages Related to Monotone WQOs. DCFS (2019)
Pavel Alaev, Victor L. Selivanov
Polynomial-Time Presentations of Algebraic Number Fields. CiE (2018)
Victor L. Selivanov
Well Quasiorders and Hierarchy Theory. CoRR (2018)
Svetlana V. Selivanova, Victor L. Selivanov
Bit Complexity of Computing Solutions for Symmetric Hyperbolic Systems of PDEs (Extended Abstract). CiE (2018)
Victor L. Selivanov, Mars M. Yamaleev
Extending Cooper's theorem to Δ 3 0 Turing degrees. Comput. 7 (2-3) (2018)
Svetlana Selivanova, Victor L. Selivanov
Bit Complexity of Computing Solutions for Symmetric Hyperbolic Systems of PDEs with Guaranteed Precision. CoRR (2018)
Victor L. Selivanov
Extending Wadge Theory to k-Partitions. CiE (2017)
Oleg V. Kudinov, Victor L. Selivanov
First Order Theories of Some Lattices of Open Sets. CoRR (2017)
Oleg V. Kudinov, Victor L. Selivanov
First Order Theories of Some Lattices of Open Sets. Log. Methods Comput. Sci. 13 (3) (2017)
Victor L. Selivanov
Towards a descriptive theory of cb0-spaces. Math. Struct. Comput. Sci. 27 (8) (2017)
Svetlana Selivanova, Victor L. Selivanov
Computing Solution Operators of Boundary-value Problems for Some Linear Hyperbolic Systems of PDEs. Log. Methods Comput. Sci. 13 (4) (2017)
Jean Goubault-Larrecq, Monika Seisenberger, Victor L. Selivanov, Andreas Weiermann
Well Quasi-Orders in Computer Science (Dagstuhl Seminar 16031). Dagstuhl Reports 6 (1) (2016)
Anton Konovalov, Victor L. Selivanov
The Boolean Algebra of Piecewise Testable Languages. CiE (2016)
Oleg V. Kudinov, Victor L. Selivanov
On the Lattices of Effectively Open Sets. CiE (2016)
Christian Glaßer, Heinz Schmitz, Victor L. Selivanov
Efficient algorithms for membership in boolean hierarchies of regular languages. Theor. Comput. Sci. 646 (2016)
Matthew de Brecht, Matthias Schröder, Victor L. Selivanov
-Spaces. CiE (2015)
Matthias Schröder, Victor L. Selivanov
-spaces. Math. Struct. Comput. Sci. 25 (8) (2015)
Victor L. Selivanov
Towards the Effective Descriptive Set Theory. CiE (2015)
Mai Gehrke, Achim Jung, Victor L. Selivanov, Dieter Spreen
Duality in Computer Science (Dagstuhl Seminar 15441). Dagstuhl Reports 5 (10) (2015)
Luca Motto Ros, Philipp Schlicht, Victor L. Selivanov
Wadge-like reducibilities on arbitrary quasi-Polish spaces. Math. Struct. Comput. Sci. 25 (8) (2015)
Matthias Schröder, Victor L. Selivanov
-spaces. Comput. 4 (1) (2015)
Ulrich Berger, Vasco Brattka, Victor L. Selivanov, Dieter Spreen, Hideki Tsuiki
Preface to the special issue: Computing with infinite data: topological and logical foundations. Math. Struct. Comput. Sci. 25 (7) (2015)
Matthias Schröder, Victor L. Selivanov
-Spaces. CiE (2014)
Matthias Schröder, Victor L. Selivanov
-spaces. CoRR (2014)
Mai Gehrke, Jean-Eric Pin, Victor L. Selivanov, Dieter Spreen
Duality in Computer Science (Dagstuhl Seminar 13311). Dagstuhl Reports 3 (7) (2013)
Victor L. Selivanov
Total Representations Log. Methods Comput. Sci. 9 (2) (2013)
Matthias Schröder, Victor L. Selivanov
-Spaces CoRR (2013)
Svetlana Selivanova, Victor L. Selivanov
Computing Solution Operators of Boundary-value Problems for Some Linear Hyperbolic Systems of PDEs CoRR (2013)
Victor L. Selivanov, Anton Konovalov
Boolean Algebras of Regular ω-Languages. LATA (2013)
Victor L. Selivanov
Fine hierarchies via Priestley duality. Ann. Pure Appl. Log. 163 (8) (2012)
Peter Hertling, Victor L. Selivanov
Complexity Issues for Preorders on Finite Labeled Forests. CiE (2011)
Ulrich Berger, Vasco Brattka, Victor L. Selivanov, Dieter Spreen, Hideki Tsuiki
Computing with Infinite Data: Topological and Logical Foundations (Dagstuhl Seminar 11411). Dagstuhl Reports 1 (10) (2011)
Victor L. Selivanov
A Fine Hierarchy of ω-Regular k-Partitions. CiE (2011)
Victor L. Selivanov, Anton Konovalov
Boolean Algebras of Regular Languages. Developments in Language Theory (2011)
Christian Glaßer, Christian Reitwießner, Victor L. Selivanov
The shrinking property for NP and coNP. Theor. Comput. Sci. 412 (8-10) (2011)
Oleg V. Kudinov, Victor L. Selivanov, Lyudmila V. Yartseva
Definability in the Subword Order. CiE (2010)
Christian Glaßer, Jean-Eric Pin, Nicole Schweikardt, Victor L. Selivanov, Wolfgang Thomas
10501 Executive Summary - Advances and Applications of Automata on Words and Trees. Advances and Applications of Automata on Words and Trees (2010)
Oleg V. Kudinov, Victor L. Selivanov, Anton V. Zhukov
Undecidability in Weihrauch Degrees. CiE (2010)
Christian Glaßer, Jean-Eric Pin, Nicole Schweikardt, Victor L. Selivanov, Wolfgang Thomas
10501 Abstracts Collection - Advances and Applications of Automata on Words and Trees. Advances and Applications of Automata on Words and Trees (2010)
Victor L. Selivanov
On the Wadge reducibility of k-partitions. J. Log. Algebraic Methods Program. 79 (1) (2010)
Oleg V. Kudinov, Victor L. Selivanov
Definability in the Infix Order on Words. Developments in Language Theory (2009)
Victor L. Selivanov
Hierarchies and reducibilities on regular languages related to modulo counting. RAIRO Theor. Informatics Appl. 43 (1) (2009)
Victor L. Selivanov
Undecidability in Some Structures Related to Computation Theory. J. Log. Comput. 19 (1) (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)
Svetlana Selivanova, Victor L. Selivanov
Computing the Solution Operators of Symmetric Hyperbolic Systems of PDE. J. Univers. Comput. Sci. 15 (6) (2009)
Oleg V. Kudinov, Victor L. Selivanov
A Gandy Theorem for Abstract Structures and Applications to First-Order Definability. CiE (2009)
Victor L. Selivanov
Fine Hierarchy of Regular Aperiodic omega-Languages. Int. J. Found. Comput. Sci. 19 (3) (2008)
Christian Glaßer, Heinz Schmitz, Victor L. Selivanov
Efficient Algorithms for Membership in Boolean Hierarchies of Regular Languages. STACS (2008)
Svetlana Selivanova, Victor L. Selivanov
Computing Solutions of Symmetric Hyperbolic Systems of PDE's. Electron. Notes Theor. Comput. Sci. 221 (2008)
Christian Glaßer, Heinz Schmitz, Victor L. Selivanov
Efficient Algorithms for Membership in Boolean Hierarchies of Regular Languages CoRR (2008)
Victor L. Selivanov
Wadge Reducibility and Infinite Computations. Math. Comput. Sci. 2 (1) (2008)
Victor L. Selivanov, Klaus W. Wagner
Complexity of Topological Properties of Regular omega-Languages. Fundam. Informaticae 83 (1-2) (2008)
Peter Hertling, Victor L. Selivanov, Wolfgang Thomas, William W. Wadge, Klaus W. Wagner
08271 Abstracts Collection - Topological and Game-Theoretic Aspects of Infinite Computations. Topological and Game-Theoretic Aspects of Infinite Computations (2008)
Victor L. Selivanov, Klaus W. Wagner
Complexity of Topological Properties of Regular omega-Languages. Developments in Language Theory (2008)
Christian Glaßer, Christian Reitwießner, Victor L. Selivanov
The Shrinking Property for NP and coNP. CiE (2008)
Christian Glaßer, Christian Reitwießner, Victor L. Selivanov
The Shrinking Property for NP and coNP. Electron. Colloquium Comput. Complex. 15 (029) (2008)
Peter Hertling, Victor L. Selivanov, Wolfgang Thomas, William W. Wadge, Klaus W. Wagner
08271 Executive Summary - Topological and Game-Theoretic Aspects of Infinite Computations. Topological and Game-Theoretic Aspects of Infinite Computations (2008)
Victor L. Selivanov, Klaus W. Wagner
Complexity of Aperiodicity for Topological Properties of Regular omega-Languages. CiE (2008)
Victor L. Selivanov
-Spaces. Electron. Notes Theor. Comput. Sci. 221 (2008)
Victor L. Selivanov
Fine hierarchies and m-reducibilities in theoretical computer science. Theor. Comput. Sci. 405 (1-2) (2008)
Victor L. Selivanov
On the Wadge Reducibility of k-Partitions. Electron. Notes Theor. Comput. Sci. 202 (2008)
Victor L. Selivanov
-Languages. Developments in Language Theory (2007)
Oleg V. Kudinov, Victor L. Selivanov
Definability in the Homomorphic Quasiorder of Finite Labeled Forests. CiE (2007)
Victor L. Selivanov
Classifying omega-regular partitions. LATA (2007)
Victor L. Selivanov
-partitions. Math. Log. Q. 53 (4-5) (2007)
Victor L. Selivanov
A Useful Undecidable Theory. CiE (2007)
Oleg V. Kudinov, Victor L. Selivanov
Undecidability in the Homomorphic Quasiorder of Finite Labelled Forests. J. Log. Comput. 17 (6) (2007)
Christian Glaßer, Heinz Schmitz, Victor L. Selivanov
Efficient Algorithms for Membership in Boolean Hierarchies of Regular Languages. Electron. Colloquium Comput. Complex. 14 (094) (2007)
Oleg V. Kudinov, Victor L. Selivanov
Undecidability in the Homomorphic Quasiorder of Finite Labeled Forests. CiE (2006)
Victor L. Selivanov
Towards a descriptive set theory for domain-like structures. Theor. Comput. Sci. 365 (3) (2006)
Victor L. Selivanov
Variations on Wadge Reducibility Extended Abstract. Electron. Notes Theor. Comput. Sci. 120 (2005)
Victor L. Selivanov
-spaces and applications. Math. Log. Q. 51 (1) (2005)

Victor L. Selivanov.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Victor L. Selivanov