2024 |
| Gorbunov K., Lyubetsky V., Algorithms for the reconstruction of genomic structures with proofs of their low polynomial complexity and high exactness.
Mathematics, March 11 2024, Vol. 12, No. 6, Art. 817.
DOI: 10.3390/math12060817
(WoS Q1) http://iitp.ru/https://doi.org/10.3390/math12060817 |
| Kanovei V., Lyubetsky V., Jensen Reals by Means of Second-Order Peano Arithmetic.
Axioms, 2024, 13(2), Article no 96.
DOI: 10.3390/axioms13020096 (WoS Q2) http://iitp.ru/https://doi.org/10.3390/axioms13020096 |
| Kanovei V., Lyubetsky V., A good lightface Δ^1_n well-ordering of the reals does not imply the existence of boldface Δ^1_{n−1} well-orderings.
Annals of Pure and Applied Logic,
2024, 175, 6, pp.\ 1-38. DOI 10.1016/j.apal.2024.103426
(WoS Q2) http://iitp.ru/https://doi.org/10.1016/j.apal.2024.103426 |
| Kanovei V., Lyubetsky V., Parameterfree Comprehension does not imply full Comprehension in second order Peano arithmetic.
Studia Logica,
2024, accepted.
(WoS Q2) |
2023 |
| Tchesunov A., Nikolaeva O., Rusin L., Sanamyan N., Panina E., Miljutin D., Gorelysheva D., Pegova A., Khromova M., Mardashova M., Mikhailov K., Yushin V., Petrov N., Nikitin M., Lyubetsky V., Aleoshin V., Paraphyly of Marimermithida refines primary routes of transition to parasitism in roundworms.
Zoological Journal of the Linnean Society, April 2023, Vol. 197, Iss. 4, P. 909–923.
DOI: 10.1093/zoolinnean/zlac070
(WoS Q1) http://iitp.ru/https://doi.org/10.1093/zoolinnean/zlac070 |
| Cheng H., Guo Z., Zhang X., Wang X.-J., Li Z., Huo W.-W., Zhong H.-C., Li X.-J., Wu X.-W., Li W.-H., Chen Z.-W., Wu T.-C., Gan X.-F., Zhong B.-L., Lyubetsky V., Rusin L., Yang J., Zhao Q., Cao Q.-D., Yang J.-R., Lack of evolutionary convergence in multiple primary lung cancer suggests insufficient specificity of personalized therapy.
Journal of Genetics and Genomics, May 2023, Vol. 50, Iss. 5, P. 330–340.
DOI: 10.1016/j.jgg.2022.11.005
(WoS Q1) http://iitp.ru/https://doi.org/10.1016/j.jgg.2022.11.005 |
| Gorbunov K., Lyubetsky V., Constructing an evolutionary tree and path–cycle graph evolution along it.
Mathematics, Apr 24 2023, Vol. 11, No. 9, Art. 2024.
DOI: 10.3390/math11092024
(WoS Q1) http://iitp.ru/https://doi.org/10.3390/math11092024 |
| Lyubetsky V., Rubanov L., Tereshina M., Ivanova A., Araslanova K., Uroshlev L., Goremykina G., Yang J., Kanovei V., Zverkóv O., Shitikov A., Korotkova D., Zaraisky A., Wide-scale identification of novel/eliminated genes responsible for evolutionary transformations.
Biology Direct, 2023, Vol. 18, Art. 45.
DOI: 10.1186/s13062-023-00405-6
(WoS Q2) http://iitp.ru/https://doi.org/10.1186/s13062-023-00405-6 |
| Kanovei V., Lyubetsky V., A model in which well-orderings of the reals first appear at a given
projective level, part III, the case of second-order PA.
Mathematics,
2023, 11(15), Article no. 3294.
DOI 10.3390/math11153294
(WoS Q1) http://iitp.ru/https://www.mdpi.com/2227-7390/11/15/3294 |
| Kanovei V., Lyubetsky V., A model in which well-orderings of the reals first appear at a given projective level, part II.
Mathematics,
2023, 11(11), Article no. 2517. DOI: 10.3390/math11112517 .
(WoS Q1) http://iitp.ru/https://www.mdpi.com/2227-7390/11/11/2517 |
| Kanovei V., Lyubetsky V., On the Significance of Parameters in the Choice and Collection Schemata in the 2nd Order Peano Arithmetic.
Mathematics,
2023, 11 (3), Article no. 726.
DOI: 10.3390/math11030726
(WoS Q1) http://iitp.ru/https://www.mdpi.com/2227-7390/11/3/726 |
| Kanovei V., Lyubetsky V., On Russell typicality in Set Theory.
Proceedings of the American Mathematical Society, 2023, 151, no 5, pp. 2201–2210.
https://doi.org/10.1090/proc/16232 (WoS Q2)
http://iitp.ru/https://www.ams.org/journals/proc/0000-000-00/S0002-9939-2023-16232-2/ |
2022 |
| Shilovsky G., Zverkóv O., Rubanov L., Seliverstov A., Lyubetsky V., Evolution of protein regulators of circadian rhythm in mammals.
Bioinformatics of Genome Regulation and Structure/Systems Biology (BGRS/SB-2022), The Thirteenth International Multiconference Abstracts, Novosibirsk, Russia, 4-8 July 2022, Novosibirsk: ICG SB RAS, 2022, P. 173. http://iitp.ru/https://elibrary.ru/item.asp?id=49238208 |
| Kanovei V., Lyubetsky V., On the Significance of Parameters in the Choice and Collection Schemata in the 2nd Order Peano Arithmetic.
Preprints,
2022, no 2022120255.
DOI: 10.20944/preprints202212.0255.v2 http://iitp.ru/https://www.preprints.org/manuscript/202212.0255/v2 |
| Kanovei V., Lyubetsky V., The parameterfree Comprehension does not imply the full Comprehension in the 2nd order Peano arithmetic. arXiv: 2209.07599 [math.LO], September 2022. http://iitp.ru/https://arxiv.org/pdf/2209.07599.pdf |
| Kanovei V., Lyubetsky V., A model in which wellorderings of the reals appear at a given projective level.
Axioms, 2022, 11(8), Article no 354.
DOI: 10.3390/axioms11080354
(WoS Q2) http://iitp.ru/https://doi.org/10.3390/axioms11080354 |
| Kanovei V., Lyubetsky V., A model in which the Separation principle holds for a given effective projective Sigma-class.
arXiv: 2204.03915 [math.LO], April 2022. http://iitp.ru/https://arxiv.org/abs/2204.03915 |
| Kanovei V., Lyubetsky V., On the ‘definability of definable’ problem of Alfred Tarski, Part II.
Transactions of the American Mathematical Society,
2022, Vol. 375, No. 12, P. 8651–8686.
DOI: 10.1090/tran/8710
(WoS Q2) http://iitp.ru/https://doi.org/10.1090/tran/8710 |
| Kanovei V., Lyubetsky V., A model in which the separation principle holds for a given effective projective Sigma-class.
Axioms, 2022, 11, Issue 3, Paper no. 122.
DOI 10.3390/axioms11030122
(WoS Q2) http://iitp.ru/https://www.mdpi.com/2075-1680/11/3/122 |
| Kanovei V., Lyubetsky V., A generic model in which the Russell-nontypical sets satisfy ZFC strictly between HOD and the universe.
Mathematics, 2022, 10, Issue 3, Paper no. 491, DOI 10.3390/math10030491
(WoS Q1) http://iitp.ru/https://doi.org/10.3390/math10030491 |
2021 |
| Shilovsky G., Zverkóv O., Rubanov L., Seliverstov A., Lyubetsky V., Complex evolution of Fbxl21 gene in mammals.
Proceedings of the International Moscow Conference on Computational Molecular Biology: MCCMB’21,
Moscow, Russia, July 30 — August 2 2021. |
| Kanovei V., Lyubetsky V., On Russell typicality in Set Theory. arXiv: 2111.07654 [math.LO], November 2021. http://iitp.ru/https://arxiv.org/abs/2111.07654 |
| Kanovei V., Lyubetsky V., A product forcing model in which the Russell-nontypical sets satisfy ZFC strictly between HOD and the universe. arXiv: 2111.13491 [math.LO], November 2021. http://iitp.ru/https://arxiv.org/abs/2111.13491 |
| Gorbunov K., Lyubetsky V., Multiplicatively exact algorithms for transformation and reconstruction of directed path-cycle graphs with repeated edges.
Mathematics, Oct 14 2021, Vol. 9, No. 20, Art. 2576.
DOI: 10.3390/math9202576 (WoS Q1) http://iitp.ru/https://doi.org/10.3390/math9202576 |
| Enayat A., Kanovei V., Lyubetsky V., On effectively indiscernible projective sets and the Leibniz-Mycielski axiom.
Mathematics, 2021, Vol. 9, No. 14, Art. 1670.
DOI: 10.3390/math9141670
(WoS Q1) http://iitp.ru/https://doi.org/10.3390/math9141670 |
| Kanovei V., Lyubetsky V., Models of set theory in which separation theorem fails.
Izvestiya: Mathematics, 2021, Vol. 85, No 6,1181-1219.
DOI: https://doi.org/10.1070/IM8937
(WoS Q2) http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=im&paperid=8937&option_lang=rus |
| Kanovei V., Lyubetsky V., Factoring Solovay-random extensions, with application to the Reduction property.
Monatshefte fur Mathematik, 2021, 194, 1, pp. 105–117.
DOI: 10.1007/s00605-020-01482-9
(WoS Q2) http://iitp.ru/https://doi.org/10.1007/s00605-020-01482-9 |
| Kanovei V., Lyubetsky V., The full basis theorem does not imply analytic wellordering,
Annals of pure and applied logic, 2021, volume 172, issue 4, paper no 102929.
DOI: 10.1016/j.apal.2020.102929
(WoS Q1) http://iitp.ru/https://www.sciencedirect.com/science/article/pii/S0168007220301536?via%3Dihub |
2020 |
| Kanovei V., Lyubetsky V., On the "definability of definable" problem of Alfred Tarski.
Mathematics, 2020, Vol. 8, No. 12, Art. 2214.
DOI: 10.3390/math8122214
(WoS Q1) http://iitp.ru/https://www.mdpi.com/2227-7390/8/12/2214 |
| Gorbunov K., Lyubetsky V., Linear time additively exact algorithm for transformation of chain-cycle graphs for arbitrary costs of deletions and insertions.
Mathematics,
Vol. 8, No. 11, Art. 2001.
DOI: 10.3390/math8112001
(WoS Q1) http://iitp.ru/https://doi.org/10.3390/math8112001 |
| Gorbunov K., Lyubetsky V., Evolution of mitochondrial genomic structures in metazoans: algorithm and software.
The proceedings of International forum «Biotechnology: state of the art and perspectives»,
Moscow, Russia, October 28–30 2020, Iss. 18, P. 261–262.
DOI: 10.37747/2312-640X-2020-18-260-262 http://iitp.ru/https://doi.org/10.37747/2312-640X-2020-18-260-262 |
| Rubanov L., Shilovsky G., Seliverstov A., Zverkóv O., Lyubetsky V., Gene loss prediction based on genomic structure.
The proceedings of International forum «Biotechnology: state of the art and perspectives»,
Moscow, Russia, October 28–30 2020, Iss. 18, P. 259–260.
DOI: 10.37747/2312-640X-2020-18-258-260 http://iitp.ru/https://doi.org/10.37747/2312-640X-2020-18-258-260 |
| Gorbunov K., Lyubetsky V., An almost exact linear algorithm for transformation of chain-cycle graphs with optimization of the sum of operation costs.
Doklady Mathematics,
2020, Vol. 102, No. 2, P. 376–379.
DOI: 10.1134/S1064562420050324 http://iitp.ru/https://doi.org/10.1134/S1064562420050324 |
| Gorbunov K., Lyubetsky V., An almost exact linear complexity algorithm of the shortest transformation of chain-cycle graphs.
arXiv:2004.14351 [math.CO], Apr 29 2020. http://iitp.ru/https://arxiv.org/abs/2004.14351 |
| Lyubetsky V., Shilovsky G., Zverkóv O., Seliverstov A., Rubanov L., New bioinformatics methods for identification of lost genes and protein isoforms.
Homo sapiens liberatus, Proceedings of the 3rd International Conference in celebration of the 85th birthday of professor V.P. Skulachev, Moscow, Russia, February 20–21 2020, Abstract Book.
Moscow: Torus Press, 2020, P. 41–42.
DOI: 10.30826/HomoSapiens-2020-30 http://iitp.ru/https://www.elibrary.ru/item.asp?id=42660982 |
| Lyubetsky V., Shilovsky G., Seliverstov A., Zverkóv O., Rubanov L., Evolution of proteins involved in response to ROS.
Bioinformatics of Genome Regulation and Structure/Systems Biology (BGRS/SB-2020), The Twelfth International Multiconference Abstracts, Novosibirsk, Russia, 6–10 July 2020.
Novosibirsk: ICG SB RAS, 2020, P. 652–653.
DOI: 10.18699/BGRS/SB-2020-398 http://iitp.ru/https://doi.org/10.18699/BGRS/SB-2020-398 |
| Rubanov L., Zverkóv O., Shilovsky G., Seliverstov A., Lyubetsky V., Protein-coding genes in Euarchontoglires with pseudogene homologs in humans.
Life, 2020, Vol. 10, No. 9, Art. 192.
DOI: 10.3390/life10090192, PMID: 32927891 http://iitp.ru/https://doi.org/10.3390/life10090192 |
| Kanovei V., Lyubetsky V., On the Δ1n Problem of Harvey Friedman.
Mathematics,
2020, Vol. 8, No. 9, Art. 1477.
DOI: 10.3390/math8091477
(WoS Q1) http://iitp.ru/https://www.mdpi.com/2227-7390/8/9/1477 |
| Kanovei V., Lyubetsky V., On the equality modulo a countable set.
Mathematical notes,
2020, Vol. 108, Iss. 4, P. 615–616.
DOI: 10.1134/S0001434620090357 http://mi.mathnet.ru/mz12753 |
| Lyubetsky V., Zverkóv O., Rubanov L., Seliverstov A., Optimal growth temperature and intergenic distances in bacteria, archaea, and plastids of rhodophytic branch.
BioMed Research International, 2020, Vol. 2020, Art. 3465380.
DOI: 10.1155/2020/3465380, PMID: 32025518 http://iitp.ru/https://www.hindawi.com/journals/bmri/2020/3465380/ |
| Kanovei V., Lyubetsky V., Models of set theory in which nonconstructible reals first appear at a given projective level .
Mathematics, 2020, Vol. 8, No. 6, Art. 910. DOI: 10.3390/math8060910 (WoS Q1) http://iitp.ru/https://www.mdpi.com/2227-7390/8/6/910 |
| Kanovei V., Lyubetsky V., Canonization of smooth equivalence relations on infinite-dimensional E0-large products.
Notre Dame Journal of Formal Logic,
2020, Vol. 61, No. 1, P. 117–128.
DOI: 10.1215/00294527-2019-0034
(WoS Q1) http://iitp.ru/https://projecteuclid.org/euclid.ndjfl/1576120172 |
2019 |
| Zverkóv O., Mikhailov K., Isaev S., Rusin L., Logacheva M., Penin A., Moroz L., Panchin Y., Lyubetsky V., Aleoshin V., Dicyemida and Orthonectida: Two stories of body plan simplification.
Proceedings of the International Moscow Conference on Computational Molecular Biology: MCCMB’19,
Moscow, Russia, July 27–30 2019. http://mccmb.belozersky.msu.ru/2019/thesis/MCCMB2019/pages/author.utf8.html |
| Gorbunov K., Lyubetsky V., Linear algorithm for reconstruction of chromosome structures.
The proceedings of International congress «Biotechnology: state of the art and perspectives»,
Moscow, Russia, February 25–27 2019, Iss. 17, P. 350–351. http://iitp.ru/https://elibrary.ru/item.asp?id=37590378 |
| Rubanov L., Shilovsky G., Seliverstov A., Zverkóv O., Lyubetsky V., Mouse genes lost in rodent and primate species with long lifespan.
The proceedings of International congress «Biotechnology: state of the art and perspectives»,
Moscow, Russia, February 25–27 2019, Iss. 17, P. 342. http://iitp.ru/https://elibrary.ru/item.asp?id=37590373 |
| Shilovsky G., Putyatina T., Ashapkin V., Yamskova O., Lyubetsky V., Sorokina E., Shram S., Markov A., Vyssokikh M., Biological diversity and remodeling of cardiolipin in oxidative stress and age-related pathologies.
Biochemistry (Moscow), 2019, Vol. 84, No. 12, P. 1469–1483.
DOI: 10.1134/S000629791912006X |
| Lyubetsky V., Kanovei V., Set theory: absolute undecidability of classical problems.
Textbook for universities, 2nd ed., Moscow, Urait, 2019, 348 p. (in Russian).
ISBN: 978-5-534-10390-8 |
| Kanovei V., Lyubetsky V., Indiscernible pairs of countable sets of reals at a given projective level.
arXiv: 1912.12962 [math.LO], December 2019. http://iitp.ru/https://arxiv.org/abs/1912.12962 |
| Rubanov L., Zaraisky A., Shilovsky G., Seliverstov A., Zverkóv O., Lyubetsky V., Screening for mouse genes lost in mammals with long lifespans.
BioData Mining, 2019, Vol. 12, Art. 20.
DOI: 10.1186/s13040-019-0208-x, PMID: 31728160
(WoS Q1, IF 4) http://iitp.ru/https://doi.org/10.1186/s13040-019-0208-x |
| Shilovsky G., Zverkóv O., Seliverstov A., Ashapkin V., Putyatina T., Rubanov L., Lyubetsky V., New C-terminal conserved regions of tafazzin, a catalyst of cardiolipin remodeling.
Oxidative Medicine and Cellular Longevity,
Vol. 2019, Art. 2901057.
DOI: 10.1155/2019/2901057, PMID: 31781330 http://iitp.ru/https://www.hindawi.com/journals/omcl/2019/2901057/ |
| Korotkova D., Lyubetsky V., Ivanova A., Rubanov L., Seliverstov A., Zverkóv O., Martynova N., Nesterenko A., Tereshina M., Peshkin L., Zaraisky A., Bioinformatics screening of genes specific for well-regenerating vertebrates reveals c-answer, a regulator of brain development and regeneration.
Cell Reports, Vol. 29, Iss. 4, P. 1027–1040.
DOI: 10.1016/j.celrep.2019.09.038, PMID: 31644900
(WoS Q1, IF 10) http://iitp.ru/https://www.cell.com/cell-reports/fulltext/S2211-1247(19)31226-4 |
| Seliverstov A., Zverkóv O., Rubanov L., Lyubetsky V., Protein clustering and gene loss prediction.
Computer Assisted Mathematics Conference.
Electrotechnical University "LETI" Saint-Petersburg, Russia, July 22-24, 2019. P. 7 http://cte.eltech.ru/ojs/public/static/ProgramCAM-2019.pdf |
| Kanovei V., Lyubetsky V., Models of set theory in which separation theorem fails.
arXiv:1905.11241 [math.LO], May 2019. http://iitp.ru/https://arxiv.org/abs/1905.11241 |
| Zverkóv O., Mikhailov K., Isaev S., Rusin L., Popova O., Logacheva M., Penin A., Moroz L., Panchin Y., Lyubetsky V., Aleoshin V., Dicyemida and Orthonectida: Two stories of body plan simplification.
Frontiers in Genetics
Vol. 10, Article 443.
DOI: 10.3389/fgene.2019.00443, PMID: 31178892
(WoS Q1, IF 5) http://iitp.ru/https://www.frontiersin.org/articles/10.3389/fgene.2019.00443/full |
| Kanovei V., Lyubetsky V., Absoluteness of the Solovay set Σ.
Siberian Mathematical Journal,
2019, 60, no 6, pp. 1003-1006.
DOI: 10.1134/S0037446619060089
(WoS Q3) http://mi.mathnet.ru/rus/smj/v60/i6/p1286 |
| Kanovei V., Lyubetsky V., Non-uniformizable sets with countable cross-sections on a given level of the projective hierarchy.
Fundamenta mathematicae,
2019, 245, 2, pp. 175--216.
DOI: 10.4064/fm517-7-2018
(WoS Q3) http://iitp.ru/https://www.doi.org/10.4064/fm517-7-2018 |
| Kanovei V., Lyubetsky V., Definable elements of definable Borel sets.
Mathematical Notes,
2019, 105, no 5, pp. 684-693.
DOI: 10.1134/S0001434619050055
(WoS Q3) http://mi.mathnet.ru/mz12001 |
| Kanovei V., Lyubetsky V., Borel OD sets of reals are OD-Borel in some simple models.
Proceedings of the American mathematical society,
2019, 147, no 3, pp. 1277–1282.
DOI 10.1090/proc/14286
(WoS Q2) http://iitp.ru/https://doi.org/10.1090/proc/14286 |
| Kanovei V., Lyubetsky V., Definable minimal collapse functions at arbitrary projective levels.
Journal of Symbolic Logic,
2019, vol. 84, no 1, pp. 266-289.
DOI:10.1017/jsl.2018.77
(WoS Q2) http://iitp.ru/https://doi.org/10.1017/jsl.2018.77 |
2018 |
| Kanovei V., Lyubetsky V., Non-uniformizable sets with countable cross-sections on a given level of the projective hierarchy.
arXiv:1712.00769v3 [math.LO], January 2018. http://iitp.ru/https://arxiv.org/abs/1712.00769v3 |
| Korotkova D., Lyubetsky V., Ivanova A., Rubanov L., Seliverstov A., Zverkóv O., Martynova N., Nesterenko A., Tereshina M., Peshkin L., Zaraisky A., Bioinformatic screening of genes present only in well regenerating vertebrates reveals novel FGF and purinergic signaling modulator - c-Answer.
bioRxiv, 13 Dec 2018.
DOI: 10.1101/494609 http://iitp.ru/https://doi.org/10.1101/494609 |
| Shilovsky G., Putyatina T., Ashapkin V., Rozina A., Lyubetsky V., Minina E., Bychkovskaia I., Markov A., Skulachev V., Ants as Object of Gerontological Research.
Biochemistry (Moscow),
2018, Vol. 83, Iss. 12–13, P. 1489–1503.
DOI: 10.1134/S0006297918120076 http://iitp.ru/https://doi.org/10.1134/S0006297918120076 |
| Kanovei V., Lyubetsky V., On intermediate extensions of generic extensions by a random real.
arXiv:1811.10568 [math.LO], December 2018. http://iitp.ru/https://arxiv.org/abs/1811.10568 |
| Kanovei V., Lyubetsky V., On Harrington"s model in which Separation holds but Reduction fails at the 3rd projective level, and on some related models of Sami.
arXiv:1810.12542v2 [math.LO], November 2018. http://iitp.ru/https://arxiv.org/abs/1810.12542 |
| Aleoshin V., Slyusarev G., Mikhailov K., Popova O., Rusin L., Zverkóv O., Lyubetsky V., Orthonectida and Dicyemida: Two stories of body plan simplification.
In: Molecular Phylogenetics (Eds.: A. Troitsky, L. Rusin),
Moscow: Torus Press, 2018, P. 3–4.
DOI: 10.30826/MolPhy2018-01 http://iitp.ru/https://doi.org/10.30826/MolPhy2018-01 |
| Kanovei V., Lyubetsky V., A countable definable set of reals containing no definable elements,
arXiv:1408.3901v2 [math.LO], Sept. 2018, 11 p.
http://iitp.ru/https://arxiv.org/abs/1408.3901 |
| Seliverstov A., Shilovsky G., Rubanov L., Zverkóv O., Lyubetsky V., Longevity in mammals: lost genes as a determinant.
Bioinformatics of Genome Regulation and Structure\Systems Biology (BGRS\SB-2018): The Eleventh International Conference (20–25 Aug. 2018, Novosibirsk, Russia); Abstracts.
Institute of Cytology and Genetics, Siberian Branch of Russian Academy of Sciences; Novosibirsk State University. –
Novosibirsk: ICG SB RAS, 2018. P. 249.
DOI: 10.18699/BGRSSB-2018-221 http://conf.bionet.nsc.ru/bgrssb2018/en/ |
| Seliverstov A., Rubanov L., Shilovsky G., Zverkóv O., Lyubetsky V., Longevity in euarchontoglires: lost genes as a determinant.
FEBS Open Bio,
2018, Vol. 8 (Suppl. 1), P. 456–457;
DOI: 10.1002/2211-5463.12453. http://iitp.ru/https://doi.org/10.1002/2211-5463.12453 |
| Gorbunov K., Lyubetsky V., A linear algorithm for restructuring a graph.
Automation and Remote Control,
2018, Vol. 79, Iss. 12, P. 2203–2216.
DOI: 10.1134/S0005117918120093 http://iitp.ru/https://doi.org/10.1134/S0005117918120093 |
| Lyubetsky V., Lyubetskaya E., Gorbunov K., Linear algorithm for a cyclic graph transformation.
Lobachevskii Journal of Mathematics,
2018, Vol. 39, No. 9, P. 1217–1227.
DOI: 10.1134/S1995080218090147 http://iitp.ru/https://doi.org/10.1134/S1995080218090147 |
| Kanovei V., Lyubetsky V., Definable E0 classes at arbitrary projective levels.
Annals of Pure and Applied Logic,
2018, Vol. 169, Iss. 9, P. 851–871.
DOI: 10.1016/j.apal.2018.04.006
(WoS Q1) http://iitp.ru/https://doi.org/10.1016/j.apal.2018.04.006 |
| Kanovei V., Lyubetsky V., Canonization of smooth equivalence relations on infinite-dimensional perfect cubes.
arXiv:1804.05174 [math.LO], April 2018. http://arxiv.org/abs/1804.05174 |
| Kanovei V., Lyubetsky V., Countable OD sets of reals belong to the ground model.
Archive for Mathematical Logic,
2018, Vol. 57, Iss. 3–4, P. 285–298.
DOI: 10.1007/s00153-017-0569-0 http://link.springer.com/article/10.1007/s00153-017-0569-0 |
| Herzberg F., Kanovei V., Katz M., Lyubetsky V., Minimal axiomatic frameworks for definable hyperreals with transfer.
Journal of Symbolic Logic,
2018, 83, 1, pp. 385-391.
DOI: 10.1017/jsl.2017.48
(WoS Q1)
http://iitp.ru/https://doi.org/10.1017/jsl.2017.48 |
| Kanovei V., Lyubetsky V., Non-uniformizable sets of second projective level with countable cross-sections in the form of Vitali classes.
Izvestiya: Mathematics,
2018, Vol. 82, No. 1, P. 61–90.
DOI: 10.1070/IM8521
(WoS Q2) http://mi.mathnet.ru/izv8521 |
2017 |
| Herzberg F., Kanovei V., Katz M., Lyubetsky V., Minimal axiomatic frameworks for definable hyperreals with transfer.
arXiv:1707.00202 [math.LO], July 2017. http://iitp.ru/https://arxiv.org/abs/1707.00202 |
| Zverkóv O., Mikhailov K., Rusin L., Lyubetsky V., Aleoshin V., Phylogenomic evidence disentangles affinities of the Mesozoa.
Proceedings of the 4th International Congress on Invertebrate Morphology (ICIM4),
Moscow, Russia, August 18–23 2017, P. 55. http://docs.wixstatic.com/ugd/129822_1dbca70562c24ef59bb43f05d8741720.pdf |
| Lyubetsky V., Gershgorin R., Rubanov L., Seliverstov A., Zverkóv O., Evolution and systematics of plastids of rhodophytic branch.
Proceedings of the International Moscow Conference on Computational Molecular Biology: MCCMB’17,
Moscow, Russia, July 27–30 2017, P. 48. http://iitp.ru/https://elibrary.ru/item.asp?id=32563226 |
| Lyubetsky V., Rubanov L., Gorbunov K., Zverkóv O., Seliverstov A., Highly conserved elements in mitochondrial genomes of ciliates and monocots.
Materials of the IX International Congress “Biotechnology: State of the Art and Prospects of Development”,
Moscow, Russia, February 20–22 2017, Part 1, P. 393. http://iitp.ru/https://elibrary.ru/item.asp?id=29220438 |
| Lyubetsky V., Gershgorin R., Gorbunov K., Chromosome structures: reduction of certain problems with unequal gene content and gene paralogs to integer linear programming.
BMC Bioinformatics,
2017, Vol. 18, No. 537.
doi:10.1186/s12859-017-1944-x, PMID: 29212445
(WoS Q1) http://dx.doi.org/10.1186/s12859-017-1944-x |
| Zverkóv O., Rubanov L., Rusin L., Seliverstov A., Lyubetsky V., Finding long highly conserved elements in complete animal genomes.
CEUR Workshop Proceedings,
Feb 23 2018, Vol. 2064, Convergent Cognitive Information Technologies 2017, P. 402–408, in Russian. http://ceur-ws.org/Vol-2064/paper47.pdf |
| Gorbunov K., Lyubetsky V., Transformation of large chromosome structures: an algorithm of equalization of gene contents.
CEUR Workshop Proceedings,
Feb 23 2018, Vol. 2064, Convergent Cognitive Information Technologies 2017, P. 395–401, in Russian. http://ceur-ws.org/Vol-2064/paper46.pdf |
| Kanovei V., Lyubetsky V., Non-uniformizable sets with countable cross-sections on a given level of the projective hierarchy.
arXiv:1712.00769v1 [math.LO], December 2017. http://iitp.ru/https://arxiv.org/abs/1712.00769v1 |
| Gorbunov K., Lyubetsky V., The Minimum-Cost Transformation of Graphs.
Doklady Mathematics,
2017, Vol. 96, No. 2, P. 503–505.
doi:10.1134/S1064562417050313 http://iitp.ru/https://doi.org/10.1134/S1064562417050313 |
| Lyubetsky V., Korotkova D., Ivanova A., Rubanov L., Seliverstov A., Zverkóv O., Nesterenko A., Tereshina M., Zaraisky A.G., Novel transmembrane protein c-Answer revealed by bioinformatic screening of genes present only in well regenerating animals.
FEBS Journal, 2017, Vol. 284, Iss. S1, P. 155.
doi:10.1111/febs.14174 |
| Gorbunov K., Lyubetsky V., A linear algorithm for the shortest transformation of graphs with different operation costs.
Journal of Communications Technology and Electronics,
2017, Vol. 62, No. 6, P. 653–662.
doi:10.1134/S1064226917060092 http://iitp.ru/https://doi.org/10.1134/S1064226917060092 |
| Korotkova D.D., Ivanova A.S., Lyubetsky V., Seliverstov A., Martynova N.Y., Nesterenko A.M., Zaraisky A.G., Novel FGF-signaling modulator c-Answer revealed by bioinformatics screening for genes present only in well-regenerative animals.
Mechanisms of Development,
2017, Vol. 145, P. S49.
doi:10.1016/j.mod.2017.04.089 |
| Kanovei V., Lyubetsky V., Definable minimal collapse functions at arbitrary projective levels.
arXiv:1707.07320 [math.LO], July 2017. http://iitp.ru/https://arxiv.org/abs/1707.07320 |
| Kanovei V., Lyubetsky V., Definable E0 classes at arbitrary projective levels.
arXiv:1705.02975 [math.LO], May 2017. http://iitp.ru/https://arxiv.org/abs/1705.02975 |
| Gorbunov K., Lyubetsky V., Algorithm of transformation of a graph into another one with minimal cost.
Informatics and it"s applications,
2017, Vol. 11, Iss. 1, P. 79–89 (in Russian). doi:10.14357/19922264170107 |
| Gorbunov K., Lyubetsky V., Linear algorithm for minimal rearrangement of structures.
Problems of Information Transmission,
2017, Vol. 53, Iss. 1, P. 55–72. doi:10.1134/S0032946017010057 |
| Gershgorin R., Gorbunov K., Zverkóv O., Rubanov L., Seliverstov A., Lyubetsky V., Highly Conserved Elements and Chromosome Structure Evolution in Mitochondrial Genomes in Ciliates.
Life, 2017, Vol. 7, No. 9.
doi:10.3390/life7010009, PMID: 28264444 http://www.mdpi.com/2075-1729/7/1/9/htm |
| Kanovei V., Lyubetsky V., The full basis theorem does not imply analytic wellordering.
arXiv:1702.03566v2 [math.LO], February 2017. http://iitp.ru/https://arxiv.org/abs/1702.03566 |
| Kanovei V., Lyubetsky V., A generic property of the Solovay set Σ.
Siberian Mathematical Journal,
2017, Vol. 58, Iss. 6, P. 1012–1014.
doi:10.1134/S0037446617060106 http://iitp.ru/https://link.springer.com/article/10.1134%2FS0037446617060106 |
| Kanovei V., Lyubetsky V., A countable definable set containing no definable elements.
Mathematical Notes,
2017, Vol. 102, Iss. 3–4, P. 338–349.
doi:10.1134/S0001434617090048 http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=mzm&paperid=10842&option_lang=rus |
| Golshani M., Kanovei V., Lyubetsky V., A Groszek-Laver pair of undistinguishable E0-classes.
Mathematical Logic Quarterly,
2017, Vol. 63, No. 1–2, P. 19–31.
doi:10.1002/malq.201500020 http://onlinelibrary.wiley.com/wol1/doi/10.1002/malq.201500020/abstract |
2016 |
| Golshani M., Kanovei V., Lyubetsky V., A Groszek-Laver pair of undistinguishable E0 classes.
arXiv:1601.03477 [math.LO], Jan 14 2016, 18 pp. http://iitp.ru/https://arxiv.org/abs/1601.03477 |
| Korolev S., Gorbunov K., Zverkóv O., Seliverstov A., Lyubetsky V., Degenerate inverted repeats in the genomes of mycobacterium.
CEUR Workshop Proceedings (CEUR-WS.org), Selected Papers of the First International Scientific Conference Convergent Cognitive Information Technologies (Convergent 2016), Moscow, Russia, November 25–26 2016, vol. 1763, p. 182–187, in Russian. |
| Lyubetsky V., Piel W., Stadler P., Molecular Phylogenetics 2016.
BioMed Research International,
2016, vol. 2016, Article ID 9029306.
DOI: 10.1155/2016/9029306, PMID: 28127550 http://iitp.ru/https://www.hindawi.com/journals/bmri/2016/9029306/ |
| Gorbunov K., Lyubetsky V., A modified algorithm for transformation of chromosomal structures: a condition of absolute exactness.
CEUR Workshop Proceedings (CEUR-WS.org), Selected Papers of the First International Scientific Conference Convergent Cognitive Information Technologies (Convergent 2016), Moscow, Russia, November 25–26 2016, vol. 1763, p. 162–172, in Russian. |
| Lyubetsky V., Seliverstov A., A Novel Algorithm for Solution of a Combinatory Set Partitioning Problem.
Journal of Communications Technology and Electronics,
2016, vol. 61, no. 6, p. 705–708.
DOI: 10.1134/S1064226916060152 |
| Rubanov L., Seliverstov A., Zverkóv O., Lyubetsky V., A method for identification of highly conserved elements and evolutionary analysis of superphylum Alveolata.
BMC Bioinformatics.
2016, vol. 17, art. 385, 16 pp.
DOI: 10.1186/s12859-016-1257-5, PMID: 27645252 http://dx.doi.org/10.1186/s12859-016-1257-5 |
| Kanovei V., Lyubetsky V., A generic property of Solovay"s set Σ.
arXiv:1611.00176 [math.LO], November 2016, 4 pp. http://iitp.ru/https://arxiv.org/abs/1611.00176 |
| Kanovei V., Lyubetsky V., In Cohen generic extension, every countable OD set of reals belongs to the ground model.
July 2016, arXiv:1607.02880 [math.LO] pp. 1-3. http://iitp.ru/https://arxiv.org/abs/1607.02880 |
| Lyubetsky V., Gershgorin R., Seliverstov A., Gorbunov K., Algorithms for Reconstruction of Chromosomal Structures.
BMC Bioinformatics,
2016, vol. 17, art. 40, 23 pp.
DOI: 10.1186/s12859-016-0878-z, PMID: 26780836 http://bmcbioinformatics.biomedcentral.com/articles/10.1186/s12859-016-0878-z |
| Kanovei V., Lyubetsky V., Countable OD sets of reals belong to the ground model.
arXiv:1609.01032 [math.LO], September 2016, 12 pp. http://arxiv.org/abs/1609.01032 |
| Korolev S., Zverkóv O., Seliverstov A., Lyubetsky V., Ribosome reinitiation at leader peptides increases translation of bacterial proteins.
Biology Direct,
2016, vol. 11, art. 20.
DOI: 10.1186/s13062-016-0123-8, PMID: 27084079
(WoS Q1, IF 7) http://biologydirect.biomedcentral.com/articles/10.1186/s13062-016-0123-8#CR11 |
| Zverkóv O., Seliverstov A., Lyubetsky V., Regulation of expression and evolution of genes in plastids of rhodophytic branch.
Life, 2016, vol. 6, art. 7.
DOI: 10.3390/life6010007, PMID: 26840333 http://www.mdpi.com/2075-1729/6/1/7/htm |
| Kanovei V., Lyubetsky V., Counterexamples to countable-section
Π12 uniformization and Π13 separation.
Annals of Pure and Applied Logic, 2016, 167, 3, pp. 262–283. DOI: 10.1016/j.apal.2015.12.002 (WoS Q1) http://www.sciencedirect.com/science/article/pii/S0168007215001268 |
| Kanovei V., Lyubetsky V., On countable cofinality and decomposition of definable thin orderings.
Fundamenta mathematicae, 2016, 235, no 1, pp. 13-36.
DOI: 10.4064/fm977-10-2015 http://iitp.ru/https://www.impan.pl/en/publishing-house/journals-and-series/fundamenta-mathematicae/online/91557/on |
2015 |
| Lyubetsky V., Rubanov L., Bairamov A., Shandarin I., Ivanova A., Rusin L., Zverkóv O., Seliverstov A., Zaraisky A., A large-scale search for gene losses, gains and syntenic rearrangements in vertebrate animals.
Materials of the VIII Moscow International Congress “Biotechnology: State of the Art and Prospects of Development”, Moscow, March 17–20 2015, Part 1, P. 260–261. http://iitp.ru/https://elibrary.ru/item.asp?id=25631493 |
| Gershgorin R., Gorbunov K., Seliverstov A., Lyubetsky V., Evolution of chromosome structures.
Proceedings of the 39th IITP RAS Interdisciplinary Conference & School “Information Technology and Systems 2015” (ITaS’15),
Sochi, Russia, Sep 7–11 2005, Moscow: IITP, 2015, P. 105–120. http://iitp.ru/https://elibrary.ru/item.asp?id=24378278 |
| Korolev S., Lyzhin S., Zverkóv O., Seliverstov A., Lyubetsky V., A search for genes encoding histidine-containing leader peptides in Actinobacteria.
Proceedings of the 39th IITP RAS Interdisciplinary Conference & School “Information Technology and Systems 2015” (ITaS’15),
Sochi, Russia, Sep 7–11 2005, Moscow: IITP, 2015, P. 53–60. http://iitp.ru/https://elibrary.ru/item.asp?id=24378300 |
| Lyubetsky V., Rubanov L., Zverkóv O., Rusin L., Seliverstov A., Zaraisky A., A method of detecting local gene synteny rearrangement.
Proceedings of the International Moscow Conference on Computational Molecular Biology: MCCMB’15,
Moscow, July 16–19 2015, Moscow, IITP RAS, 2015, P. 249–252. http://mccmb.belozersky.msu.ru/2015/proceedings/author.html |
| Lyubetsky V., Molecular Phylogenetics 2014.
BioMed Research International,
2015, vol. 2015, Article ID 919251.
DOI: 10.1155/2015/919251 http://www.hindawi.com/journals/bmri/2015/919251/ |
| Zverkóv O., Seliverstov A., Lyubetsky V., A database of plastid protein families from red algae and Apicomplexa and expression regulation of the moeB gene.
BioMed Research International,
2015, Vol. 2015, Article ID 510598.
DOI: 10.1155/2015/510598, PMID: 26114108 http://www.hindawi.com/journals/bmri/2015/510598/ |
| Gorbunov K., Gershgorin R., Lyubetsky V., “Rearrangement and Inference of Chromosome Structures”
Molecular Biology,
2015, Vol. 49, No. 3, P. 327–338. |
| Kanovei V., Lyubetsky V., Grossone approach to Hutton and Euler transforms.
Applied Mathematics and Computation,
2015, 255, pp. 36–43.
DOI: 10.1016/j.amc.2014.06.037
(WoS Q1) http://dx.doi.org/10.1016/j.amc.2014.06.037 |
| Kanovei V., Lyubetsky V., A definable E0 class containing no definable elements.
Archive for Mathematical Logic,
2015, 54, 5, pp. 711–723.
DOI: 10.1007/s00153-015-0436-9 http://link.springer.com/article/10.1007/s00153-015-0436-9 |
| Kanovei V., Lyubetsky V., Generalization of one construction by Solovay.
Siberian Mathematical Journal,
2015, 56, no. 6, pp. 1072–1079.
DOI: 10.1134/S0037446615060117 http://iitp.ru/https://link.springer.com/article/10.1134/S0037446615060117 |
| Kanovei V., Lyubetsky V., On effective σ-boundedness and σ-compactness in Solovay"s model,
Mathematical notes,
2015, 98, 1-2, pp. 273--282.
DOI: 10.1134/S0001434615070299 http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=mzm&paperid=10415&option_lang=rus |
2014 |
| Kanovei V., Lyubetsky V., On countable cofinality and decomposition of definable thin orderings, arXiv:1412.0195 [math.LO], Dec. 2014, 21 p.
http://arxiv.org/abs/1412.0195 |
| Kanovei V., Lyubetsky V., Counterexamples to countable-section Π12 uniformization and Π13 separation, arXiv:1410.2537 [math.LO], Oct. 2014, 18 p. http://arxiv.org/abs/1410.2537 |
| Kanovei V., Lyubetsky V., A definable $E_0$-class containing no definable elements, arXiv:1408.6642 [math.LO], Aug 2014, 12 p. http://arxiv.org/abs/1408.6642 |
| Kanovei V., Lyubetsky V., A countable definable set of reals containing no definable elements,
arXiv:1408.3901 [math.LO], Aug. 2014, 11 p. http://arxiv.org/abs/1408.3901 |
| Kanovei V., Lyubetsky V., Linearization of partial quasi-orderings in the Solovay model revisited, arXiv:1408.1202 [math.LO], Aug. 2014, 13 p. http://arxiv.org/abs/1408.1202 |
| Zverkóv O., Seliverstov A., Lyubetsky V., “A database of Rhodophyte plastid protein families and regulation of moeB genes”
Abstracts of the Ninth International Conference on Bioinformatics of Genome Regulation and StructureSystems Biology (BGRSSB"2012),
Novosibirsk, Russia, June 23–28 2014, p. 176. |
| Rusin L., Lyubetskaya E., Gorbunov K., Lyubetsky V., “Reconciliation of Gene and Species Trees”
BioMed Research International,
2014, Vol. 2014, Article ID 642089, 22 pages. http://dx.doi.org/10.1155/2014/642089 |
| Lyubetsky V., Korolev S., Seliverstov A., Zverkóv O., Rubanov L., “Gene expression regulation of the PF00480 or PF14340 domain proteins suggests their involvement in sulfur metabolism”
Computational Biology and Chemistry,
2014, vol. 49, p. 7–13. http://www.sciencedirect.com/science/article/pii/S1476927114000036 |
2013 |
| Lyubetsky V., Korolev S., Seliverstov A., Zverkóv O., “Rho-dependent attenuation of sulfur metabolism in mycobacteria”
Proceedings of the International Moscow Conference on Computational Molecular Biology: MCCMB’13, Moscow, Russia, July 25–28 2013. |
| Kobets N., Goncharov D., Seliverstov A., Zverkóv O., Lyubetsky V., “Comparative analysis of apicoplast-targeted proteins in Toxoplasma gondii and other Apicomplexa species”
Proceedings of the International Moscow Conference on Computational Molecular Biology: MCCMB’13,
Moscow, Russia, July 25–28 2013.
|
| Lyubetsky V., Seliverstov A., Zverkóv O., “Elaboration of the Homologous Plastid-Encoded Protein Families that Separate Paralogs in Magnoliophytes”
Mathematical Biology and Bioinformatics,
2013, Vol. 8, No. 1, P. 225–233, (in Russian). |
| Zverkóv O., Seliverstov A., Lyubetsky V., Averaged entropy as conservativity measure of genome regions.
Tambov University Reports. Series: Natural and Technical Sciences.
2013, Vol. 18, Iss. 5 (part 2), P. 2529–2531 (in Russian). |
| Lyubetsky V., Seliverstov A., Zverkóv O., Transcription Regulation of Plastid Genes Involved in Sulfate Transport in Viridiplantae.
BioMed Research International. 2013, Vol. 2013, Article ID 413450.
DOI: 10.1155/2013/413450, PMID: 24073405 http://www.hindawi.com/journals/bmri/2013/413450/ |
| Kanovei V., Lyubetsky V., Contemporary Set Theory: absolutely undecidable classical problems. (Russian.) Monograph, published by Independent Moscow university, 2013, 384 pages. http://biblio.mccme.ru/node/2878 |
| Kanovei V., Lyubetsky V., On effective $sigma$-boundedness and $sigma$-compactness,
Mathematical Logic Quarterly,
2013, 59, no 3,
pp. 147-166.
doi: 10.1002/malq.201200001 http://onlinelibrary.wiley.com/doi/10.1002/malq.201200001/full |
| Zverkóv O., Rusin L., Seliverstov A., Lyubetsky V., Study of Direct Repeats in Micro Evolution of Plant Mitochondria and Plastids Based on Protein Clustering.
Moscow University Biological Sciences Bulletin.
2013, Vol. 68, No. 2, P. 58–62.
DOI: 10.3103/S0096392513020119 |
2012 |
| Lyubetsky V., Rubanov L., Rusin L., Gorbunov K., "Cubic time algorithms of amalgamating gene trees and building evolutionary scenarios" Biology Direct, 2012, 7:48. PMID: 24513779 http://www.biologydirect.com/content/7/1/48 |
| Zverkóv O., Seliverstov A., Lyubetsky V., Plastid-encoded protein families specific for narrow taxonomic groups of algae and protozoa.
Molecular Biology 2012, Vol. 46, No. 5, P. 717–726.
DOI: 10.1134/S0026893312050123 |
| Gorbunov K., Lyubetsky V., “The problems of reconciling gene and species trees, mapping a gene tree into a species tree, and gene tree inference”
Abstracts of the First RECOMB Satellite Conference on Open Problems in Algorithmic Biology (RECOMB-AB),
St. Petersburg, Russia, August 27–29 2012. |
| Gorbunov K., Seliverstov A., Lyubetsky V., "Geometric Relationship between Parallel Hyperplanes, Quadrics, and Vertices of a Hypercube" Problems of Information Transmission , 2012, 48:2, 185–192 http://dx.doi.org/10.1134%2FS0032946012020081 |
| Lyubetsky V., Zverkóv O., Pirogov S., Rubanov L., Seliverstov A., Modeling RNA polymerase interaction in mitochondria of chordates.
Biology Direct. 2012, 7:26.
DOI: 10.1186/1745-6150-7-26, PMID: 22873568 http://www.biology-direct.com/content/7/1/26 |
| Zverkóv O., Korolev S., Seliverstov A., Lyubetsky V., Transcription regulation of plastid genes cysT and cysA in Viridiplantae.
in: Molecular Phylogenetics (Eds.: A. Troitsky, L. Rusin, V. Aleoshin),
Moscow, Torus Press, 2012, P. 85. |
| Seliverstov A., Lyubetsky V., “About Forms Equal to Zero at Each Vertex of a Cube”
Journal of Communications Technology and Electronics,
2012, Vol. 57, No. 8, P. 892–895. |
| Seliverstov A., Lyubetsky V., “Modeling RNA Polymerase Interaction in Plastids of Plants, Algea and Mitochondria of Chordates: Human Bearing the MELAS Mutation and Rat with Hyposecretion of Thyroid Hormone”
Proceedings of the Eighth International Conference on Bioinformatics of Genome Regulation and StructureSystems Biology (BGRSSB"2012),
Novosibirsk, Russia, June 25–29 2012, P. 189. |
| Kanovei V., Lyubetsky V., “Effective Compactness and Sigma-Compactness”
Mathematical notes,
2012, Vol. 91, Iss. 6, P. 789–799. http://mi.mathnet.ru/rus/mz/v91/i6/p840 |
| Kanovei V., Lyubetsky V., An infinity which depends on the axiom of choice,
Applied Mathematics and Computation,
Vol. 218, Iss. 16, April 15 2012, P. 8196–8202,
http://dx.doi.org/10.1016/j.amc.2011.05.003 |
| Gorbunov K., Lyubetsky V., “Fast Algorithm to Reconstruct a Species Supertree from a Set of Protein Trees”
Molecular Biology,
2012, Vol. 46, No. 1, P. 161–167. |
2011 |
| Zverkóv O., Gorbunov K., Seliverstov A., Lyubetsky V., “Protein clustering with accounting for domen architecture”
Proceedings of the 54th conference of Moscow Institute of Physics and Technology “Basic and applied research in life sciences and engineering in modern information environment”,
Moscow, Russia, November 25–26 2011, Section of Management and applied mathematics, Vol. 2, P. 88–89. |
| Kanovei V., Lyubetsky V., “An effective minimal encoding of uncountable sets”
Siberian mathematical journal,
2011, Vol. 52, No. 5, pp. 854–863. http://www.springerlink.com/content/hgwv8882kl061v70/ |
| Seliverstov A., Lyubetsky V., “Evolution of RNA-polymerases and their promoters in plastids”
50-years of IITP anniversary conference,
Moscow, September 15 2011, P. 58–62. |
| Lyubetsky V., Seliverstov A., ”Mathematical problems in biological evolution and molecular regulation“
Proceedings of the International Mathematical Conference “50 Years of IITP”,
Moscow, Russia, July 25–29, 2011, 7 pages. http://iitp.ru/upload/content/839/Lyubetsky%20Seliverstov.pdf |
| Kanovei V., Lyubetsky V., On the infinitary pantachie of Du Bois Reymond,
Proceedings of the International Mathematical Conference “50 Years Of IITP”,
Moscow, Russia, July 25–29, 2011, 7 pages. http://iitp.ru/upload/content/839/Kanovei.pdf |
| Gorbunov K., Rubanov L., Rusin L., Lyubetsky V., “An accurate algorithm of cubic complexity to build supertrees”
Zitteliana. An International Journal of Palaeontology and Geobiology. Series B,
Vol. 30, Abstracts of the international conference “Deep Metazoan Phylogeny 2011 – new data, new challenges", Munchen, Germany, October 11–14 2011, P. 20. |
| Gorbunov K., Lyubetsky V., “The tree nearest in average to a given set of trees”
Information transmission problems,
Vol. 47, Iss. 3, 2011 |
| 154, Seliverstov A., Lyubetsky V., “Bacterial type RNA polymerase sigma subunits and their specific promoters in plastids”
Proceedings of the International Moscow Conference on Computational Molecular Biology: MCCMB’11, July 21–24, 2011, pp. 209–210. http://mccmb.belozersky.msu.ru/2011/mccmb11.pdf |
| 154, Seliverstov A., Lyubetsky V., “NtcA and NtcB regulons in cyanobacteria and chloroplasts”
Proceedings of the VI Moscow International Congress “Biotechnology: State of the Art and Prospects of Development”, March 21–25, 2011, pp. 395–396.
|
| 154, Seliverstov A., Lyubetsky V., “NtcA and NtcB regulons in cyanobacteria and rhodophyta chloroplasts”
Molecular Biology, V. 45, No. 3, 2011, pp. 522–526. http://www.springerlink.com/content/83173k2162213k56/ |
| Lyubetsky V., Zverkóv O., Rubanov L., Seliverstov A., Modeling RNA polymerase competition: the effect of σ-subunit knockout and heat shock on gene transcription level.
Biology Direct. 2011, 6:3.
DOI: 10.1186/1745-6150-6-3, PMID: 21255416 http://www.biology-direct.com/content/6/1/3 |
2010 |
| Kanovei V., Lyubetsky V., Julius Koenig sets as higher infinity,
Infinite and Infinitesimal in Mathematics and Natural Sciences. International Workshop, 17-21 May 2010, Book of Abstracts, p. 27, University of Calabria, Italy, 2010. http://www.theinfinitycomputer.com/Infinity2010/Abstracts_Infinity2010.pdf |
| Lyubetsky V., Seliverstov A., “Fast and Slow Evolution of Bacterial Type Promoters in Plastids of Streptophyta”
Molecular Phylogenetics: Contributions to the 2nd Moscow International Conference “Molecular Phylogenetics” (Moscow, Russia, May 18-21, 2010), Moscow, Torus Press, 2010, p. 54. |
| 154, Seliverstov A., Lyubetsky V., “The Evolution of NtcA- and NtcB-regulons in Cyanobacteria and Rhodophyte Chloroplasts”
Molecular Phylogenetics: Contributions to the 2nd Moscow International Conference “Molecular Phylogenetics” (Moscow, Russia, May 18-21, 2010), Moscow, Torus Press, 2010, pp. 134–135. |
| 154, Gorbunov K., Seliverstov A., Lyubetsky V., “The evolution of proline synthesis transcription regulation in gamma proteobacteria”
Molecular Phylogenetics: Contributions to the 2nd Moscow International Conference “Molecular Phylogenetics” (Moscow, Russia, May 18-21, 2010), Moscow, Torus Press, 2010, pp. 132–133. |
| Seliverstov A., Rubanov L., Lyubetsky V., “Lack of Conservation of Bacterial Type Promoters in Plastids of Streptophyta”
Proceedings of the Seventh International Conference on Bioinformatics of Genome Regulation and StructureSystems Biology (BGRSSB’2010), Novosibirsk, Russia, 20-27 June 2010, p. 170. |
| Lyubetsky V., Zverkóv O., Rubanov L., Seliverstov A., Interaction between nucleome and plastome: heat shock response regulation in plastids of plants.
Proceedings of the Seventh International Conference on Bioinformatics of Genome Regulation and Structure\Systems Biology (BGRS\SB"2010), Novosibirsk, Russia, June 20–27 2010, P. 161. |
| Gorbunov K., Lyubetsky V., “A Fast Algorithm of Building Species Supertrees with a Set of Gene Trees”
Proceedings of the Seventh International Conference on Bioinformatics of Genome Regulation and StructureSystems Biology (BGRSSB’2010), Novosibirsk, Russia, 20-27 June 2010, p. 92. |
| Lyubetsky V., Rubanov L., Seliverstov A., “Lack of conservation of bacterial type promoters in plastids of Streptophyta”
Biology Direct 2010, 5:34.
PMID: 20459727 http://www.biology-direct.com/content/5/1/34 |
| 154, Gorbunov K., Rusin L., Seliverstov A., Lyubetsky V., “The Evolution of Proline Synthesis Transcriptional Regulation in Gammaproteobacteria”
Moscow University Biological Sciences Bulletin, 2010, V. 65, No. 4, pp. 211–212. |
| Kanovei V., Lyubetsky V., Contemporary Set Theory: Borel and projective sets. (Russian.)
Monograph, published by Independent Moscow university, 2010, 320 pages. http://www.mccme.ru/free-books/#kanovej |
| Zverkóv O., Seliverstov A., Lyubetsky V., “On an algorithm of protein clustering”
Proceedings of the 53th conference of Moscow Institute of Physics and Technology “Modern problems of fundamental and applied sciences”,
Moscow, Russia, November 24–29 2010, Part I, Vol. 1, P. 118–119. http://mipt.ru/nauka/53conf/Materialy+53+konferenzii/01-FRTK1-view-arpggzeu7il.pdf |
| Gorbunov K., Laikova O.N., Rodionov D., Gelfand M., Lyubetsky V., “Evolution of regulatory motifs of bacterial transcription factors”
In Silico Biology, 2010, 10, 0012. http://www.bioinfo.de/isb/2010/10/0012/ |
| 154, Seliverstov A., Lyubetsky V., “Attenuation Regulation of the Amino Acid and Aminoacyl-tRNA Biosynthesis Operons in Bacteria: A Comparative Genomic Analysis”
Molecular Biology,
2010, Vol. 44, No. 1, pp. 128–139. |
2009 |
| Kanovei V., Lyubetsky V., Borel reducibility as an additive property of domains,
Journal of Mathematical Sciences,
2009, Vol. 158, No. 5, P. 708–712. http://www.springerlink.com/content/t61n117p753548n1/ |
| Rusin L., Aleoshin V., Lyubetsky V., “A phylogenomic pipeline to construct multi-gene datasets and infer multi-gene trees”,
Proceedings of the international conference “Celebrating Darwin: from the Origin of Species to Deep Metazoan Phylogeny, DMP’09”, Berlin, Germany, March 4–6 2009. |
| Kanovei V., Lyubetsky V., Reeken M., Nonstandard class and superset theories,
Logic and Mathematics, The University of York, 3-7 August, 2009.
Department of Mathematics, University of York, 2009, p. 21. http://maths.york.ac.uk/www/sites/default/files/kanovei-slides.pdf |
| Lyubetsky V., 154, “Comparative genomic analysis of the attenuation regulation of amino acid and amino acyl-tRNA biosynthesis operons in bacteria” International Moscow Conference on Computational Molecular Biology: MCCMB’09, pp. 219–220. |
| 154, Seliverstov A., Lyubetsky V., “Chlorophyll synthesis regulation in plant chloroplasts” International Moscow Conference on Computational Molecular Biology: MCCMB’09, pp. 217–218. |
| Gorbunov K., Lyubetsky V., “Inferring gene evolution along a species tree” International Moscow Conference on Computational Molecular Biology: MCCMB’09, pp. 120–121. |
| Lyubetsky V., Rubanov L., Seliverstov A., “RNA polymerase competition at complementary DNA strands” Proceedings of the Genetics and Selection Meeting and V Congress of the Vavilov Genetics and Selection Society, Moscow, June 21-27 2009, Part II, p. 68. |
| Lyubetsky V., Zhizhina E., Rubanov L., “Gibbs Field for Evolutionary Analysis of Regulatory Signal of Gene Expression under Constraints on Secondary Structure” The 18th IMACS World Congress on Computational and Applied Mathematics & Applications in Science and Engineering, August 3-5, 2009, The University of Georgia, Athens, GA 30602-7404, USA, ð. 54. |
| Lyubetsky V., Seliverstov A., “Protein expression regulation in plastids of parasites, algae and plants” Proceedings of V Bioinformatics Congress, Moscow, 2009, pç. 387–388. |
| Gorbunov K., Lyubetsky V., “Reconstructing the evolution of genes along the species tree” Molecular Biology, 2009, V. 43, No. 5, pp. 881–893. |
| Gorbunov K., Lyubetskaya E., Asarin E., Lyubetsky V., “Modeling evolution of the bacterial regulatory signals involving secondary structure” Molecular Biology, 2009, V. 43, No. 3, pp. 485–499. |
| Mikhailov K.V., Konstantinova A.V., Nikitin M.A., Troshin P.V., Rusin L., Lyubetsky V., Panchin Y., Mylnikov A.P., Moroz L.L., Kumar S., Aleoshin V.V., “The origin of Metazoa: a transition from temporal to spatial cell differentiation”
BioEssays,
2009, V. 31, Issue 07, pp. 758–768.
PMID: 19472368 |
| Seliverstov A., Lysenko E., Lyubetsky V., “Rapid Evolution of Promoters for the Plastome Gene ndhF in Flowering Plants” Russian Journal of Plant Physiology, 2009, V. 56, No 6, pp. 837–844. |
| Seliverstov A., Lyubetsky V., "Mechanism of manganese transport regulation in Brucella involving a long RNA helix", Biophysics, 2009, V. 54, No 2, pp. 152-155. |
| Kanovei V., Lyubetsky V., Reasonable non-Radon-Nikodym ideals,
Topology and its Applications,
2009, 156, 5, pp. 911–914. http://iitp.ru/ http://dx.doi.org/10.1016/j.topol.2008.11.008 |
| Seliverstov A., Lyubetsky V., “On symmetric matrices with indeterminate leading diagonals” Problems of Information Transmission, 2009, V. 45. No. 3. pp. 258–263. http://mi.mathnet.ru/rus/ppi/v45/i3/p73 |
2008 |
| Mikhailov K., Konstantinova A., Nikitin M., Troshin P., Rusin L., Lyubetsky V., Panchin Yu., Mylnikov A., Moroz L., Kumar S., Aleoshin V., “The Gastrea theory in postgenomic age: cell differentiation preceded multicellularity in early metazoan evolution”
Proceedings of the ICREA Conference on the Origin and Early Evolution of Metazoans, Barcelona Spain, October 24–25 2008. |
| Rusin L., Lyubetsky V., Kumar S., “Phylogenomic pipeline and construction of a multi-gene dataset for Metazoa”
Proceedings of the Annual Meeting of the Society for Molecular Biology and Evolution SMBE’2008, Barcelona Spain, June 5–8 2008. |
| Lyubetsky V., Seliverstov A., “On evolution of promoters in plastomes”
Abstracts of The Sixth International Conference on Bioinformatics of Genome Regulation and Structure (BGRS’2008), Novosibirsk, June 22–28, p. 217. http://www.bionet.nsc.ru/meeting/bgrs2008/BGRS2008_Proceedings.pdf |
| Lysenko E., Seliverstov A., Lyubetsky V., “Analysis of Sig3, Sig4 and Sig6 evolution on new genomic data”
Abstracts of The Sixth International Conference on Bioinformatics of Genome Regulation and Structure (BGRS’2008), Novosibirsk, June 22–28, p. 147. http://www.bionet.nsc.ru/meeting/bgrs2008/BGRS2008_Proceedings.pdf |
| 154, Seliverstov A., Lyubetsky V., “RNA structures upstream the 2-isopropylmalate synthase encoding gene in alfa-proteobacteria and actinobacteria”
Abstracts of The Sixth International Conference on Bioinformatics of Genome Regulation and Structure (BGRS’2008), Novosibirsk, June 22–28, p. 144. http://www.bionet.nsc.ru/meeting/bgrs2008/BGRS2008_Proceedings.pdf |
| Gorbunov K., Kanovei V., Lyubetsky V., “Inferring optimal scenario of gene evolution along a species tree”
Abstracts of The Sixth International Conference on Bioinformatics of Genome Regulation and Structure (BGRS’2008), Novosibirsk, June 22–28, p. 90. http://www.bionet.nsc.ru/meeting/bgrs2008/BGRS2008_Proceedings.pdf |
| Rubanov L., Seliverstov A., Lyubetsky V., “Multiple alignment based on species tree”
Abstracts of The Sixth International Conference on Bioinformatics of Genome Regulation and Structure (BGRS’2008), Novosibirsk, June 22–28, p. 212. http://www.bionet.nsc.ru/meeting/bgrs2008/BGRS2008_Proceedings.pdf |
| Lyubetsky V., Zhizhina E., Rubanov L., “A model of regulatory signal evolution”
Abstracts of The Sixth International Conference on Bioinformatics of Genome Regulation and Structure (BGRS’2008), Novosibirsk, June 22–28, p. 148. http://www.bionet.nsc.ru/meeting/bgrs2008/BGRS2008_Proceedings.pdf |
| Glotova I., Lyubetsky V., ”Classical attenuation regulation model”
Abstracts of The Sixth International Conference on Bioinformatics of Genome Regulation and Structure (BGRS’2008), Novosibirsk, June 22–28, p. 85. http://www.bionet.nsc.ru/meeting/bgrs2008/BGRS2008_Proceedings.pdf |
| Lyubetsky V., “Models of gene expression regulation and evolution of regulatory elements” Proceeding of the Fifth International Conference of Applied Mathematics and Computing (Plovdiv, Bulgaria, August 12-18), 2008, pp. 17–19. |
| Friedman Sy-D., Kanovei V., Lyubetsky V., On ROD reducibility of equivalence relations in Solovay model,
Methods of Logic in Mathematics V,
Russian Academy of Sciences, Steklov Institute of Mathematics and Euler International Mathematical Institute, Proceedings of International Conference, St. Petersburg, Russia, June 1-7 2008, p. 6. |
| Lyubetsky V., Zhizhina E., Rubanov L., “Gibbs Field Approach for Evolutionary Analysis of Regulatory Signal of Gene Expression” Problems of Information Transmission, 2008, V. 44, No 4, pp. 333–351. |
| Vitreschak A., Mironov A., Lyubetsky V., Gelfand M., “Comparative genomic analysis of T-box regulatory systems in bacteria”
Ribonucleic acids molecular biology (RNA),
V. 14, No. 4, April 2008, pp. 717-735.
PMID: 18359782 http://rnajournal.cshlp.org/content/14/4/717.full |
| Kanovei V., Lyubetsky V., Borel reducibility as an additive property of domains,
Journal of Mathematical Sciences,
2009, 158, 5, pp. 708–712.
https://link.springer.com/article/10.1007/s10958-009-9406-2 http://www.mathnet.ru/php/getFT.phtml?jrnid=znsl&paperid=2151&what=fullt&option_lang=rus |
2007 |
| Kanovei V., Lyubetsky V., Contemporary Set Theory: foundations of descriptive dynamics.
(Russian.), Nauka, 2007. Monograph ISBN: 978-5-02-035577-4 http://www.ozon.ru/context/detail/id/3938505/ |
| Seliverstov A., Lysenko E., Lyubetsky V., “Rapid evolution of promoters in Magnoliophyta chloroplasts” Proceedings of the international scientific conference “Computational Phylogenetics and Molecular Systematics, CPMS’2007”, November 16–19 2007, KMK Scientific Press, Moscow, pp. 286–292. |
| Vitreschak A., Lyubetsky V., Gelfand M., “Analysis of evolution of T-box regulatory elements prediction of amino acid transporters and other amino acid related genes” Proceedings of the international scientific conference “Computational Phylogenetics and Molecular Systematics, CPMS’2007”, November 16–19 2007, KMK Scientific Press, Moscow, pp. 30–37. |
| Rusin L., Lyubetsky V., “Algorithms to model gene evolution events and reconstruct multigene phylogenies of species”
Proceedings of the international conference “Computational Phylogenetics and Molecular Systematics, CPMS’2007”, Moscow, November 16–19 2007, KMK Scientific Press, P. 274–277. |
| Lyubetsky V., Seliverstov A., Gorbunov K., “Models of gene expression regulation and evolution of regulatory elements” Proceedings of the international scientific conference “Computational Phylogenetics and Molecular Systematics, CPMS’2007”, November 16–19 2007, KMK Scientific Press, Moscow, pp. 158–165. |
| Gorbunov K., Lyubetsky V., “Modeling evolution of the nucleotide sequence with secondary structure” Proceedings of the international scientific conference “Computational Phylogenetics and Molecular Systematics, CPMS’2007”, November 16–19 2007, KMK Scientific Press, Moscow, pp. 68–75. |
| Vitreschak A., Mironov A., Lyubetsky V., Gelfand M., “Function and evolutionary analysis of the T-box regulon in bacteria” Proceedings of International Moscow Conference on Computational Molecular Biology: ÌÑÑÌÂ’07, November 2007, pp. 309–310. |
| Rusin L., Lyubetsky V., “Phylogenomics of Metazoa: Constructing the Gene Set” Proceedings of International Moscow Conference on Computational Molecular Biology: ÌÑÑÌÂ’07, 2007, pp. 267–268. |
| Lyubetsky V., Seliverstov A., Zverkóv O., RNA Structures upstream leuA Genes in α-proteobacteria.
Proceedings of the International Moscow Conference on Computational Molecular Biology: MCCMB’07, Moscow, Russia, July 27–31 2007, P. 191–192. |
| Lyubetsky V., Seliverstov A., “Long helices in mRNA processing” Proceedings of International Moscow Conference on Computational Molecular Biology: ÌÑÑÌÂ’07, 2007, pp. 189–191. |
| Gorbunov K., Radionov D., Laikova O., Gelfand M., Lyubetsky V., “Reconstruction of ancestral regulatory signal along a phylogeny” Proceedings of International Moscow Conference on Computational Molecular Biology: ÌÑÑÌÂ’07, 2007, pp. 111–113. |
| Rubanov L., Lyubetsky V., “RNAmodel Web Server: Modeling Classic Attenuation in Bacteria”
In Silico Biology,
2007, V. 7, No 3, pp. 285–308.
PMID: 18415978 http://www.bioinfo.de/isb/2007/07/0044/ |
| Asarin E., Cachat Th., Seliverstov A., Touili T., Lyubetsky V., “Attenuation regulation as a term rewriting system” Article in the book “Algebraic Biology”, Lecture Notes in Computer Science 4545, Springer Berlin / Heidelberg, pp. 81–94, (Proceedings of the 2nd international conference on Algebraic biology: AB"07, Castle of Hagenberg, Austria, July 2-4 2007). http://arxiv.org/PS_cache/arxiv/pdf/0706/0706.2126v1.pdf |
| Gorbunov K., Lyubetsky V., “Reconstruction of ancestral regulatory signals along a transcription factor tree” Molecular Biology, 2007, V. 41, No. 5, pp. 836–842.PMID 18240574 |
| Lyubetskaya E., Seliverstov A., Lyubetsky V., “The number of long hairpins in intergenic trailer regions of actinobacteria is far greater than in other genomic regions” Molecular Biology, 2007, V. 41, No. 4, pp. 670–673. PMID: 17936997 |
| Seliverstov A., Lyubetsky V., “Regulation of proline biosynthesis in proteobacteria” Molecular Biology, 2007, V. 41, No. 3, pp. 513–515. |
| Kanovei V., Lyubetsky V., Problems of set-theoretic non-standard analysis,
Russian Mathematical Surveys, 2007, 62(1), pp. 45–111. http://www.mathnet.ru/php/getFT.phtml?jrnid=rm&paperid=5588&what=fullt&option_lang=rus |
| Kanovei V., Lyubetsky V., Reeken M., On reducibility of monadic equivalence relations,
Math. Notes, 2007, V. 81, No 6, pp. 757–766. http://www.mathnet.ru/links/4511ac41dc80f2435c1b79658aa17116/mzm3735.pdf |
| Lyubetsky V., Pirogov S., “Nonstandard representations of locally compact groups” Proceedings (Matematicheskie zametki) of RAS, 2007, 82, 3, pp. 341–346. http://www.springerlink.com/content/bj210202g2448945/fulltext.pdf |
| Lyubetsky V., Pirogov S., Rubanov L., Seliverstov A., “Modeling classic attenuation regulation of gene expression in bacteria”
Journal of Bioinformatics and Computational Biology,
Vol. 5, Iss. 1, 2007, pp. 155–180.
PMID: 17477496 |
2006 |
| Kanovei V., Lyubetsky V., A cofinal family of equivalence relations and Borel ideals generating them.
Proc. Moscow Steklov Inst. Math., 2006, 252, pp. 85--103. http://mi.mathnet.ru/tm65 |
| Seliverstov A., Zverkóv O., Lyubetsky V., Translation of some chloroplast genes is checked to allow for splicing and editing.
Biophysics. 2006, Vol. 51, Suppl. 1, P. S18–S22.
DOI: 10.1134/S0006350906070049 http://www.springerlink.com/content/p7517k3187230111/ |
| Lyubetsky V., Seliverstov A., “Modeling classic attenuation regulation of gene expression in bacteria”
Proceedings of The Fifth International Conference on Bioinformatics of Genome Regulation and Structure (BGRS’2006), Novosibirsk, July 16–22 2006, V. 1, pp. 102–105. http://www.bionet.nsc.ru/meeting/bgrs_proceedings/papers/2006/BGRS_2006_V1_022.pdf |
| Rusin L., Lyubetsky V., “Refinement of phylogenetic signal in multiple sequence alignment: results of simulation study”
Proceedings of the Fifth International Conference on Bioinformatics of Genome Regulation and Structure (BGRS"2006), Novosibirsk, Russia, July 16–22 2006, Vol. 3, P. 222–224. http://www.bionet.nsc.ru/meeting/bgrs_proceedings/papers/2006/BGRS_2006_V3_049.pdf |
| Gorbunov K., Lyubetsky V., “Inferring regulatiory signal profiles and evolutionary events”
Proceedings of the Fifth International Conference on Bioinformatics of Genome Regulation and Structure (BGRS"2006), Novosibirsk, Russia, July 16–22 2006, Vol. 3, P. 151–154. http://www.bionet.nsc.ru/meeting/bgrs_proceedings/papers/2006/BGRS_2006_V3_031.pdf |
| Lyubetskaya E., Seliverstov A., Lyubetsky V., “Detecting Hairpins in 3’-Untranslated Regions of Highly Expressed Genes in Actinobacteria”
Proceedings of The Fifth International Conference on Bioinformatics of Genome Regulation and Structure (BGRS’2006), Novosibirsk, July 16–22 2006, V. 1, pp. 99–101. http://www.bionet.nsc.ru/meeting/bgrs_proceedings/papers/2006/BGRS_2006_V1_021.pdf |
| Vitreschak A., Lyubetsky V., Gelfand M., “Evolutional and Functional Analysis of T-box Regulon in Bacteria: Identification of new Genes Involved in Amino Acid Metabolism”
Proceedings of The Fifth International Conference on Bioinformatics of Genome Regulation and Structure (BGRS’2006), Novosibirsk, July 16–22 2006, V. 3, pp. 236–240. http://www.bionet.nsc.ru/meeting/bgrs_proceedings/papers/2006/BGRS_2006_V3_053.pdf |
| Seliverstov A., Lyubetsky V., “Translation Regulation in Chloroplasts”
Proceedings of The Fifth International Conference on Bioinformatics of Genome Regulation and Structure (BGRS’2006), Novosibirsk, July 16–22 2006, V. 1, pp. 146–149. http://www.bionet.nsc.ru/meeting/bgrs_proceedings/papers/2006/BGRS_2006_V1_033.pdf |
| Kanovey V., Lyubetsky V., “A Cofinal Family of Equivalence Relations and Borel Ideals Generating Them” Proceedings of the Steklov Institute of Mathematics, 2006, V. 252, No 1, pp. 85–103. http://dx.doi.org/10.1134/S008154380601010X |
| Lyubetsky V., Rubanov L., Seliverstov A., Pirogov S., “Model of gene expression regulation in bacteria via formation of RNA secondary structures” Molecular Biology, 2006, V. 40, No 3, p. 440–453. |
| Lyubetsky V., Seliverstov A., “Computation of regulation efficiency of tryptophan biosynthesis in bacteria based on a model of classic attenuation” Information Processes, V. 6, No 1, pp. 55–57. http://www.jip.ru/2006/55-57-2006.pdf |
| Seliverstov A., Lyubetsky V., “An algorithm for detecting conserved motifs in nucleotide sequences” Information processes, 2006, V. 6, No 1, pp. 33–36. [in Russian] http://www.jip.ru/2006/33-36-2006.pdf |
| Leont'yev L., Lyubetsky V., “An algorithm of searching for proteins coherent with a given phylogenetic profile” Information Processes, 2006, V. 6, No 1, pp. 24–32. [in Russian] |
| Leont'yev L., Lyubetsky V., “Mass detection of conserved T-box containing regulatory structures: search results” Information Processes, 2006, V. 6, No 1, pp. 20–23. [in Russian] |
| Seliverstov A., Lyubetsky V., “Translation Regulation of Intron-containing Genes in Chloroplasts”
Journal of Bioinformatics and Computational Biology,
2006, Vol. 4, No. 4, P. 783–792.
PMID: 17007067 |
| Lyubetsky V., Gorbunov K., Rusin L., V'yugin V., “Algorithms to reconstruct evolutionary events at molecular level and infer species phylogeny” An article in the book: “Bioinformatics of Genome Regulation and Structure II”, Springer Science & Business Media, Inc. 2006, pp. 189–204. http://www.springerlink.com/content/q67568k37g687647/ |
2005 |
| Kanovei V., Lyubetsky V., Perfect subsets of invariant CA-sets.
Math.Notes, 2005, 77, 3, pp. 307--310. http://mi.mathnet.ru/mz2496 |
| Kanovei V., Lyubetsky V., A cofinal family of equivalence relations generated by Borel ideals.
Logic Colloquium 2005.
ASL European Summer meeting. July 28 -- August 3,
Athens, Greece, pp. 83.
Department of Mathematics, University of Athens, Greece, 2005.
|
| Rusin L., V'yugin V., Lyubetsky V., “Phylogenetic signal vs. informational noise: combat for resolution”
Proceedings of the international conference “9th Evolutionary Biology Meeting”, Marseille, France, September 21–23 2005. |
| Rusin L., V'yugin V., Lyubetsky V., “A method to optimize primary sequence data for enhanced tree resolution”
Proceedings of the 4th European Conference on Computational Biology ECCB 2005, Madrid, Spain, September 28 – October 01 2005. |
| Lyubetsky V., “Mathematic models of evolution and gene expression regulation” Proceedings of the RAS conference “Mathematic models of pattern recognition”, November 20–26 2005, Moscow, pp. 366–368. [in Russian] |
| Leont'yev L., Seliverstov A., Lyubetsky V., “Transcription regulation with T-boxes” Proceedings of the RAS conference “Issues of control and modeling in complex systems, VII International conference”, 27 June – 1 July 2005, Samara, pp. 222–224. [in Russian] |
| Lyubetsky V., Seliverstov A., “Translation regulation in Actinobacteria and Cyano-bacteria based on mRNA secondary structures” Proceedings of the RAS conference “Issues of control and modeling in complex systems, VII International conference”, 27 June – 1 July 2005, Samara, pp. 216–221. [in Russian] |
| Pirogov S., Gorbunov K., Lyubetsky V., “Macro- and microconditions in a model of attenuator regulation of gene expression in bacteria” Proceedings of the RAS conference “Issues of control and modeling in complex systems, VII International conference”, 27 June – 1 July 2005, Samara, pp. 210–215. [in Russian] |
| Lyubetsky V., Pirogov S., “A model of attenuator regulation in bacteria” Proceedings of the RAS conference “Issues of control and modeling in complex systems, VII International conference”, 27 June – 1 July 2005, Samara, pp. 205–209. [in Russian] |
| Leont'yev L., Seliverstov A., Lyubetsky V., “An algorithm for mass searching of T-box structures in bacteria” MCCMB’05, 2005, pp. 202–206. |
| Lyubetsky V., V'yugin V., “A model for evolutionary event reconstruction” MCCMB’05, 2005, pp. 217–219. |
| Rusin L., V'yugin V., Lyubetsky V., “Enhancing phylogenetic inference: concentration of the signal in sequence data” MCCMB’05, 2005, pp. 342–346. |
| Gorbunov K., Lyubetsky V., “Algorithms to reconstruct ancestral gene evolution events” MCCMB’05, 2005, pp. 128–129. |
| Lyubetsky V., Seliverstov A., “RNA regulatory structures in Actinobacteria and Cyanobacteri” MCCMB’05, 2005, pp. 351–353. |
| Lyubetsky V., Pirogov S., “A model for bacterial gene expression regulation with secondary RNA structures” MCCMB’05, 2005, pp. 214–216. |
| Seliverstov A., Lyubetsky V., “Translation regulation in chloroplasts” Information Processes, 2005, V. 5, No 5, pp. 400–404. [in Russian] http://www.jip.ru/2005/400-404.pdf |
| Lyubetsky V., Seliverstov A., “Searching for conservative motifs in leader regions of genes on a fixed species tree” Information Processes, 2005, V. 5, No 4, pp. 265–270. [in Russian] http://www.jip.ru/2005/265-270.pdf |
| Lyubetsky V., Gorbunov K., V'yugin V., Rusin L., “Removing noise in protein multiple alignment” Information Processes, 2005, V. 5, No 5, pp. 380–391. [in Russian] http://www.jip.ru/2005/380-391.pdf |
| Lyubetsky V., Gorbunov K., Pirogov S., Rubanov L., Seliverstov A., “An algorithm and search results for a model of gene expression regulation with RNA secondary structures in bacteria” Information Processes, 2005, V. 5, No 5, pp. 337–366. [in Russian] http://www.jip.ru/2005/337-366.pdf |
| Leont'yev L., Lyubetsky V., Seliverstov A., “Algorithm for a Large-Scale Search for T-Box Transcription Regulation in Bacteria” Molecular biology, 2005, V. 39, No 6, pp. 946–948. PMID: 16358746 |
| Lyubetsky V., Seliverstov A., “Expression Regulation of the Amino Acid Biosynthesis and Aminoacyl-tRNA Synthase Genes in Actinobacteria” Molecular biology, 2005, V. 39, No 6, pp. 942–945. PMID: 16358745 |
| Seliverstov A., Putzer H., Gelfand M., Lyubetsky V., “Comparative analysis of RNA regulatory elements of amino acid metabolism genes in Actinobacteria”
BMC Microbiology,
2005, 5:54.
PMID: 16202131 http://www.biomedcentral.com/1471-2180/5/54 |
| Gorbunov K., Lyubetsky V., “Identification of Ancestral Genes That Introduce Incongruence between Protein- and Species Trees” Molecular biology, 2005, V. 39, No 5, pp. 741–751. PMID: 16240718 |
| Kanovey V., Lyubetsky V., “Perfect subsets of invariant CA-sets” Mathematical Notes, 2005, 77, 3–4, pp. 307–310. http://www.springerlink.com/content/hx77t845227524g5/fulltext.pdf |
| Kanovey V., Lyubetsky V., “A cofinal family of equivalence relations generated by Borel ideals” Conference of Association for Symbolic Logic, Greece, Logic Colloquium 2005, ASL European Summer Meeting, July 28 – August 2, Athens, Greece, University of Athens, Greece, pp. 83. |
2004 |
| Lyubetsky V., Seliverstov A., “Note on Cliques and Alignments” Information Processes, 2004, V. 4, No 3, ññ. 241–246.
http://www.jip.ru/2004/241-246.pdf |
| Lyubetsky V., Gorbunov K., V'yugin V., “Inferring evolutionary events, quality of COGs, measuring the dissimilarity between gene and species trees” Presentation abstracts of the EMBO World Phylogenetic Course 2004. November 1–7 2004, Rio de Janeiro, Brazil. |
| Lyubetsky V., V'yugin V., “Complex phylogenetic analysis of the evolutionary history for some prokaryotes family”
Biophysics (Moscow),
2004, V. 48, Suppl. 1 (2003), pp. 97–106. |
| Gorbunov K., Lyubetsky V., “New approach for detecting common secondary structures in a set of RNA sequences”
Biophysics (Moscow),
2004, V. 48, Suppl. 1 (2003), pp. 56–67. |
| Seliverstov A., Lyubetsky V., “Properties of cysteine synthesis in Corynebacterium, Mycobacterium and Propionibacterium” Information Processes, 2004, V. 4, No 3, pp. 247–250. [in Russian] http://www.jip.ru/2004/247-250.pdf |
| Kanovei V., Lyubetsky V., On the set of constructive real numbers,
Proceedings of the Steklov Mathematical Institute,
V. 247, 2004, pp. 83–114. http://mi.mathnet.ru/tm12 |
| Lyubetsky V., Seliverstov A., “Multifraction graphs with two vertices per fraction” Information processes, 2004, V. 4, No 2, pp. 127–132. [in Russian] http://www.jip.ru/2004/127-132.pdf |
| Lyubetsky V., “Fundamentals of elementary mathematics” Recommended as student textbook for universities and teacher"s training colleges, 2004, Iris-press, 625 pages. [in Russian] http://www.ozon.ru/context/detail/id/2194434/ |
| Kusnetsov N., Gelfand M., Lyubetsky V., “Bioinformatics of Bacteria: central issues and model types” International conference “Issues of control and modeling in complex systems”, June 14–17 2004, RAS, pp. 5–11. [in Russian] |
| Lyubetskaya E., Leont'yev L., Shirshin M., Lyubetsky V., “An algorithm to search for complex signals” International conference “Issues of control and modeling in complex systems”, June 14–17 2004, RAS, pp. 158–162. [in Russian] |
| Lyubetsky V., Seliverstov A., “A geometric method of searching for clique in the graph and its application to signal detection” International conference “Issues of control and modeling in complex systems”, June 14–17 2004, RAS, pp. 154–157. [in Russian] |
| Gorbunov K., Lyubetsky V., “A model of biosynthesis regulation” Proceedings of VI International conference “Issues of control and modeling in complex systems”, June 14-17 2004, RAS, pp. 151–153. [in Russian] |
| Lyubetsky V., V'yugin V., “Measuring the Dissimilarity Between Gene and Species Trees, the Quality of a COG”
Proceedings of the Fourth International Conference on Bionnformatics of Genome Regulation and Structure (BGRS’2004), Novosibirsk, July 25–30 2004, V. 2, pp. 281–284. http://www.bionet.nsc.ru/meeting/bgrs_proceedings/papers/2004/BGRS_2004_V2_069.pdf |
| Gorbunov K., Lyubetsky V., “A Model of Tryptophan Biosynthesis Regulation”
Proceedings of the Fourth International Conference on Bionnformatics of Genome Regulation and Structure (BGRS’2004), Novosibirsk, July 25–30 2004, V. 2, pp. 53–55. http://www.bionet.nsc.ru/meeting/bgrs_proceedings/papers/2004/BGRS_2004_V2_011.pdf |
| Lyubetsky V., Seliverstov A., ”Amino Acid Biosynthesis Attenuation in Bacteria“
Proceedings of the Fourth International Conference on Bionnformatics of Genome Regulation and Structure (BGRS’2004), Novosibirsk, July 25–30 2004, V. 1, pp. 307–310. http://www.bionet.nsc.ru/meeting/bgrs_proceedings/papers/2004/BGRS_2004_V1_077.pdf |
| Leont'yev L., Shirshin M., Lyubetsky V., “Detection of Classical Attenuation in Bacterial Genomes”
Proceedings of the Fourth International Conference on Bionnformatics of Genome Regulation and Structure (BGRS’2004), Novosibirsk, July 25–30 2004, V. 1, pp. 116–118. http://www.bionet.nsc.ru/meeting/bgrs_proceedings/papers/2004/BGRS_2004_V1_028.pdf |
| Vitreschak A., Lyubetskaya E., Shirshin M., Gelfand M., Lyubetsky V., “Attenuation regulation of amino acid biosynthetic operons in proteobacteria: comparative genomics analysis”
FEMS Microbiological Letters,
2004, 234(2), pp. 357–370.
PMID: 15135544 http://www.sciencedirect.com/science?_ob=ArticleURL&_udi=B6T2W-4C5VMJK-4&_user=10&_rdoc=1&_fmt=&_ori |
| Kusnetsov N., Lyubetsky V., Chernavsky A., “On the concept of informational interaction, 3: speech intellect” Information Processes, 2004, V. 4, No 2, pp. 117–126. [in Russian] http://www.jip.ru/2004/117-126.pdf |
2003 |
| Kanovei V., Lyubetsky V., On some classical problems of descriptive set theory.
Russian Math. Surveys, 2003, 58, 5, pp. 839--927. http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=rm&paperid=666&option_lang=rus |
| Lyubetskaya E., Leont'yev L., Lyubetsky V., “Algorithm for detecting alternative secondary RNA structures and mass analysis attenuator regulation in proteobacteria” MCCMB’03, 2003, pp. 144–145. |
| Lyubetskaya E., Leont'yev L., Lyubetsky V., Searching for alternative RNA secondary structures in gamma-proteobacteria. Information processes, V. 3, No 1, 2003, p. 23-38. [in Russian] |
| Lyubetskaya E., Leont'yev L., Gelfand M., Lyubetsky V., “Search for Alternative RNA Secondary Structures Regulating Expression of Bacterial Genes” Molecular biology, V. 37, No 5, 2003, p. 707–715. PMID 14593920 |
| Golubtsov P., Lyubetsky V., Informational structure of dynamic games and the information content available to players, Logic research, RAS, 2003, p. 36-47. [in Russian] |
| Kusnetsov N., Lyubetsky V., Chernavsky A., On the concept of informational interaction, 2: pre-psychic level. Information processes, V. 3, No 2, 2003, p. 1-22. [in Russian] http://www.jip.ru/2003/3-2-2003.htm |
| Kanovey V., Lyubetsky V., “On some classical problems of descriptive set theory” Russian mathematical surveys (Uspekhi matematicheskih nauk), V. 58, No 5, 2003, p. 839-927. |
| Lyubetsky V., V'yugin V., “Complex phylogenetic analysis of evolutionary history for prokaryotes families” MCCMB’03, 2003, pp. 146–147. |
| Gorbunov K., Lyubetsky V., “Detecting common secondary structures in a set of RNA sequences and its testing” MCCMB’03, 2003, pp. 83–85. |
| Danilova L., Lyubetsky V., Laikova O., “Computer detecting of glycerol-3-phosphate metabolism regulation in proteobacterial genomes” MCCMB’03, 2003, pp. 52–53. |
| Gelfand M., Lyubetsky V., DNA: from molecules toward genomes, from biochemical breakthroughs toward algorithmic analysis. Proceedings of the RAS (Vestnik RAN), No 11, 2003, p. 963-970. [in Russian] |
| Kanovey V., Lyubetsky V., Classic problems of descriptive set theory, Proceedings of IV international Smirnov conference, RAS, Moscow, 2003, p. 32-34. [in Russian] |
| Golubtsov P., Lyubetsky V., The result of an information process depends on the nature and content of information available to its participants. International conference of RAS, Samara, 2003, p. 445-453. [in Russian] |
| Gorbunov K., Lyubetsky V., Mironov A., “Search for Conserved Secondary Structures of RNA” Molecular biology, V. 37, No 5, 2003, p. 723-732. PMID 14593922 |
| Kusnetsov N., Lyubetsky V., Chernavsky A., On the concept of informational interaction, 1: pre-psychic level. Information processes, V. 3, No 1, 2003, p. 1-22. [in Russian] |
| Lyubetsky V., Gorbunov K., Searching for alternative RNA secondary structures. Information processes, V. 3, No 1, 2003, p. 47-60. [in Russian] |
| Danilova L., Gelfand M., Lyubetsky V., Laikova O., “Computer-Assisted Analysis of Regulation of the Glycerol-3-Phosphate Metabolism in Genomes of Proteobacteria” Molecular Biology, V. 37, No 5, 2003, ññ. 716–722. PMID 14593921 |
| V'yugin V., Gelfand M., Lyubetsky V., “Identification of Horizontal Gene Transfer from Phylogenetic Gene Trees” Molecular biology, V. 37, No 4, 2003, p. 571-584. PMID 12942641 |
| Danilova L., Lyubetsky V., Gelfand M., “An algorithm for identification of regulatory signals in unaligned DNA sequences, its testing and parallel implementation”
In Silico Biology,
V. 3, No 1,2, 2003, pp. 33–47.
PMID 12762844 http://www.bioinfo.de/isb/2003/03/0004 |
| Lyubetsky V., V'yugin V., “Methods of horizontal gene transfer determination using phylogenetic data”
In Silico Biology,
V. 3, No 1,2, 2003, pp. 17–31.
PMID 12762843 http://www.bioinfo.de/isb/2003/03/0003 |
| Golubtsov P., Lyubetsky V., Stochastic dynamic games with information of various type. Information transmission problems, 2003, V 39, issue 3, p. 40-71. [in Russian] |
| Lyubetsky V., Seliverstov A., Some algorithms related to finite groups, Information processes, V 3, No 1, 2003, p. 39-46. [in Russian] http://www.jip.ru/2003/LS%2039-46.pdf |
2002 |
| Leont'yev L., Lyubetskaya E., Lyubetsky V., Description and performance of a modified algorithm to search for alternative RNA secondary structures. Information processes, 2002, V. 2, No 1, p. 100-105. [in Russian] |
| V'yugin V., Gelfand M., Lyubetsky V., “Tree Reconciliation: Reconstruction of Species Phylogeny by Phylogenetic Gene Trees” Molecular biology, 2002, V. 36, No 5, p. 650-658. PMID 12391844 |
| Lyubetsky V., Rubanov L., “Parallel Algorithm for Searching Regulatory Signal in Bacterial Genome”
Proceedings of the Third International Conference of Bioinformatics of Genome Regulation and Structure (BGRS’2002), Novosibirsk, Russia, July 14-20, 2002, v. 1, p. 24-27. http://www.bionet.nsc.ru/meeting/bgrs_proceedings/papers/2002/BGRS_2002_1_005.pdf |
| Gorbunov K., Lyubetsky V., “An Algorithm for Searching for Common Secondary Structures in a Set of RNA Sequences”
Proceedings of The Third International Conference on Bioinformatics of Genome Regulation and Structure (BGRS’2002), Novosibirsk, Russia, July 14–20, 2002, V. 3, pp. 20–22. http://www.bionet.nsc.ru/meeting/bgrs_proceedings/papers/2002/BGRS_2002_3_004.pdf |
| Lyubetskaya E., Lyubetsky V., “Algorithm for Searching for Alternative Secondary RNA Structures”
Proceedings of The Third International Conference on Bioinformatics of Genome Regulation and Structure (BGRS’2002), Novosibirsk, Russia, July 14–20, 2002, V. 3, pp. 14–20. http://www.bionet.nsc.ru/meeting/bgrs_proceedings/papers/2002/BGRS_2002_3_002.pdf |
| Lyubetsky V., V'yugin V., “Method of Horizontal Gene Transfer Determination Using Phylogenetic Data”
Proceedings of The Third International Conference on Bioinformatics of Genome Regulation and Structure (BGRS’2002), Novosibirsk, Russia, July 14–20, 2002, V. 2, pp. 61–63. http://www.bionet.nsc.ru/meeting/bgrs_proceedings/papers/2002/BGRS_2002_2_019.pdf |
| Kusnetsov N., Lyubetsky V., Chernavsky A., On the concept of informational interaction, 3: speech intellect. Proceedings of IV international conference of the RAS «Issues in control and modeling in complex systems», Samara, RAS, 2002, p. 7-17. [in Russian] |
| V'yugin V., Lyubetsky V., Some approaches to detect HGTs with phylogenetic data. Information processes, 2002, V. 2, No 1, p. 120-140. [in Russian] |
| Gorbunov K., Lyubetsky V., An algorithm to search for conservative RNA secondary structures in a database of RNA fragments. Information processes, 2002, V. 2, No 1, p. 55-58. [in Russian] |
2001 |
| Gorbunov K., Lyubetskaya E., Lyubetsky V., On two algorithms of searching for alternative RNA structures. Information processes, V. 1, No 2, 2001, p. 178-187. [in Russian] |
| Lyubetsky V., “First projective sets, AE-prefix and quantifiers elimination” Abstracts of International conference on Mathematical Logic, Algebra and Set theory dedicated to the 100-th anniversary of P.S. Novikov, August 27–31 2001, Steklov Mathematical Institute RAS, Moscow, 2001, p. 27. |
| Kusnetsov N., Lyubetsky V., Chernavsky A., On the concept of informational interaction, 2: pre-speech intellect. Proceedings of III international conference of the RAS «Issues in control and modeling in complex systems», Samara, RAS, 2001, p. 25-42. [in Russian] |
| Danilova L., Lyubetsky V., An algorithm to detect regulatory signal: testing and biological applications. Proceedings of III international conference of the RAS «Issues in control and modeling in complex systems», Samara, RAS, 2001, p. 632-634. [in Russian] |
| Lyubetsky V., Seliverstov A., A probabilistic algorithm of solving an NP-complete problem, Proceedings of III international conference «Smirnov readings» of RAS, Moscow, 2001, p. 47-49. [in Russian] |
| V'yugin V., Lyubetsky V., An algorithm to detect horizontal gene transfer events with multiple gene trees. Information processes, V. 1, No 2, 2001, p. 167-177. [in Russian] |
| Danilova L., Gorbunov K., Gelfand M., Lyubetsky V., “Algorithm of Regulatory Signal Recognition in DNA Sequences” Molecular Biology, V. 35, No 6, 2001, p. 841-848. PMID 11771146 |
| Gelfand M., V'yugin V., Lyubetsky V., An approach to infer evolutionary species tree from multiple gene data. Information processes, V. 1, No 1, 2001, p. 64-77. [in Russian] |
| Danilova L., Gorbunov K., Gelfand M., Lyubetsky V., An algorithm to detect regulatory signals in DNA sequence data (1). Information processes, V. 1, No 1, 2001, p. 56-63. [in Russian] |
2000 |
| Lyubetsky V., Larijani M.J.A., “Topics in Classical and Intuitionistic Model Theory”
Gardariki, Moscow, 2000, 390 pages.
Monograph |
| Vereschagin N., Lyubetsky V., An algorithm of inferring RNA secondary structure. Proceedings of scientific workshop of the Logic Center of RAS, Issue 14, Moscow, RAS Press, 2000, p. 99-109. [in Russian] |
| Gorbunov K., Lyubetsky V., On an algorithm of detecting regulatory signal in sequence data. Logic research. Issue 7, Moscow, Nauka, 2000, p. 159-163. [in Russian] |
| V'yugin V., Gorbunov K., Lyubetsky V., Algorithms of detecting regulatory signal and constructing evolutionary trees. Proceedings of II international conference of the RAS «Issues in control and modeling in complex systems», Samara, 2000, RAS Press, p. 130-137. [in Russian] |
| Kusnetsov N., Lyubetsky V., Chernavsky A., On the concept of informational interaction, 1: pre-psychic bioinformatics. Proceedings of II international conference of the RAS «Issues in control and modeling in complex systems», Samara, 2000, RAS Press, p. 8-20. [in Russian] |
1999 |
| Kuznetsov N., Lyubetsky V., “Computer Logic in Information Processes” Information transmission problems, RAS, V. 35, issue 2, 1999, p. 107-111. [in Russian] http://mi.mathnet.ru/rus/ppi/v35/i2/p107 |
| Lyubetsky V., “Logic models of informational interaction processes” Proceedings of I international conference of the RAS “Issues in control and modeling in complex systems”, Samara, 1999, p. 133-145. [in Russian] |
1997 |
| Lyubetsky V., “Transfer theorems and the algebra of modal operators”
Algebra and Logic,
1997, Vol. 36, No. 3, pp. 169–181. http://www.springerlink.com/content/t6335872j077x161/ |
1996 |
| Lyubetsky V., “On Some Applications of the Semantic Evaluation Method” Problems of Information Transmission, 1996, 32:3, pp. 290–302. http://mi.mathnet.ru/rus/ppi/v32/i3/p82 |
1993 |
| Lyubetsky V., “On One Approach to Modelling Intelligent Systems” Problems of Information Transmission, 1993, 29:3, pp. 295–297. http://mi.mathnet.ru/rus/ppi/v29/i3/p107 |
1992 |
| Lyubetsky V., “Heyting-Valued Analysis: P. S. Novikov’s Hypotheses”
Contemporary Mathematics,
1993, V. 131, Pt. 3, PP. 565–583. |
1991 |
| Lyubetsky V., “Transfer from deducibility in the classical set theory to deducibility in intuitionistic set theory for the language of rings”
Algebra and Logic,
1991, Vol. 30, No. 6, pp. 427–439. http://www.springerlink.com/content/v7n82v773n44h430/ |
| Lyubetsky V., “Intuitionistic theory of algebraic systems and heyting-valid analysis”
Algebra and Logic,
1991, Vol. 30, No. 3, pp. 208– 216. http://www.springerlink.com/content/q8056m2630165072/ |
1990 |
| Lyubetsky V., “Model-completeness of a theory and evaluation of formulas”
Algebra and Logic,
1990, Vol. 29, No. 1, pp. 10–22. http://www.springerlink.com/content/jw471283h3tqh831/ |
1989 |
| Lyubetsky V., “Valuations and sheaves. On some questions of non-standard analysis”
Russian Mathematical Surveys,
1989, Vol. 44, No. 4, pp. 37–113. http://mi.mathnet.ru/rus/umn/v44/i4/p99 |
1988 |
| Lyubetsky V., “On some applications of Heyting-valued analysis II”
Article in the book COLOG-88, Lecture Notes in Computer Science, Vol. 417, Springer, 1990, P. 122–145, Proceedings of the International Conference on Computer Logic, Tallinn, USSR, December 12–16 1988 |