1. 2019
  2. Computable Topology for Reliable Computations

    Korovina, M. & Kudinov, O., 1 Jan 2019, Perspectives of System Informatics - 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Revised Selected Papers. Bjørner, N., Virbitskaite, I. & Voronkov, A. (eds.). Springer International Publishing AG, p. 185-198 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11964 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

  3. Effective Embeddings for Pairs of Structures

    Bazhenov, N., Ganchev, H. & Vatev, S., 1 Jan 2019, Computing with Foresight and Industry - 15th Conference on Computability in Europe, CiE 2019, Proceedings. Manea, F., Martin, B., Paulusma, D. & Primiero, G. (eds.). Springer-Verlag GmbH and Co. KG, p. 84-95 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11558 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

  4. Friedberg numberings of families of partial computable functionals

    Ospichev, S., 1 Jan 2019, In: Сибирские электронные математические известия. 16, p. 331-339 9 p.

    Research output: Contribution to journalArticlepeer-review

  5. Structure of Quasivariety Lattices. I. Independent Axiomatizability

    Kravchenko, A. V., Nurakunov, A. M. & Schwidefsky, M. V., 15 Jan 2019, In: Algebra and Logic. 57, 6, p. 445-462 18 p.

    Research output: Contribution to journalArticlepeer-review

  6. Bioinformatics research at BGRS\SB-2018

    Orlov, Y. L., Hofestädt, R. & Tatarinova, T. V., 1 Feb 2019, In: Journal of Bioinformatics and Computational Biology. 17, 1, p. 1902001 4 p., 1902001.

    Research output: Contribution to journalArticlepeer-review

  7. Bioinformatics research at BGRS-2018

    Tatarinova, T. V., Chen, M. & Orlov, Y. L., 5 Feb 2019, In: BMC Bioinformatics. 20, Suppl 1, 3 p., 33.

    Research output: Contribution to journalArticlepeer-review

  8. Plant biology research at BGRS-2018

    Orlov, Y. L., Salina, E. A., Eslami, G. & Kochetov, A. V., 15 Feb 2019, In: BMC Plant Biology. 19, Suppl 1, 3 p., 56.

    Research output: Contribution to journalArticlepeer-review

  9. Evolutionary biology and biodiversity research at BGRS-2018

    Orlov, Y. L., Baranova, A. V., Kolchanov, N. A. & Moroz, L. L., 26 Feb 2019, In: BMC Evolutionary Biology. 19, Suppl 1, p. 43 3 p., 43.

    Research output: Contribution to journalArticlepeer-review

  10. 5th international scientific conference of "plant genetics, genomics, bioinformatics, and biotechnology" (24-29 june 2019, Novosibirsk, Russia)

    Orlov, Y. L., 1 Mar 2019, In: Journal of Food Quality and Hazards Control. 6, 1, p. 41 1 p.

    Research output: Contribution to journalLetterpeer-review

  11. On Holographic Structures

    Kasymkhanuly, B. & Morozov, A. S., 1 Mar 2019, In: Siberian Mathematical Journal. 60, 2, p. 312-318 7 p.

    Research output: Contribution to journalArticlepeer-review

  12. On representation of finite lattices

    Kravchenko, A. V., Nurakunov, A. M. & Schwidefsky, M. V., 1 Mar 2019, In: Algebra Universalis. 80, 1, 17 p., 15.

    Research output: Contribution to journalArticlepeer-review

  13. Rogers Semilattices for Families of Equivalence Relations in the Ershov Hierarchy

    Bazhenov, N. A. & Kalmurzaev, B. S., 1 Mar 2019, In: Siberian Mathematical Journal. 60, 2, p. 223-234 12 p.

    Research output: Contribution to journalArticlepeer-review

  14. Systems biology research at BGRS-2018

    Orlov, Y. L., Hofestädt, R. & Baranova, A. V., 5 Mar 2019, In: BMC Systems Biology. 13, Suppl 1, p. 21 2 p., 21.

    Research output: Contribution to journalArticlepeer-review

  15. Clinical aspects of TP53 gene inactivation in diffuse large B-cell lymphoma

    Voropaeva, E. N., Pospelova, T. I., Voevoda, M. I., Maksimov, V. N., Orlov, Y. L. & Seregina, O. B., 13 Mar 2019, In: BMC Medical Genomics. 12, Suppl 2, p. 35 10 p., 35.

    Research output: Contribution to journalArticlepeer-review

  16. Medical genomics research at BGRS-2018

    Baranova, A. V., Klimontov, V. V., Letyagin, A. Y. & Orlov, Y. L., 13 Mar 2019, In: BMC Medical Genomics. 12, Suppl 2, p. 36 4 p., 36.

    Research output: Contribution to journalArticlepeer-review

  17. Computational models in genetics at BGRS-2018

    Orlov, Y. L., Tatarinova, T. V. & Kochetov, A. V., 18 Mar 2019, In: BMC Genetics. 20, Suppl 1, p. 28 3 p., 28.

    Research output: Contribution to journalArticlepeer-review

  18. Medical genetics studies at BGRS conference series

    Baranova, A. V., Skoblov, M. Y., Voropaeva, E. N., Shanmughavel, P. & Orlov, Y. L., 9 Apr 2019, In: BMC Medical Genetics. 20, Suppl 1, p. 50 3 p., 50.

    Research output: Contribution to journalArticlepeer-review

  19. Free Gelfand-Dorfman-Novikov superalgebras and a Poincaré-Birkhoff-Witt type theorem

    Zhang, Z., Chen, Y. & Bokut, L. A., 1 May 2019, In: International Journal of Algebra and Computation. 29, 3, p. 481-505 25 p.

    Research output: Contribution to journalArticlepeer-review

  20. On Decidability of List Structures

    Aleksandrova, S. A. & Bazhenov, N. A., 1 May 2019, In: Siberian Mathematical Journal. 60, 3, p. 377-388 12 p.

    Research output: Contribution to journalArticlepeer-review

  21. Some algorithmic problems for Poisson algebras

    Zhang, Z., Chen, Y. & Bokut, L. A., 1 May 2019, In: Journal of Algebra. 525, p. 562-588 27 p.

    Research output: Contribution to journalArticlepeer-review

Previous 1 2 3 4 5 6 7 8 ...11 Next

ID: 3082806