Vassily A. Lyubetsky

Publication Activity (10 Years)

Years Active: 1988-2024
Publications (10 Years): 21

Top Topics

Linear Complexity

Top Venues

Ann. Pure Appl. Log.

Arch. Math. Log.

Publications

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