Vassily A. Lyubetsky

Stud Logica, February, 2025

2024

Jensen Δn1 Reals by Means of ZFC and Second-Order Peano Arithmetic.

[BibT_eX]

[DOI]

Axioms, February, 2024

On the Uniform Projection Problem in Descriptive Set Theory.

[BibT_eX]

[DOI]

Axioms, 2024

A good lightface Δn1 well-ordering of the reals does not imply the existence of boldface Δn-11 well-orderings.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2024

2022

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

[BibT_eX]

[DOI]

Axioms, 2022

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

[BibT_eX]

[DOI]

Axioms, 2022

2021

The full basis theorem does not imply analytic wellordering.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2021

2020

Canonization of Smooth Equivalence Relations on Infinite-Dimensional E<sub>0</sub>-Large Products.

[BibT_eX]

[DOI]

Notre Dame J. Formal Log., 2020

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

[BibT_eX]

[DOI]

CoRR, 2020

2019

Definable Minimal collapse Functions at Arbitrary Projective Levels.

[BibT_eX]

[DOI]

J. Symb. Log., 2019

Screening for mouse genes lost in mammals with long lifespans.

[BibT_eX]

[DOI]

Andrey G. Zaraisky

Gregory A. Shilovsky

Oleg A. Zverkov

BioData Min., 2019

2018

Minimal Axiomatic Frameworks for Definable Hyperreals with Transfer.

[BibT_eX]

[DOI]

J. Symb. Log., 2018

Definable E0 classes at arbitrary projective levels.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2018

Countable OD sets of reals belong to the ground model.

[BibT_eX]

[DOI]

Arch. Math. Log., 2018

A Linear Algorithm for Restructuring a Graph.

[BibT_eX]

[DOI]

Autom. Remote. Control., 2018

2017

Linear algorithm for minimal rearrangement of structures.

[BibT_eX]

[DOI]

Probl. Inf. Transm., 2017

A Groszek-Laver pair of undistinguishable E0-classes.

[BibT_eX]

[DOI]

Mohammad Golshani

Math. Log. Q., 2017

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

[BibT_eX]

[DOI]

Roman Gershgorin

BMC Bioinform., 2017

2016

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

[BibT_eX]

[DOI]

Oleg A. Zverkov

BMC Bioinform., 2016

Algorithms for reconstruction of chromosomal structures.

[BibT_eX]

[DOI]

Roman Gershgorin

BMC Bioinform., 2016

Counterexamples to countable-section uniformization and separation.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2016

2015

A definable E 0 class containing no definable elements.

[BibT_eX]

[DOI]

Arch. Math. Log., 2015

Grossone approach to Hutton and Euler transforms.

[BibT_eX]

[DOI]

Appl. Math. Comput., 2015

2014

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

[BibT_eX]

[DOI]

Semen A. Korolev

Oleg A. Zverkov

Comput. Biol. Chem., 2014

2013

On effective σ-boundedness and σ-compactness.

[BibT_eX]

[DOI]

Math. Log. Q., 2013

2012

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

[BibT_eX]

[DOI]

Probl. Inf. Transm., 2012

An infinity which depends on the axiom of choice.

[BibT_eX]

[DOI]

Appl. Math. Comput., 2012

2011

The tree nearest on average to a given set of trees.

[BibT_eX]

[DOI]

Probl. Inf. Transm., 2011

2010

Evolution of Regulatory Motifs of Bacterial Transcription Factors.

[BibT_eX]

[DOI]

Silico Biol., 2010

2009

On symmetric matrices with indeterminate leading diagonals.

[BibT_eX]

[DOI]

Probl. Inf. Transm., 2009

2008

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

[BibT_eX]

[DOI]

Elena A. Zhizhina

Probl. Inf. Transm., 2008

2007

Modeling Classic Attenuation Regulation of gene Expression in bacteria.

[BibT_eX]

[DOI]

Sergey A. Pirogov

J. Bioinform. Comput. Biol., 2007

RNAmodel Web Server: Modeling Classic Attenuation in Bacteria.

[BibT_eX]

[DOI]

Silico Biol., 2007

Attenuation Regulation as a Term Rewriting System.

[BibT_eX]

[DOI]

Eugene Asarin

Thierry Cachat

Tayssir Touili

Proceedings of the Algebraic Biology, Second International Conference, 2007

2006

Translation Regulation of Intron-containing Genes in Chloroplasts.

[BibT_eX]

[DOI]

J. Bioinform. Comput. Biol., 2006

2003

Stochastic Dynamic Games with Various Types of Information.

[BibT_eX]

[DOI]

P. V. Golubtsov

Probl. Inf. Transm., 2003

Methods of horizontal gene transfer determination using phylogenetic data.

[BibT_eX]

[DOI]

Vladimir V. V'yugin

Silico Biol., 2003

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

[BibT_eX]

[DOI]

Ludmila V. Danilova

Mikhail S. Gelfand

Silico Biol., 2003

1988

On some applications of Heyting-valued analysis II.

[BibT_eX]

[DOI]