• 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

Research & Expertise – News

ISPRAS OPEN 2016

We invite you to participate in The Open Conference of the ISPRAS, which will take place on December 5-9, 2016 in the building of the Presidium of The Russian Academy of Sciences located at the address: Moscow, Leninskiy prospekt, 32A.