• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
Article
DPN Verifier: A Toolkit for Faster Soundness Verification and Repair of Process Models with Data

Suvorov N. M.

Proceedings of the Institute for System Programming of the RAS. 2026. Vol. 38. No. 3(2). P. 49-66.

Book chapter
Scaling Up Molecular Hydrodynamics of Non-Laminar Flows with GPU-Aware MPI

Khnkoian G., Galigerov V., Grishichkin Y. et al.

In bk.: Parallel Computational Technologies, 19th International Conference, PCT 2025, Moscow, Russia, April 8–10, 2025, Revised Selected Papers. (CCIS, volume 2891). Vol. 2891. Springer, 2026. P. 532-545.

Working paper
Approach to Designing CV Systems for Medical Applications: Data, Architecture and AI
In press

Ryabtsev D., Vasilyev Boris, Shershakov S.

Computer Science ::Computer Vision and Pattern Recognition. 2501.14689. arXiv, 2025

Tag "HSE Development Programme until 2030" – News

HSE Faculty of Computer Science Holds Summer School on Software Engineering

HSE Faculty of Computer Science Holds Summer School on Software Engineering
At the beginning of July, a summer school on software engineering was held at the HSE Faculty of Computer Science. This is the successor to the school on mobile applications development, which was held at the FCS from 2015 to 2022. The school’s partners for this event included 1C, Sber, the community of authors of the Indicator games, and the Samsung Innovation Campus IT School.