121 - 130 out of 209Page size: 10
  1. 2019

  2. 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 journal › Article › peer-review

  3. 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 journal › Article › peer-review

  4. 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 journal › Article › peer-review

  5. 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 journal › Article › peer-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 journal › Article › peer-review

  7. 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 journal › Article › peer-review

  8. Bounded Reducibility for Computable Numberings

    Bazhenov, N., Mustafa, M. & Ospichev, 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. 96-107 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 proceeding › Conference contribution › Research › peer-review

  9. Computable Contact Algebras

    Bazhenov, N., 1 Jan 2019, In: Fundamenta Informaticae. 167, 4, p. 257-269 13 p.

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

  10. Computable isomorphisms of distributive lattices

    Bazhenov, N., Mustafa, M. & Yamaleev, M., 1 Jan 2019, Theory and Applications of Models of Computation - 15th Annual Conference, TAMC 2019, Proceedings. Watada, J. & Gopal, T. V. (eds.). Springer-Verlag GmbH and Co. KG, p. 28-41 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11436 LNCS).

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

  11. 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 proceeding › Conference contribution › Research › peer-review

Previous 1...9 10 11 12 13 14 15 16 ...21 Next

ID: 3082806