On some applications of Heyting-valued analysis II. - Vassily A. Lyubetsky (Conference on Computer Logic, 1988)

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)

Methods of horizontal gene transfer determination using phylogenetic data. - Vassily A. Lyubetsky; Vladimir V. V'yugin (Silico Biol., 2003)

Stochastic Dynamic Games with Various Types of Information. - P. V. Golubtsov; Vassily A. Lyubetsky (Probl. Inf. Transm., 2003)

Translation Regulation of Intron-containing Genes in Chloroplasts. - Alexander V. Seliverstov; Vassily A. Lyubetsky (J. Bioinform. Comput. Biol., 2006)

Attenuation Regulation as a Term Rewriting System. - Eugene Asarin; Thierry Cachat; Alexander V. Seliverstov; Tayssir Touili; Vassily A. Lyubetsky (AB, 2007)

RNAmodel Web Server: Modeling Classic Attenuation in Bacteria. - Lev I. Rubanov; Vassily A. Lyubetsky (Silico Biol., 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)

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)

On symmetric matrices with indeterminate leading diagonals. - Alexander V. Seliverstov; Vassily A. Lyubetsky (Probl. Inf. Transm., 2009)

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)

The tree nearest on average to a given set of trees. - Konstantin Yu. Gorbunov; Vassily A. Lyubetsky (Probl. Inf. Transm., 2011)

An infinity which depends on the axiom of choice. - Vladimir Kanovei; Vassily A. Lyubetsky (Appl. Math. Comput., 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)

On effective σ-boundedness and σ-compactness. - Vladimir Kanovei; Vassily A. Lyubetsky (Math. Log. Q., 2013)

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)

Grossone approach to Hutton and Euler transforms. - Vladimir Kanovei; Vassily A. Lyubetsky (Appl. Math. Comput., 2015)

A definable E 0 class containing no definable elements. - Vladimir Kanovei; Vassily A. Lyubetsky (Arch. Math. Log., 2015)

Counterexamples to countable-section uniformization and separation. - Vladimir Kanovei; Vassily A. Lyubetsky (Ann. Pure Appl. Log., 2016)

Algorithms for reconstruction of chromosomal structures. - Vassily A. Lyubetsky; Roman Gershgorin; Alexander V. Seliverstov; Konstantin Yu. Gorbunov (BMC Bioinform., 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)

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)

A Groszek-Laver pair of undistinguishable E0-classes. - Mohammad Golshani; Vladimir Kanovei; Vassily A. Lyubetsky (Math. Log. Q., 2017)

Linear algorithm for minimal rearrangement of structures. - Konstantin Yu. Gorbunov; Vassily A. Lyubetsky (Probl. Inf. Transm., 2017)

A Linear Algorithm for Restructuring a Graph. - Konstantin Yu. Gorbunov; Vassily A. Lyubetsky (Autom. Remote. Control., 2018)

Countable OD sets of reals belong to the ground model. - Vladimir Kanovei; Vassily A. Lyubetsky (Arch. Math. Log., 2018)

Definable E0 classes at arbitrary projective levels. - Vladimir Kanovei; Vassily A. Lyubetsky (Ann. Pure Appl. Log., 2018)

Minimal Axiomatic Frameworks for Definable Hyperreals with Transfer. - Frederik S. Herzberg; Vladimir Kanovei; Mikhail G. Katz; Vassily A. Lyubetsky (J. Symb. Log., 2018)

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)

Definable Minimal collapse Functions at Arbitrary Projective Levels. - Vladimir Kanovei; Vassily A. Lyubetsky (J. Symb. Log., 2019)

An Almost Exact Linear Complexity Algorithm of the Shortest Transformation of Chain-Cycle Graphs. - Konstantin Yu. Gorbunov; Vassily A. Lyubetsky (CoRR, 2020)

Canonization of Smooth Equivalence Relations on Infinite-Dimensional E0-Large Products. - Vladimir Kanovei; Vassily A. Lyubetsky (Notre Dame J. Formal Log., 2020)

The full basis theorem does not imply analytic wellordering. - Vladimir Kanovei; Vassily A. Lyubetsky (Ann. Pure Appl. Log., 2021)

A Model in Which the Separation Principle Holds for a Given Effective Projective Sigma-Class. - Vladimir Kanovei; Vassily A. Lyubetsky (Axioms, 2022)

A Model in Which Well-Orderings of the Reals Appear at a Given Projective Level. - Vladimir Kanovei; Vassily A. Lyubetsky (Axioms, 2022)

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)

Jensen Δn1 Reals by Means of ZFC and Second-Order Peano Arithmetic. - Vladimir Kanovei; Vassily A. Lyubetsky (Axioms, 2024)

Parameterfree Comprehension Does Not Imply Full Comprehension in Second Order Peano Arithmetic. - Vladimir Kanovei; Vassily A. Lyubetsky (Stud Logica, 2025)