Vassily A. Lyubetsky

According to our database, Vassily A. Lyubetsky authored at least 37 papers between 1988 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Jensen Δn1 Reals by Means of ZFC and Second-Order Peano Arithmetic.

Vladimir Kanovei, Vassily A. Lyubetsky

Axioms, February, 2024

A good lightface Δn1 well-ordering of the reals does not imply the existence of boldface Δn-11 well-orderings.

Vladimir Kanovei, Vassily A. Lyubetsky

Ann. Pure Appl. Log., 2024

2022

A Model in Which Well-Orderings of the Reals Appear at a Given Projective Level.

Vladimir Kanovei, Vassily A. Lyubetsky

Axioms, 2022

A Model in Which the Separation Principle Holds for a Given Effective Projective Sigma-Class.

Vladimir Kanovei, Vassily A. Lyubetsky

Axioms, 2022

2021

The full basis theorem does not imply analytic wellordering.

Vladimir Kanovei, Vassily A. Lyubetsky

Ann. Pure Appl. Log., 2021

2020

Canonization of Smooth Equivalence Relations on Infinite-Dimensional E₀-Large Products.

Vladimir Kanovei, Vassily A. Lyubetsky

Notre Dame J. Formal Log., 2020

An Almost Exact Linear Complexity Algorithm of the Shortest Transformation of Chain-Cycle Graphs.

Konstantin Yu. Gorbunov, Vassily A. Lyubetsky

CoRR, 2020

2019

Definable Minimal collapse Functions at Arbitrary Projective Levels.

Vladimir Kanovei, Vassily A. Lyubetsky

J. Symb. Log., 2019

Screening for mouse genes lost in mammals with long lifespans.

Lev I. Rubanov, Andrey G. Zaraisky, Gregory A. Shilovsky, Alexander V. Seliverstov, Oleg A. Zverkov, Vassily A. Lyubetsky

BioData Min., 2019

2018

Minimal Axiomatic Frameworks for Definable Hyperreals with Transfer.

Frederik S. Herzberg, Vladimir Kanovei, Mikhail G. Katz, Vassily A. Lyubetsky

J. Symb. Log., 2018

Definable E0 classes at arbitrary projective levels.

Vladimir Kanovei, Vassily A. Lyubetsky

Ann. Pure Appl. Log., 2018

Countable OD sets of reals belong to the ground model.

Vladimir Kanovei, Vassily A. Lyubetsky

Arch. Math. Log., 2018

A Linear Algorithm for Restructuring a Graph.

Konstantin Yu. Gorbunov, Vassily A. Lyubetsky

Autom. Remote. Control., 2018

2017

Linear algorithm for minimal rearrangement of structures.

Konstantin Yu. Gorbunov, Vassily A. Lyubetsky

Probl. Inf. Transm., 2017

A Groszek-Laver pair of undistinguishable E0-classes.

Mohammad Golshani, Vladimir Kanovei, Vassily A. Lyubetsky

Math. Log. Q., 2017

Chromosome structures: reduction of certain problems with unequal gene content and gene paralogs to integer linear programming.

Vassily A. Lyubetsky, Roman Gershgorin, Konstantin Yu. Gorbunov

BMC Bioinform., 2017

2016

A method for identification of highly conserved elements and evolutionary analysis of superphylum Alveolata.

Lev I. Rubanov, Alexander V. Seliverstov, Oleg A. Zverkov, Vassily A. Lyubetsky

BMC Bioinform., 2016

Algorithms for reconstruction of chromosomal structures.

Vassily A. Lyubetsky, Roman Gershgorin, Alexander V. Seliverstov, Konstantin Yu. Gorbunov

BMC Bioinform., 2016

Counterexamples to countable-section uniformization and separation.

Vladimir Kanovei, Vassily A. Lyubetsky

Ann. Pure Appl. Log., 2016

2015

A definable E 0 class containing no definable elements.

Vladimir Kanovei, Vassily A. Lyubetsky

Arch. Math. Log., 2015

Grossone approach to Hutton and Euler transforms.

Vladimir Kanovei, Vassily A. Lyubetsky

Appl. Math. Comput., 2015

2014

Gene expression regulation of the PF00480 or PF14340 domain proteins suggests their involvement in sulfur metabolism.

Vassily A. Lyubetsky, Semen A. Korolev, Alexander V. Seliverstov, Oleg A. Zverkov, Lev I. Rubanov

Comput. Biol. Chem., 2014

2013

On effective σ-boundedness and σ-compactness.

Vladimir Kanovei, Vassily A. Lyubetsky

Math. Log. Q., 2013

2012

Geometric relationship between parallel hyperplanes, quadrics, and vertices of a hypercube.

Konstantin Yu. Gorbunov, Alexander V. Seliverstov, Vassily A. Lyubetsky

Probl. Inf. Transm., 2012

An infinity which depends on the axiom of choice.

Vladimir Kanovei, Vassily A. Lyubetsky

Appl. Math. Comput., 2012

2011

The tree nearest on average to a given set of trees.

Konstantin Yu. Gorbunov, Vassily A. Lyubetsky

Probl. Inf. Transm., 2011

2010

Evolution of Regulatory Motifs of Bacterial Transcription Factors.

Konstantin Yu. Gorbunov, Olga N. Laikova, Dmitry A. Rodionov, Mikhail S. Gelfand, Vassily A. Lyubetsky

Silico Biol., 2010

2009

On symmetric matrices with indeterminate leading diagonals.

Alexander V. Seliverstov, Vassily A. Lyubetsky

Probl. Inf. Transm., 2009

2008

Gibbs field approach for evolutionary analysis of regulatory signal of gene expression.

Vassily A. Lyubetsky, Elena A. Zhizhina, Lev I. Rubanov

Probl. Inf. Transm., 2008

2007

Modeling Classic Attenuation Regulation of gene Expression in bacteria.

Vassily A. Lyubetsky, Sergey A. Pirogov, Lev I. Rubanov, Alexander V. Seliverstov

J. Bioinform. Comput. Biol., 2007

RNAmodel Web Server: Modeling Classic Attenuation in Bacteria.

Lev I. Rubanov, Vassily A. Lyubetsky

Silico Biol., 2007

Attenuation Regulation as a Term Rewriting System.

Eugene Asarin, Thierry Cachat, Alexander V. Seliverstov, Tayssir Touili, Vassily A. Lyubetsky

Proceedings of the Algebraic Biology, Second International Conference, 2007

2006

Translation Regulation of Intron-containing Genes in Chloroplasts.

Alexander V. Seliverstov, Vassily A. Lyubetsky

J. Bioinform. Comput. Biol., 2006

2003

Stochastic Dynamic Games with Various Types of Information.

P. V. Golubtsov, Vassily A. Lyubetsky

Probl. Inf. Transm., 2003

Methods of horizontal gene transfer determination using phylogenetic data.

Vassily A. Lyubetsky, Vladimir V. V'yugin

Silico Biol., 2003

An algorithm for identification of regulatory signals in unaligned DNA sequences, its testing and parallel implementation.

Ludmila V. Danilova, Vassily A. Lyubetsky, Mikhail S. Gelfand

Silico Biol., 2003

1988

On some applications of Heyting-valued analysis II.

Vassily A. Lyubetsky

Proceedings of the COLOG-88, 1988