Vassily A. Lyubetsky

发表

Modeling Classic Attenuation Regulation of gene Expression in bacteria

Vassily A. Lyubetsky, Sergey A. Pirogov, Lev I. Rubanov, 2007, J. Bioinform. Comput. Biol..

Linear algorithm for minimal rearrangement of structures

Vassily A. Lyubetsky, Konstantin Yu. Gorbunov, 2017, Probl. Inf. Transm..

On effective σ‐boundedness and σ‐compactness

Vassily A. Lyubetsky, Vladimir Kanovei, V. Kanovei, 2011, Math. Log. Q..

Attenuation Regulation as a Term Rewriting System

Tayssir Touili, Eugene Asarin, Vassily A. Lyubetsky, 2007, AB.

Definable E0 classes at arbitrary projective levels

Vassily A. Lyubetsky, Vladimir Kanovei, 2018, Ann. Pure Appl. Log..

RNAmodel Web Server: Modeling Classic Attenuation in Bacteria

Vassily A. Lyubetsky, Lev I. Rubanov, 2007, Silico Biol..

A Linear Algorithm for Restructuring a Graph

Vassily A. Lyubetsky, Konstantin Yu. Gorbunov, 2018 .

Stochastic Dynamic Games with Various Types of Information

P. V. Golubtsov, Vassily A. Lyubetsky, V. Lyubetsky, 2003, Probl. Inf. Transm..

On symmetric matrices with indeterminate leading diagonals

Vassily A. Lyubetsky, Alexander V. Seliverstov, V. Lyubetsky, 2009, Probl. Inf. Transm..

A Groszek-Laver pair of undistinguishable E0-classes

Vassily A. Lyubetsky, Vladimir Kanovei, Mohammad Golshani, 2017, Math. Log. Q..

Countable OD sets of reals belong to the ground model

Vassily A. Lyubetsky, Vladimir Kanovei, 2018, Arch. Math. Log..

Counterexamples to countable-section uniformization and separation

Vassily A. Lyubetsky, Vladimir Kanovei, 2016, Ann. Pure Appl. Log..

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

Mikhail S. Gelfand, Vassily A. Lyubetsky, Ludmila V. Danilova, 2003, Silico Biol..

The tree nearest on average to a given set of trees

Vassily A. Lyubetsky, Konstantin Yu. Gorbunov, 2011, Probl. Inf. Transm..

REFINEMENT OF PHYLOGENETIC SIGNAL IN MULTIPLE SEQUENCE ALIGNMENT: RESULTS OF SIMULATION STUDY

Vassily A. Lyubetsky, L. Y. Rusin, 2006 .

An infinity which depends on the axiom of choice

Vassily A. Lyubetsky, Vladimir Kanovei, V. Kanovei, 2012, Appl. Math. Comput..

Canonization of Smooth Equivalence Relations on Infinite-Dimensional E0-Large Products

Vassily A. Lyubetsky, Vladimir Kanovei, 2020, Notre Dame J. Formal Log..

Definable Minimal collapse Functions at Arbitrary Projective Levels

Vassily A. Lyubetsky, Vladimir Kanovei, 2019, J. Symb. Log..

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

Vassily A. Lyubetsky, Alexander V. Seliverstov, Konstantin Yu. Gorbunov, 2012, Probl. Inf. Transm..

A Linear Algorithm for Restructuring a Graph

Vassily A. Lyubetsky, Konstantin Yu. Gorbunov, 2018, Autom. Remote. Control..

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

Vassily A. Lyubetsky, Lev I. Rubanov, Elena A. Zhizhina, 2008, Probl. Inf. Transm..

Grossone approach to Hutton and Euler transforms

Vassily A. Lyubetsky, Vladimir Kanovei, 2015, Appl. Math. Comput..

Evolution of Regulatory Motifs of Bacterial Transcription Factors

Mikhail S. Gelfand, Vassily A. Lyubetsky, Konstantin Yu. Gorbunov, 2010, Silico Biol..

On some applications of Heyting-valued analysis II

Vassily A. Lyubetsky, 1988, Conference on Computer Logic.

Algorithms for reconstruction of chromosomal structures

Vassily A. Lyubetsky, Alexander V. Seliverstov, Konstantin Yu. Gorbunov, 2016, BMC Bioinformatics.

Translation Regulation of Intron-containing Genes in Chloroplasts

Vassily A. Lyubetsky, Alexander V. Seliverstov, 2006, J. Bioinform. Comput. Biol..

MINIMAL AXIOMATIC FRAMEWORKS FOR DEFINABLE HYPERREALS WITH TRANSFER

Vassily A. Lyubetsky, Vladimir Kanovei, Frederik Herzberg, 2017, The Journal of Symbolic Logic.

Methods of horizontal gene transfer determination using phylogenetic data

Vladimir V. V'yugin, Vassily A. Lyubetsky, V. V'yugin, 2003, Silico Biol..

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

Vassily A. Lyubetsky, Konstantin Yu. Gorbunov, Roman Gershgorin, 2017, BMC Bioinformatics.

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

Vassily A. Lyubetsky, Lev I. Rubanov, Alexander V. Seliverstov, 2016, BMC Bioinformatics.

Screening for mouse genes lost in mammals with long lifespans

Vassily A. Lyubetsky, Lev I. Rubanov, Oleg A. Zverkov, 2019, BioData Mining.

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

Vassily A. Lyubetsky, Lev I. Rubanov, Alexander V. Seliverstov, 2014, Comput. Biol. Chem..

On Effectively Indiscernible Projective Sets and the Leibniz-Mycielski Axiom

Ali Enayat, Vassily A. Lyubetsky, Vladimir Kanovei, 2021, Mathematics.

An effective minimal encoding of uncountable sets

Vassily A. Lyubetsky, Vladimir Kanovei, 2011 .