1. 2019
  2. Computable Topology for Reliable Computations

    Korovina, M. & Kudinov, O., 1 янв. 2019, Perspectives of System Informatics - 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Revised Selected Papers. Bjørner, N., Virbitskaite, I. & Voronkov, A. (ред.). Springer International Publishing AG, стр. 185-198 14 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 11964 LNCS).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаяРецензирование

  3. Effective Embeddings for Pairs of Structures

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

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаяРецензирование

  4. Friedberg numberings of families of partial computable functionals

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

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  5. Structure of Quasivariety Lattices. I. Independent Axiomatizability

    Kravchenko, A. V., Nurakunov, A. M. & Schwidefsky, M. V., 15 янв. 2019, в: Algebra and Logic. 57, 6, стр. 445-462 18 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  6. Bioinformatics research at BGRS\SB-2018

    Orlov, Y. L., Hofestädt, R. & Tatarinova, T. V., 1 февр. 2019, в: Journal of Bioinformatics and Computational Biology. 17, 1, стр. 1902001 4 стр., 1902001.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  7. Bioinformatics research at BGRS-2018

    Tatarinova, T. V., Chen, M. & Orlov, Y. L., 5 февр. 2019, в: BMC Bioinformatics. 20, Suppl 1, 3 стр., 33.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  8. Plant biology research at BGRS-2018

    Orlov, Y. L., Salina, E. A., Eslami, G. & Kochetov, A. V., 15 февр. 2019, в: BMC Plant Biology. 19, Suppl 1, 3 стр., 56.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  9. Evolutionary biology and biodiversity research at BGRS-2018

    Orlov, Y. L., Baranova, A. V., Kolchanov, N. A. & Moroz, L. L., 26 февр. 2019, в: BMC Evolutionary Biology. 19, Suppl 1, стр. 43 3 стр., 43.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

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

    Orlov, Y. L., 1 мар. 2019, в: Journal of Food Quality and Hazards Control. 6, 1, стр. 41 1 стр.

    Результаты исследований: Научные публикации в периодических изданияхписьмо/краткое сообщениеРецензирование

  11. On Holographic Structures

    Kasymkhanuly, B. & Morozov, A. S., 1 мар. 2019, в: Siberian Mathematical Journal. 60, 2, стр. 312-318 7 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

ID: 3082806