BM.5502.2017 Вычислительные технологии

Fingerprint Dive into the research topics where BM.5502.2017 Вычислительные технологии is active. These topic labels come from the works of this organisation's members. Together they form a unique fingerprint.

Archaeology Математика
Software Verification Математика
Time-of-flight Математика
Formal Verification Математика
Visualization Технические дисциплины и материаловедение
Distributed Systems Математика
Mesh Математика
Software Математика

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

Research Output 2014 2019

  • 5 статья
  • 3 статья в сборнике материалов конференции
  • 2 патент
  • 1 глава/раздел

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 outputpeer-review

Visualization
Ranking
Repository

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 outputpeer-review

Software Verification
Formal Verification
Distributed Systems
Automatic Verification
Programming
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 outputpeer-review

Archaeology
Mesh
Software
Component Model
3D Model