• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
Book
ECPPM 2021 – eWork and eBusiness in Architecture, Engineering and Construction

Edited by: Vitaly Semenov, R. J. Scherer.

CRC Press, 2021.

Article
Ensuring trustworthy code: leveraging a static analyzer to identify and mitigate defects in generated code

Danil S Shaikhelislamov, Andrei Andreyevich Belevancev.

Journal of Mathematical Sciences. 2024. Vol. 540. P. 233-251.

Book chapter
Graph Neural Network for Crawling Target Nodes in Social Networks

Danil Shaikhelislamov, Denis Turdakov.

In bk.: 2022 Ivannikov Ispras Open Conference (ISPRAS). IEEE, 2022. P. 31-36.

Working paper
Preventive Model-based Verification and Repairing for SDN Requests

Burdonov I., Kossachev A., Nina Yevtushenko et al.

arxiv.org. Computer Science. Cornell University, 2020

Algorithms and Data Structures

2024/2025
Academic Year
RUS
Instruction in Russian
5
ECTS credits
Type:
When:
1 year, 1, 2 module

Instructors

Мамай Игорь Борисович

Мамай Игорь Борисович

Serianin, Aleksandr

Serianin, Aleksandr

Terlych, Nikita

Terlych, Nikita