Victor L. Selivanov

Orcid: 0000-0003-4316-0859

Affiliations:
  • Russian Academy of Sciences, A. P. Ershov Institute of Informatics Systems, Novosibirsk, Russia


According to our database1, Victor L. Selivanov authored at least 96 papers between 1987 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Universal Boolean Algebras with Applications to Semantic Classes of Models.
Proceedings of the Twenty Years of Theoretical and Practical Synergies, 2024

2023
Descriptive complexity of qcb0-spaces.
Theor. Comput. Sci., February, 2023

Wadge Degrees of Classes of ω-Regular <i>k</i>-Partitions.
J. Autom. Lang. Comb., 2023

Ideal presentations and numberings of some classes of effective quasi-Polish spaces.
CoRR, 2023

Primitive recursive ordered fields and some applications.
Comput., 2023

Extending Wagner's Hierarchy to Deterministic Visibly Pushdown Automata.
Proceedings of the Unity of Logic and Computation, 2023

Logic vs Topology on Regular ømega-languages.
Proceedings of the Unity of Logic and Computation, 2023

2022
A Q-Wadge Hierarchy in quasi-Polish Spaces.
J. Symb. Log., 2022

Non-collapse of the effective Wadge hierarchy.
Comput., 2022

Boole vs Wadge: Comparing Two Basic Tools of Descriptive Set Theory.
Proceedings of the Revolutions and Revelations in Computability, 2022

Enumerating Classes of Effective Quasi-Polish Spaces.
Proceedings of the Revolutions and Revelations in Computability, 2022

2021
Descriptive Set Theory and Computable Topology (Dagstuhl Seminar 21461).
Dagstuhl Reports, 2021

Wadge Degrees of Classes of omega-Regular k-Partitions.
CoRR, 2021

Bit complexity of computing solutions for symmetric hyperbolic systems of PDEs with guaranteed precision.
Comput., 2021

Complexity Issues for the Iterated h-Preorders.
Proceedings of the Descriptional Complexity of Formal Systems, 2021

Input-Driven Pushdown Automata on Well-Nested Infinite Strings.
Proceedings of the Computer Science - Theory and Applications, 2021

Searching for Applicable Versions of Computable Structures.
Proceedings of the Connecting with Computability, 2021

2020
Input-driven automata on well-nested infinite strings: automata-theoretic and topological properties.
CoRR, 2020

Q-Wadge degrees as free structures.
Comput., 2020

Turing reducibility in the fine hierarchy.
Ann. Pure Appl. Log., 2020

Classifying ømega-Regular Aperiodic k-Partitions.
Proceedings of the Descriptional Complexity of Formal Systems, 2020

Degrees of Non-computability of Homeomorphism Types of Polish Spaces.
Proceedings of the Beyond the Horizon of Computability, 2020

2019
Effective Wadge Hierarchy in Computable Quasi-Polish Spaces.
CoRR, 2019

Wadge-like degrees of Borel bqo-valued functions.
CoRR, 2019

On Classes of Regular Languages Related to Monotone WQOs.
Proceedings of the Descriptional Complexity of Formal Systems, 2019

Computability on Quasi-Polish Spaces.
Proceedings of the Descriptional Complexity of Formal Systems, 2019

2018
Well Quasiorders and Hierarchy Theory.
CoRR, 2018

Extending Cooper's theorem to Δ 3 0 Turing degrees.
Comput., 2018

Bit Complexity of Computing Solutions for Symmetric Hyperbolic Systems of PDEs (Extended Abstract).
Proceedings of the Sailing Routes in the World of Computation, 2018

Polynomial-Time Presentations of Algebraic Number Fields.
Proceedings of the Sailing Routes in the World of Computation, 2018

2017
Towards a descriptive theory of cb0-spaces.
Math. Struct. Comput. Sci., 2017

Computing Solution Operators of Boundary-value Problems for Some Linear Hyperbolic Systems of PDEs.
Log. Methods Comput. Sci., 2017

First Order Theories of Some Lattices of Open Sets.
Log. Methods Comput. Sci., 2017

Extending Wadge Theory to k-Partitions.
Proceedings of the Unveiling Dynamics and Complexity, 2017

2016
Efficient algorithms for membership in boolean hierarchies of regular languages.
Theor. Comput. Sci., 2016

Well Quasi-Orders in Computer Science (Dagstuhl Seminar 16031).
Dagstuhl Reports, 2016

On the Lattices of Effectively Open Sets.
Proceedings of the Pursuit of the Universal - 12th Conference on Computability in Europe, 2016

The Boolean Algebra of Piecewise Testable Languages.
Proceedings of the Pursuit of the Universal - 12th Conference on Computability in Europe, 2016

2015
Some hierarchies of QCB <sub>0</sub>-spaces.
Math. Struct. Comput. Sci., 2015

Wadge-like reducibilities on arbitrary quasi-Polish spaces.
Math. Struct. Comput. Sci., 2015

Preface to the special issue: Computing with infinite data: topological and logical foundations.
Math. Struct. Comput. Sci., 2015

Duality in Computer Science (Dagstuhl Seminar 15441).
Dagstuhl Reports, 2015

Hyperprojective hierarchy of qcb<sub>0</sub>-spaces.
Comput., 2015

Towards the Effective Descriptive Set Theory.
Proceedings of the Evolving Computability - 11th Conference on Computability in Europe, 2015

Base-Complexity Classifications of QCB<sub>0</sub>-Spaces.
Proceedings of the Evolving Computability - 11th Conference on Computability in Europe, 2015

2014
Complexity issues for Preorders on finite labeled forests.
Proceedings of the Logic, Computation, Hierarchies, 2014

2013
Duality in Computer Science (Dagstuhl Seminar 13311).
Dagstuhl Reports, 2013

Total Representations
Log. Methods Comput. Sci., 2013

Boolean Algebras of Regular ω-Languages.
Proceedings of the Language and Automata Theory and Applications, 2013

2012
Fine hierarchies via Priestley duality.
Ann. Pure Appl. Log., 2012

2011
The shrinking property for NP and coNP.
Theor. Comput. Sci., 2011

Computing with Infinite Data: Topological and Logical Foundations (Dagstuhl Seminar 11411).
Dagstuhl Reports, 2011

Boolean Algebras of Regular Languages.
Proceedings of the Developments in Language Theory - 15th International Conference, 2011

A Fine Hierarchy of ω-Regular k-Partitions.
Proceedings of the Models of Computation in Context, 2011

Complexity Issues for Preorders on Finite Labeled Forests.
Proceedings of the Models of Computation in Context, 2011

2010
10501 Executive Summary - Advances and Applications of Automata on Words and Trees.
Proceedings of the Advances and Applications of Automata on Words and Trees, 12.12., 2010

10501 Abstracts Collection - Advances and Applications of Automata on Words and Trees.
Proceedings of the Advances and Applications of Automata on Words and Trees, 12.12., 2010

Undecidability in Weihrauch Degrees.
Proceedings of the Programs, Proofs, Processes, 6th Conference on Computability in Europe, 2010

Definability in the Subword Order.
Proceedings of the Programs, Proofs, Processes, 6th Conference on Computability in Europe, 2010

2009
Undecidability in Some Structures Related to Computation Theory.
J. Log. Comput., 2009

Computing the Solution Operators of Symmetric Hyperbolic Systems of PDE.
J. Univers. Comput. Sci., 2009

Hierarchies and reducibilities on regular languages related to modulo counting.
RAIRO Theor. Informatics Appl., 2009

Definability in the h-quasiorder of labeled forests.
Ann. Pure Appl. Log., 2009

Definability in the Infix Order on Words.
Proceedings of the Developments in Language Theory, 13th International Conference, 2009

A Gandy Theorem for Abstract Structures and Applications to First-Order Definability.
Proceedings of the Mathematical Theory and Computational Practice, 2009

2008
Fine hierarchies and m-reducibilities in theoretical computer science.
Theor. Comput. Sci., 2008

Wadge Reducibility and Infinite Computations.
Math. Comput. Sci., 2008

Fine Hierarchy of Regular Aperiodic omega-Languages.
Int. J. Found. Comput. Sci., 2008

Complexity of Topological Properties of Regular omega-Languages.
Fundam. Informaticae, 2008

Computing Solutions of Symmetric Hyperbolic Systems of PDE's.
Proceedings of the Fifth International Conference on Computability and Complexity in Analysis, 2008

On the Difference Hierarchy in Countably Based T<sub>0</sub>-Spaces.
Proceedings of the Fifth International Conference on Computability and Complexity in Analysis, 2008

08271 Executive Summary - Topological and Game-Theoretic Aspects of Infinite Computations.
Proceedings of the Topological and Game-Theoretic Aspects of Infinite Computations, 29.06., 2008

08271 Abstracts Collection - Topological and Game-Theoretic Aspects of Infinite Computations.
Proceedings of the Topological and Game-Theoretic Aspects of Infinite Computations, 29.06., 2008

Complexity of Aperiodicity for Topological Properties of Regular omega-Languages.
Proceedings of the Logic and Theory of Algorithms, 2008

2007
Hierarchies of Delta<sup>0</sup><sub>2</sub>-measurable <i>k</i> -partitions.
Math. Log. Q., 2007

Undecidability in the Homomorphic Quasiorder of Finite Labelled Forests.
J. Log. Comput., 2007

On the Wadge Reducibility of k-Partitions.
Proceedings of the Fourth International Conference on Computability and Complexity in Analysis, 2007

Classifying omega-regular partitions.
Proceedings of the LATA 2007. Proceedings of the 1st International Conference on Language and Automata Theory and Applications., 2007

Fine Hierarchy of Regular Aperiodic <i>omega</i> -Languages.
Proceedings of the Developments in Language Theory, 11th International Conference, 2007

A Useful Undecidable Theory.
Proceedings of the Computation and Logic in the Real World, 2007

Definability in the Homomorphic Quasiorder of Finite Labeled Forests.
Proceedings of the Computation and Logic in the Real World, 2007

2006
Towards a descriptive set theory for domain-like structures.
Theor. Comput. Sci., 2006

Undecidability in the Homomorphic Quasiorder of Finite Labeled Forests.
Proceedings of the Logical Approaches to Computational Barriers, 2006

2005
A reducibility for the dot-depth hierarchy.
Theor. Comput. Sci., 2005

Hierarchies in <i>phi</i>-spaces and applications.
Math. Log. Q., 2005

Some Reducibilities on Regular Sets.
Proceedings of the New Computational Paradigms, 2005

2004
Variations on Wadge Reducibility Extended Abstract.
Proceedings of the 6th Workshop on Computability and Complexity in Analysis, 2004

2003
Wadge Degrees of [omega]-Languages of Deterministic Turing Machines.
RAIRO Theor. Informatics Appl., 2003

2002
Relating Automata-theoretic Hierarchies to Complexity-theoretic Hierarchies.
RAIRO Theor. Informatics Appl., 2002

2001
A Logical Approach to Decidability of Hierarchies of Regular Star-Free Languages.
Proceedings of the STACS 2001, 2001

1998
Fine Hierarchy of Regular Omega-Languages.
Theor. Comput. Sci., 1998

1996
On Recursively Enumerable Structures.
Ann. Pure Appl. Log., 1996

1995
Fine Hierarchies and Boolean Terms.
J. Symb. Log., 1995

1994
Recursiveness of ω-Operations.
Math. Log. Q., 1994

Two Refinements of the Polynomial Hierarcht.
Proceedings of the STACS 94, 1994

1987
Index-Sets of Factor-Objects of the Post Numbering.
Proceedings of the Fundamentals of Computation Theory, 1987


  Loading...