1. 2017
  2. Progression of decomposed local-effect action theories

    Ponomaryov, D. & Soutchanski, M., 1 Jun 2017, In: ACM Transactions on Computational Logic. 18, 2, 41 p., 16.

    Research output: Contribution to journalArticlepeer-review

  3. An approach to filtering prohibited content on the web

    Sidorova, E. A., Kononenko, I. S. & Zagorulko, Y. A., 1 Jan 2017, In: CEUR Workshop Proceedings. 2022, p. 64-71 8 p.

    Research output: Contribution to journalConference articlepeer-review

  4. An approach to the construction of robust systems of interacting processes

    Skopin, I. N., 1 Jan 2017, Mathematical Research Summaries. Nova Science Publishers, Inc., Vol. 2. 1 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterResearchpeer-review

  5. Application of ontology design patterns in the development of the ontologies of scientific subject domains

    Zagorulko, Y. A., Borovikova, O. I. & Zagorulko, G. B., 1 Jan 2017, In: CEUR Workshop Proceedings. 2022, p. 258-265 8 p.

    Research output: Contribution to journalConference articlepeer-review

  6. Early learning in parallel programming

    Skopin, I. N., 1 Jan 2017, Mathematical Research Summaries. Nova Science Publishers, Inc., Vol. 2. 1 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterResearchpeer-review

  7. Methods and tools of parallel programming

    Kasyanov, V. & Kasyanova, E., 1 Jan 2017, In: CEUR Workshop Proceedings. 1839, p. 141-154 14 p.

    Research output: Contribution to journalConference articlepeer-review

  8. On the complexity of semantic integration of OWL ontologies

    Kazakov, Y. & Ponomaryov, D., 1 Jan 2017, In: CEUR Workshop Proceedings. 1879

    Research output: Contribution to journalConference articlepeer-review

  9. Webometric analysis of Russian scientific and education web

    Kosyakov, D., Guskov, A. & Bykhovtsev, E., 1 Jan 2017, In: CEUR Workshop Proceedings. 1839, p. 196-207 12 p.

    Research output: Contribution to journalConference articlepeer-review

  10. 2016
  11. Link Grammar Parser for Turkic languages and algorithms for estimation the relevance of documents

    Victorovna, B. T., Zhaksylykbayevna, T. S., Alexandrovich, M. F., Sembekovna, Y. A., Kairolliyevna, S. S. & Muratovna, B. A., 25 Jul 2016, Application of Information and Communication Technologies, AICT 2016 - Conference Proceedings. Institute of Electrical and Electronics Engineers Inc., 7991663

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

  12. AND–decomposition of boolean polynomials with prescribed shared variables

    Emelyanov, P., 1 Jan 2016, Algorithms and Discrete Applied Mathematics - 2nd International Conference, CALDAM 2016, Proceedings. Springer-Verlag GmbH and Co. KG, Vol. 9602. p. 164-175 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9602).

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

ID: 3089109