BM.5502.2017 Computational Technologies

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2014 2019

Analytical Comparison of DLT Platforms Activity

Iakushkin, O., Fatkina, A., Selivanov, D. & Korkhov, V., 1 Jul 2019, Computational Science and Its Applications – ICCSA 2019: 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part II. Springer, p. 556-566 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11620).

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

Methods of Formal Software Verification in the Context of Distributed Systems

Fatkina, A., Iakushkin, O., Selivanov, D. & Korkhov, V., 1 Jul 2019, Computational Science and Its Applications – ICCSA 2019: 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part II. Cham: Springer, p. 546-555 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11620).

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

4 Citations (Scopus)

Reconstruction of stone walls in form of polygonal meshes from archaeological studies

Iakushkin, O., Fatkina, A., Plaksin, V., Sedova, O., Degtyarev, A. & Uteshev, A., 1 Jan 2018, Computational Science and Its Applications – ICCSA 2018 - 18th International Conference, 2018, Proceedings. Springer, p. 136-148 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10963 LNCS).

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