Vassily A. Lyubetsky

Orcid: 0000-0002-3739-9161

Affiliations:
  • Russian Academy of Sciences, Kharkevich Institute for Information Transmission Problems, Moscow, Russia


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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Jensen Δn1 Reals by Means of ZFC and Second-Order Peano Arithmetic.
Axioms, February, 2024

A good lightface Δn1 well-ordering of the reals does not imply the existence of boldface Δn-11 well-orderings.
Ann. Pure Appl. Log., 2024

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

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

2021
The full basis theorem does not imply analytic wellordering.
Ann. Pure Appl. Log., 2021

2020
Canonization of Smooth Equivalence Relations on Infinite-Dimensional E<sub>0</sub>-Large Products.
Notre Dame J. Formal Log., 2020

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

2019
Definable Minimal collapse Functions at Arbitrary Projective Levels.
J. Symb. Log., 2019

Screening for mouse genes lost in mammals with long lifespans.
BioData Min., 2019

2018
Minimal Axiomatic Frameworks for Definable Hyperreals with Transfer.
J. Symb. Log., 2018

Definable E0 classes at arbitrary projective levels.
Ann. Pure Appl. Log., 2018

Countable OD sets of reals belong to the ground model.
Arch. Math. Log., 2018

A Linear Algorithm for Restructuring a Graph.
Autom. Remote. Control., 2018

2017
Linear algorithm for minimal rearrangement of structures.
Probl. Inf. Transm., 2017

A Groszek-Laver pair of undistinguishable E0-classes.
Math. Log. Q., 2017

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

2016
A method for identification of highly conserved elements and evolutionary analysis of superphylum Alveolata.
BMC Bioinform., 2016

Algorithms for reconstruction of chromosomal structures.
BMC Bioinform., 2016

Counterexamples to countable-section uniformization and separation.
Ann. Pure Appl. Log., 2016

2015
A definable E 0 class containing no definable elements.
Arch. Math. Log., 2015

Grossone approach to Hutton and Euler transforms.
Appl. Math. Comput., 2015

2014
Gene expression regulation of the PF00480 or PF14340 domain proteins suggests their involvement in sulfur metabolism.
Comput. Biol. Chem., 2014

2013
On effective σ-boundedness and σ-compactness.
Math. Log. Q., 2013

2012
Geometric relationship between parallel hyperplanes, quadrics, and vertices of a hypercube.
Probl. Inf. Transm., 2012

An infinity which depends on the axiom of choice.
Appl. Math. Comput., 2012

2011
The tree nearest on average to a given set of trees.
Probl. Inf. Transm., 2011

2010
Evolution of Regulatory Motifs of Bacterial Transcription Factors.
Silico Biol., 2010

2009
On symmetric matrices with indeterminate leading diagonals.
Probl. Inf. Transm., 2009

2008
Gibbs field approach for evolutionary analysis of regulatory signal of gene expression.
Probl. Inf. Transm., 2008

2007
Modeling Classic Attenuation Regulation of gene Expression in bacteria.
J. Bioinform. Comput. Biol., 2007

RNAmodel Web Server: Modeling Classic Attenuation in Bacteria.
Silico Biol., 2007

Attenuation Regulation as a Term Rewriting System.
Proceedings of the Algebraic Biology, Second International Conference, 2007

2006
Translation Regulation of Intron-containing Genes in Chloroplasts.
J. Bioinform. Comput. Biol., 2006

2003
Stochastic Dynamic Games with Various Types of Information.
Probl. Inf. Transm., 2003

Methods of horizontal gene transfer determination using phylogenetic data.
Silico Biol., 2003

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

1988
On some applications of Heyting-valued analysis II.
Proceedings of the COLOG-88, 1988


  Loading...