Vassily A. Lyubetsky

41 papers Journal 39Unranked 2

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Clustering of Points in Multidimensional Space Based on Seurat Ideology. Probl. Inf. Transm. Vassily A. Lyubetsky, Konstantin Yu. Gorbunov, Sergey A. Pirogov, Georgy A. Khaziev, A. I. Aglamazova
2025	J	`jnl`	Notes on the Equiconsistency of ZFC Without the Power Set Axiom and Second-Order Arithmetic. Axioms Vladimir Kanovei, Vassily A. Lyubetsky
2025	J	`jnl`	Parameterfree Comprehension Does Not Imply Full Comprehension in Second Order Peano Arithmetic. Stud Logica Vladimir Kanovei, Vassily A. Lyubetsky
2024	J	`jnl`	A good lightface Δn1 well-ordering of the reals does not imply the existence of boldface Δn-11 well-orderings. Ann. Pure Appl. Log. Vladimir Kanovei, Vassily A. Lyubetsky
2024	J	`jnl`	Jensen Δn1 Reals by Means of ZFC and Second-Order Peano Arithmetic. Axioms Vladimir Kanovei, Vassily A. Lyubetsky
2024	J	`jnl`	On the Uniform Projection Problem in Descriptive Set Theory. Axioms Vladimir Kanovei, Vassily A. Lyubetsky
2022	J	`jnl`	A Model in Which Well-Orderings of the Reals Appear at a Given Projective Level. Axioms Vladimir Kanovei, Vassily A. Lyubetsky
2022	J	`jnl`	A Model in Which the Separation Principle Holds for a Given Effective Projective Sigma-Class. Axioms Vladimir Kanovei, Vassily A. Lyubetsky
2021	J	`jnl`	The full basis theorem does not imply analytic wellordering. Ann. Pure Appl. Log. Vladimir Kanovei, Vassily A. Lyubetsky
2020	J	`jnl`	An Almost Exact Linear Complexity Algorithm of the Shortest Transformation of Chain-Cycle Graphs. CoRR Konstantin Yu. Gorbunov, Vassily A. Lyubetsky
2020	J	`jnl`	Canonization of Smooth Equivalence Relations on Infinite-Dimensional E Notre Dame J. Formal Log. Vladimir Kanovei, Vassily A. Lyubetsky
2019	J	`jnl`	Definable Minimal collapse Functions at Arbitrary Projective Levels. J. Symb. Log. Vladimir Kanovei, Vassily A. Lyubetsky
2019	J	`jnl`	Screening for mouse genes lost in mammals with long lifespans. BioData Min. Lev I. Rubanov, Andrey G. Zaraisky, Gregory A. Shilovsky, Alexander V. Seliverstov, Oleg A. Zverkov, Vassily A. Lyubetsky
2018	J	`jnl`	A Linear Algorithm for Restructuring a Graph. Autom. Remote. Control. Konstantin Yu. Gorbunov, Vassily A. Lyubetsky
2018	J	`jnl`	Countable OD sets of reals belong to the ground model. Arch. Math. Log. Vladimir Kanovei, Vassily A. Lyubetsky
2018	J	`jnl`	Definable E0 classes at arbitrary projective levels. Ann. Pure Appl. Log. Vladimir Kanovei, Vassily A. Lyubetsky
2018	J	`jnl`	Minimal Axiomatic Frameworks for Definable Hyperreals with Transfer. J. Symb. Log. Frederik S. Herzberg, Vladimir Kanovei, Mikhail G. Katz, Vassily A. Lyubetsky
2017	J	`jnl`	A Groszek-Laver pair of undistinguishable E0-classes. Math. Log. Q. Mohammad Golshani, Vladimir Kanovei, Vassily A. Lyubetsky
2017	J	`jnl`	Chromosome structures: reduction of certain problems with unequal gene content and gene paralogs to integer linear programming. BMC Bioinform. Vassily A. Lyubetsky, Roman Gershgorin, Konstantin Yu. Gorbunov
2017	J	`jnl`	Linear algorithm for minimal rearrangement of structures. Probl. Inf. Transm. Konstantin Yu. Gorbunov, Vassily A. Lyubetsky
2016	J	`jnl`	A method for identification of highly conserved elements and evolutionary analysis of superphylum Alveolata. BMC Bioinform. Lev I. Rubanov, Alexander V. Seliverstov, Oleg A. Zverkov, Vassily A. Lyubetsky
2016	J	`jnl`	Algorithms for reconstruction of chromosomal structures. BMC Bioinform. Vassily A. Lyubetsky, Roman Gershgorin, Alexander V. Seliverstov, Konstantin Yu. Gorbunov
2016	J	`jnl`	Counterexamples to countable-section uniformization and separation. Ann. Pure Appl. Log. Vladimir Kanovei, Vassily A. Lyubetsky
2015	J	`jnl`	A definable E 0 class containing no definable elements. Arch. Math. Log. Vladimir Kanovei, Vassily A. Lyubetsky
2015	J	`jnl`	Grossone approach to Hutton and Euler transforms. Appl. Math. Comput. Vladimir Kanovei, Vassily A. Lyubetsky
2014	J	`jnl`	Gene expression regulation of the PF00480 or PF14340 domain proteins suggests their involvement in sulfur metabolism. Comput. Biol. Chem. Vassily A. Lyubetsky, Semen A. Korolev, Alexander V. Seliverstov, Oleg A. Zverkov, Lev I. Rubanov
2013	J	`jnl`	On effective σ-boundedness and σ-compactness. Math. Log. Q. Vladimir Kanovei, Vassily A. Lyubetsky
2012	J	`jnl`	An infinity which depends on the axiom of choice. Appl. Math. Comput. Vladimir Kanovei, Vassily A. Lyubetsky
2012	J	`jnl`	Geometric relationship between parallel hyperplanes, quadrics, and vertices of a hypercube. Probl. Inf. Transm. Konstantin Yu. Gorbunov, Alexander V. Seliverstov, Vassily A. Lyubetsky
2011	J	`jnl`	The tree nearest on average to a given set of trees. Probl. Inf. Transm. Konstantin Yu. Gorbunov, Vassily A. Lyubetsky
2010	J	`jnl`	Evolution of Regulatory Motifs of Bacterial Transcription Factors. Silico Biol. Konstantin Yu. Gorbunov, Olga N. Laikova, Dmitry A. Rodionov, Mikhail S. Gelfand, Vassily A. Lyubetsky
2009	J	`jnl`	On symmetric matrices with indeterminate leading diagonals. Probl. Inf. Transm. Alexander V. Seliverstov, Vassily A. Lyubetsky
2008	J	`jnl`	Gibbs field approach for evolutionary analysis of regulatory signal of gene expression. Probl. Inf. Transm. Vassily A. Lyubetsky, Elena A. Zhizhina, Lev I. Rubanov
2007	—	`conf`	Attenuation Regulation as a Term Rewriting System. AB Eugene Asarin, Thierry Cachat, Alexander V. Seliverstov, Tayssir Touili, Vassily A. Lyubetsky
2007	J	`jnl`	Modeling Classic Attenuation Regulation of gene Expression in bacteria. J. Bioinform. Comput. Biol. Vassily A. Lyubetsky, Sergey A. Pirogov, Lev I. Rubanov, Alexander V. Seliverstov
2007	J	`jnl`	RNAmodel Web Server: Modeling Classic Attenuation in Bacteria. Silico Biol. Lev I. Rubanov, Vassily A. Lyubetsky
2006	J	`jnl`	Translation Regulation of Intron-containing Genes in Chloroplasts. J. Bioinform. Comput. Biol. Alexander V. Seliverstov, Vassily A. Lyubetsky
2003	J	`jnl`	An algorithm for identification of regulatory signals in unaligned DNA sequences, its testing and parallel implementation. Silico Biol. Ludmila V. Danilova, Vassily A. Lyubetsky, Mikhail S. Gelfand
2003	J	`jnl`	Methods of horizontal gene transfer determination using phylogenetic data. Silico Biol. Vassily A. Lyubetsky, Vladimir V. V'yugin
2003	J	`jnl`	Stochastic Dynamic Games with Various Types of Information. Probl. Inf. Transm. P. V. Golubtsov, Vassily A. Lyubetsky
1988	—	`conf`	On some applications of Heyting-valued analysis II. Conference on Computer Logic Vassily A. Lyubetsky