Vassily A. Lyubetsky

41 papers Journal 39Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
Clustering of Points in Multidimensional Space Based on Seurat Ideology.
Probl. Inf. Transm.
Vassily A. Lyubetsky, Konstantin Yu. Gorbunov, Sergey A. Pirogov, Georgy A. Khaziev, A. I. Aglamazova
2025 J jnl
Notes on the Equiconsistency of ZFC Without the Power Set Axiom and Second-Order Arithmetic.
Axioms
Vladimir Kanovei, Vassily A. Lyubetsky
2025 J jnl
Parameterfree Comprehension Does Not Imply Full Comprehension in Second Order Peano Arithmetic.
Stud Logica
Vladimir Kanovei, Vassily A. Lyubetsky
2024 J jnl
A good lightface Δn1 well-ordering of the reals does not imply the existence of boldface Δn-11 well-orderings.
Ann. Pure Appl. Log.
Vladimir Kanovei, Vassily A. Lyubetsky
2024 J jnl
Jensen Δn1 Reals by Means of ZFC and Second-Order Peano Arithmetic.
Axioms
Vladimir Kanovei, Vassily A. Lyubetsky
2024 J jnl
On the Uniform Projection Problem in Descriptive Set Theory.
Axioms
Vladimir Kanovei, Vassily A. Lyubetsky
2022 J jnl
A Model in Which Well-Orderings of the Reals Appear at a Given Projective Level.
Axioms
Vladimir Kanovei, Vassily A. Lyubetsky
2022 J jnl
A Model in Which the Separation Principle Holds for a Given Effective Projective Sigma-Class.
Axioms
Vladimir Kanovei, Vassily A. Lyubetsky
2021 J jnl
The full basis theorem does not imply analytic wellordering.
Ann. Pure Appl. Log.
Vladimir Kanovei, Vassily A. Lyubetsky
2020 J jnl
An Almost Exact Linear Complexity Algorithm of the Shortest Transformation of Chain-Cycle Graphs.
CoRR
Konstantin Yu. Gorbunov, Vassily A. Lyubetsky
2020 J jnl
Canonization of Smooth Equivalence Relations on Infinite-Dimensional E
Notre Dame J. Formal Log.
Vladimir Kanovei, Vassily A. Lyubetsky
2019 J jnl
Definable Minimal collapse Functions at Arbitrary Projective Levels.
J. Symb. Log.
Vladimir Kanovei, Vassily A. Lyubetsky
2019 J jnl
Screening for mouse genes lost in mammals with long lifespans.
BioData Min.
Lev I. Rubanov, Andrey G. Zaraisky, Gregory A. Shilovsky, Alexander V. Seliverstov, Oleg A. Zverkov, Vassily A. Lyubetsky
2018 J jnl
A Linear Algorithm for Restructuring a Graph.
Autom. Remote. Control.
Konstantin Yu. Gorbunov, Vassily A. Lyubetsky
2018 J jnl
Countable OD sets of reals belong to the ground model.
Arch. Math. Log.
Vladimir Kanovei, Vassily A. Lyubetsky
2018 J jnl
Definable E0 classes at arbitrary projective levels.
Ann. Pure Appl. Log.
Vladimir Kanovei, Vassily A. Lyubetsky
2018 J jnl
Minimal Axiomatic Frameworks for Definable Hyperreals with Transfer.
J. Symb. Log.
Frederik S. Herzberg, Vladimir Kanovei, Mikhail G. Katz, Vassily A. Lyubetsky
2017 J jnl
A Groszek-Laver pair of undistinguishable E0-classes.
Math. Log. Q.
Mohammad Golshani, Vladimir Kanovei, Vassily A. Lyubetsky
2017 J jnl
Chromosome structures: reduction of certain problems with unequal gene content and gene paralogs to integer linear programming.
BMC Bioinform.
Vassily A. Lyubetsky, Roman Gershgorin, Konstantin Yu. Gorbunov
2017 J jnl
Linear algorithm for minimal rearrangement of structures.
Probl. Inf. Transm.
Konstantin Yu. Gorbunov, Vassily A. Lyubetsky
2016 J jnl
A method for identification of highly conserved elements and evolutionary analysis of superphylum Alveolata.
BMC Bioinform.
Lev I. Rubanov, Alexander V. Seliverstov, Oleg A. Zverkov, Vassily A. Lyubetsky
2016 J jnl
Algorithms for reconstruction of chromosomal structures.
BMC Bioinform.
Vassily A. Lyubetsky, Roman Gershgorin, Alexander V. Seliverstov, Konstantin Yu. Gorbunov
2016 J jnl
Counterexamples to countable-section uniformization and separation.
Ann. Pure Appl. Log.
Vladimir Kanovei, Vassily A. Lyubetsky
2015 J jnl
A definable E 0 class containing no definable elements.
Arch. Math. Log.
Vladimir Kanovei, Vassily A. Lyubetsky
2015 J jnl
Grossone approach to Hutton and Euler transforms.
Appl. Math. Comput.
Vladimir Kanovei, Vassily A. Lyubetsky
2014 J jnl
Gene expression regulation of the PF00480 or PF14340 domain proteins suggests their involvement in sulfur metabolism.
Comput. Biol. Chem.
Vassily A. Lyubetsky, Semen A. Korolev, Alexander V. Seliverstov, Oleg A. Zverkov, Lev I. Rubanov
2013 J jnl
On effective σ-boundedness and σ-compactness.
Math. Log. Q.
Vladimir Kanovei, Vassily A. Lyubetsky
2012 J jnl
An infinity which depends on the axiom of choice.
Appl. Math. Comput.
Vladimir Kanovei, Vassily A. Lyubetsky
2012 J jnl
Geometric relationship between parallel hyperplanes, quadrics, and vertices of a hypercube.
Probl. Inf. Transm.
Konstantin Yu. Gorbunov, Alexander V. Seliverstov, Vassily A. Lyubetsky
2011 J jnl
The tree nearest on average to a given set of trees.
Probl. Inf. Transm.
Konstantin Yu. Gorbunov, Vassily A. Lyubetsky
2010 J jnl
Evolution of Regulatory Motifs of Bacterial Transcription Factors.
Silico Biol.
Konstantin Yu. Gorbunov, Olga N. Laikova, Dmitry A. Rodionov, Mikhail S. Gelfand, Vassily A. Lyubetsky
2009 J jnl
On symmetric matrices with indeterminate leading diagonals.
Probl. Inf. Transm.
Alexander V. Seliverstov, Vassily A. Lyubetsky
2008 J jnl
Gibbs field approach for evolutionary analysis of regulatory signal of gene expression.
Probl. Inf. Transm.
Vassily A. Lyubetsky, Elena A. Zhizhina, Lev I. Rubanov
2007 — conf
Attenuation Regulation as a Term Rewriting System.
AB
Eugene Asarin, Thierry Cachat, Alexander V. Seliverstov, Tayssir Touili, Vassily A. Lyubetsky
2007 J jnl
Modeling Classic Attenuation Regulation of gene Expression in bacteria.
J. Bioinform. Comput. Biol.
Vassily A. Lyubetsky, Sergey A. Pirogov, Lev I. Rubanov, Alexander V. Seliverstov
2007 J jnl
RNAmodel Web Server: Modeling Classic Attenuation in Bacteria.
Silico Biol.
Lev I. Rubanov, Vassily A. Lyubetsky
2006 J jnl
Translation Regulation of Intron-containing Genes in Chloroplasts.
J. Bioinform. Comput. Biol.
Alexander V. Seliverstov, Vassily A. Lyubetsky
2003 J jnl
An algorithm for identification of regulatory signals in unaligned DNA sequences, its testing and parallel implementation.
Silico Biol.
Ludmila V. Danilova, Vassily A. Lyubetsky, Mikhail S. Gelfand
2003 J jnl
Methods of horizontal gene transfer determination using phylogenetic data.
Silico Biol.
Vassily A. Lyubetsky, Vladimir V. V'yugin
2003 J jnl
Stochastic Dynamic Games with Various Types of Information.
Probl. Inf. Transm.
P. V. Golubtsov, Vassily A. Lyubetsky
1988 — conf
On some applications of Heyting-valued analysis II.
Conference on Computer Logic
Vassily A. Lyubetsky