51 - 60 out of 205Page size: 10
  1. 2018

  2. Highlights of the rice-shapiro theorem in computable topology

    Korovina, M. & Kudinov, O., 1 Jan 2018, Perspectives of System Informatics - 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Revised Selected Papers. Petrenko, AK. & Voronkov, A. (eds.). Springer-Verlag GmbH and Co. KG, p. 241-255 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10742 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  3. Nonpresentability of Some Structures of Analysis in Hereditarily Finite Superstructures

    Morozov, A. S., 1 Jan 2018, In: Algebra and Logic. 56, 6, p. 458-472 15 p.

    Research output: Contribution to journal › Article › peer-review

  4. On Dark Computably Enumerable Equivalence Relations

    Bazhenov, N. A. & Kalmurzaev, B. S., 1 Jan 2018, In: Siberian Mathematical Journal. 59, 1, p. 22-30 9 p.

    Research output: Contribution to journal › Article › peer-review

  5. On the complexity of formulas in semantic programming

    Ospichev, S. & Ponomarev, D., 1 Jan 2018, In: Сибирские электронные математические известия. 15, p. 987-995 9 p.

    Research output: Contribution to journal › Article › peer-review

  6. Quasivarieties of Graphs and Independent Axiomatizability

    Kravchenko, A. V. & Yakovlev, A. V., 1 Jan 2018, In: Siberian Advances in Mathematics. 28, 1, p. 53-59 7 p.

    Research output: Contribution to journal › Article › peer-review

  7. Introduction to the 9th Young Scientists School on Systems Biology and Bioinformatics (SBB’2017)

    Orlov, Y. L., Tatarinova, T. V., Zakhartsev, M. V. & Kolchanov, N. A., Feb 2018, In: Journal of Bioinformatics and Computational Biology. 16, 1, 5 p., 1802001.

    Research output: Contribution to journal › Review article › peer-review

  8. Genomics at Belyaev conference - 2017

    Orlov, Y. L., Baranova, A. V., Hofestädt, R. & Kolchanov, N. A., 9 Feb 2018, In: BMC Genomics. 19, Suppl 3, p. 79 4 p., 79.

    Research output: Contribution to journal › Article › peer-review

  9. Novel read density distribution score shows possible aligner artefacts, when mapping a single chromosome

    Naumenko, F. M., Abnizova, I. I., Beka, N., Genaev, M. A. & Orlov, Y. L., 9 Feb 2018, In: BMC Genomics. 19, Suppl 3, p. 92 11 p., 92.

    Research output: Contribution to journal › Article › peer-review

  10. Medical genomics at Belyaev Conference - 2017

    Orlov, Y. L., Fernandez-Masso, J. R., Chen, M. & Baranova, A. V., 13 Feb 2018, In: BMC Medical Genomics. 11, Suppl 1, p. 11 3 p., 11.

    Research output: Contribution to journal › Article › peer-review

  11. Autostability spectra for decidable structures

    Bazhenov, N., 1 Mar 2018, In: Mathematical Structures in Computer Science. 28, 3, p. 392-411 20 p.

    Research output: Contribution to journal › Article › peer-review

Previous 12 3 4 5 6 7 8 9 ...21 Next

ID: 3082806