Proceedings of the Institute for System Programming of the RAS
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
General information
Latest issue
Archive

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS


Proceedings of ISP RAS:
Year:
Volume:
Issue:
Page:
Find




Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register

Most published authors (scientific articles only) of the journal

1. A. V. Khoroshilov 25
2. I. B. Burdonov 21
3. D. Yu. Turdakov 21
4. A. S. Kosachev 19
5. A. A. Belevancev 18
6. V. A. Padaryan 17
7. A. E. Borodin 15
8. A. I. Get'man 15
9. M. G. Babenko 14
10. N. V. Evtushenko 14
11. V. N. Ignatyev 14
12. R. A. Buchatskiy 13
13. A. S. Kamkin 13
14. Sh. F. Kurmangaleev 13
15. A. K. Petrenko 13
16. A. N. Tchernykh 13
17. V. A. Semenov 12
18. S. V. Strijhak 12
19. S. M. Avdoshin 11
20. A. Yu. Gerasimov 11
21. P. M. Dovgalyuk 11
22. M. K. Ermakov 11
23. S. D. Kuznetsov 11
24. E. M. Lavrischeva 11
40 most published authors of the journal

Most cited authors of the journal
1. A. V. Khoroshilov 41
2. M. N. Goryunov 39
3. A. G. Matskevich 39
4. D. A. Rybolovlev 39
5. A. E. Borodin 38
6. A. A. Belevancev 36
7. E. M. Lavrischeva 35
8. V. A. Padaryan 34
9. Sh. F. Kurmangaleev 32
10. A. I. Get'man 31
11. N. V. Pakulin 30
12. V. A. Semenov 28
13. S. M. Avdoshin 27
14. V. A. Galaktionov 26
15. S. V. Zelenov 25
16. V. K. Koshelev 24
17. I. B. Burdonov 23
18. A. S. Kosachev 23
19. A. K. Petrenko 23
20. N. V. Evtushenko 22
21. V. N. Ignatyev 22
22. M. U. Mandrykin 22
23. D. Yu. Turdakov 22
24. A. N. Tchernykh 22
40 most cited authors of the journal

Most cited articles of the journal
1. Synthesis of a machine learning model for detecting computer attacks based on the CICIDS2017 dataset
M. N. Goryunov, A. G. Matskevich, D. A. Rybolovlev
Proceedings of ISP RAS, 2020, 32:5, 81–94 		28
2. An overview of modern methods for motion planning
K. A. Kazakov, V. A. Semenov
Proceedings of ISP RAS, 2016, 28:4, 241–294 		20
3. A static analysis tool Svace as a collection of analyzers with various complexity levels
A. Borodin, A. Belevancev
Proceedings of ISP RAS, 2015, 27:6, 111–134 		17
4. A survey and an experimental comparison of methods for text clustering: application to scientific articles
P. A. Parhomenko, A. A. Grigorev, N. A. Astrakhantsev
Proceedings of ISP RAS, 2017, 29:2, 161–200 		15
5. Predicate abstractions memory modeling method with separation into disjoint regions
A. Volkov, M. Mandrykin
Proceedings of ISP RAS, 2017, 29:4, 203–216 		13
6. The current state of the methods for calculating global illumination in tasks of realistic computer graphics
V. A. Frolov, A. G. Voloboy, S. V. Ershov, V. A. Galaktionov
Proceedings of ISP RAS, 2021, 33:2, 7–48 		11
7. Analysis of methods for assessing the reliability of equipment and systems. Practice of methods
N. V. Pakulin, E. M. Lavrischeva, A. G. Ryzhov, S. V. Zelenov
Proceedings of ISP RAS, 2018, 30:3, 99–120 		11
8. Design and architecture of real-time operating system
K. M. Mallachiev, N. V. Pakulin, A. V. Khoroshilov
Proceedings of ISP RAS, 2016, 28:2, 181–192 		11
9. Integration of micro-services as components in modeling environments for low code development
H. A. A. Chaudhary, T. Margaria
Proceedings of ISP RAS, 2021, 33:4, 19–30 		10
10. Using of convolutional neural networks for steganalysis of digital images
A. A. Polunin, E. A. Yandashevskaya
Proceedings of ISP RAS, 2020, 32:4, 155–164 		10
11. The method of converting an expert opinion to Z-number
E. A. Glukhoded, S. I. Smetanin
Proceedings of ISP RAS, 2016, 28:3, 7–20 		10
12. Application of the grid-characteristic method for solving the problems of the propagation of dynamic wave disturbances in high-performance computing systems
N. I. Khokhlov, I. B. Petrov
Proceedings of ISP RAS, 2019, 31:6, 237–252 		9
13. A survey of problems and solution methods in network traffic classification
A. I. Get'man, Yu. V. Markin, E. F. Evstropov, D. O. Obidenkov
Proceedings of ISP RAS, 2017, 29:3, 117–150 		9
14. Certifiable onboard real-time operation system JetOS for Russian aircrafts design
Yu. A. Solodelov, N. K. Gorelits
Proceedings of ISP RAS, 2017, 29:3, 171–178 		9
15. Verification and analysis of variable operating systems
V. V. Kulyamin, E. M. Lavrischeva, V. S. Mutilin, A. K. Petrenko
Proceedings of ISP RAS, 2016, 28:3, 189–208 		9
16. Path-sensitive bug detection analysis of C# program illustrated by null pointer dereference
V. Koshelev, I. Dudina, V. Ignatyev, A. Borzilov
Proceedings of ISP RAS, 2015, 27:5, 59–86 		9
17. Analysis of mathematical formulations of capacitated vehicle routing problem and methods for their solution
E. Beresneva, S. Avdoshin
Proceedings of ISP RAS, 2018, 30:3, 233–250 		8
18. Towards a cloud computing paradigm for big data analysis in smart cities
Renzo Massobrio, Sergio Nesmachnow, Andrei Tchernykh, Arutyun Avetisyan, Gleb Radchenko
Proceedings of ISP RAS, 2016, 28:6, 121–140 		8
19. C# static analysis framework
V. K. Koshelev, V. N. Ignatyev, A. I. Borzilov
Proceedings of ISP RAS, 2016, 28:1, 21–40 		8
20. Comparison of high-level synthesis and hardware construction tools
A. S. Kamkin, M. M. Chupilko, M. S. Lebedev, S. A. Smolov, G. Gaydadjiev
Proceedings of ISP RAS, 2022, 34:5, 7–22 		7
21. Requirements traceability as the basis for designing a functional and logical architecture of a software system
B. A. Pozin, G. N. Tsiperman
Proceedings of ISP RAS, 2022, 34:1, 23–34 		7
22. A survey of network traffic classification methods using machine learning
A. I. Getman, M. K. Ikonnikova
Proceedings of ISP RAS, 2020, 32:6, 137–154 		7
23. Heterogeneous data aggregation and normalization in information security monitoring and intrusion detection systems of large-scale industrial CPS
M. A. Poltavtseva
Proceedings of ISP RAS, 2020, 32:5, 131–142 		7
24. Development of iceFoam solver for modeling ice accretion
K. B. Koshelev, V. G. Melnikova, S. V. Strijhak
Proceedings of ISP RAS, 2020, 32:4, 217–234 		7
25. Application of computer techniques and systems in the study of law, intellectual analysis and modeling of legal activity: a systematic review
E. V. Trofimov, O. G. Metsker
Proceedings of ISP RAS, 2020, 32:3, 147–170 		7
26. Rendering system for the aircraft real-time OS JetOS
B. Kh. Barladian, L. Z. Shapiro, K. A. Mallachiev, A. V. Khoroshilov, Y. A. Solodelov, A. G. Voloboy, V. A. Galaktionov, I. V. Koverninskiy
Proceedings of ISP RAS, 2020, 32:1, 57–70 		7
27. Supporting Java programming in the Svace static analyzer
A. P. Merkulov, S. A. Polyakov, A. A. Belevantsev
Proceedings of ISP RAS, 2017, 29:3, 57–74 		7
28. Software product lines modeling
K. M. Lavrischeva, A. K. Petrenko
Proceedings of ISP RAS, 2016, 28:6, 49–64 		7
29. Software defect severity estimation in presence of modern defense mechanisms
A. N. Fedotov, V. A. Padaryan, V. V. Kaushan, Sh. F. Kurmangaleev, A. V. Vishnyakov, A. R. Nurmukhametov
Proceedings of ISP RAS, 2016, 28:5, 73–92 		7
30. Using unreachable code analysis in static analysis tool for finding defects in source code
R. R. Mulyukov, A. E. Borodin
Proceedings of ISP RAS, 2016, 28:5, 145–158 		7
31. MHD supersonic flow control: OpenFOAM simulation
A. I. Ryakhovskiy, A. A. Shmidt
Proceedings of ISP RAS, 2016, 28:1, 197–206 		7
32. Expansion of reference model for the cloud computing environment in the concept of large-scale scientific researches
A. Skatkov, V. Shevchenko
Proceedings of ISP RAS, 2015, 27:6, 285–306 		7
33. Spectral analytical method of recognition of inexact repeats in character sequences
A. N. Pankratov, R. K. Tetuev, M. I. Pyatkov, V. P. Toigildin, N. N. Popova
Proceedings of ISP RAS, 2015, 27:6, 335–344 		7
40 most cited articles of the journal

Most requested articles of the journal
| one week | one month | one year |
1. Beyond LLVM: evaluating fast code generation alternatives for query compilation in PostgreSQL
M. V. Pantilimonov, R. A. Buchatskiy, D. V. Zavedeev
Proceedings of ISP RAS, 2025, 37:6(2), 77–92 		40
2. Comparison of classical and machine learning algorithms for feature point extraction in rugged terrain images for application in SLAM algorithms
P. A. Ukhov, M. B. Bulakina, S. S. Krylov
Proceedings of ISP RAS, 2025, 37:6(2), 123–130 		36
3. Testing the Astra Linux OS security subsystem based on a formalized description of the Access Control model
P. N. Devyanin, S. S. Zhiliakov, A. I. Smirnov
Proceedings of ISP RAS, 2025, 37:6(2), 21–36 		32
4. The methodology of constructing the large-scale dataset for detecting presuicidal and anti-suicidal signals in social media texts in Russian
I. O. Buyanov, D. V. Yaskova, D. S. Serenko, D. N. Shkereda, A. D. Yaskov, I. V. Sochenkov
Proceedings of ISP RAS, 2025, 37:6(2), 191–210 		31
5. Using contrastive learning for semantic interpretation of Russian-language tables
K. V. Tobola, N. O. Dorodnykh
Proceedings of ISP RAS, 2025, 37:6(2), 107–122 		30
6. Deep learning and linguistic analysis for cognate identification tasks: a survey of contemporary approaches
O. V. Goncharova
Proceedings of ISP RAS, 2025, 37:6(2), 177–190 		27
7. Optimization of short reads alignment with indels in whole-genome sequencing
N. A. Koltunov, E. P. Guguchkin, E. A. Karpulevitch
Proceedings of ISP RAS, 2025, 37:6(2), 211–222 		27
8. Static analysis of Visual Basic .NET language
V. S. Karcev, V. N. Ignatyev
Proceedings of ISP RAS, 2025, 37:6(2), 37–52 		25
9. Expressprint: an approach to watermarking of visual foundation models
A. S. Chistyakova, M. A. Pautov
Proceedings of ISP RAS, 2025, 37:6(2), 223–236 		24
10. Analysis of methods for assessing the reliability of equipment and systems. Practice of methods
N. V. Pakulin, E. M. Lavrischeva, A. G. Ryzhov, S. V. Zelenov
Proceedings of ISP RAS, 2018, 30:3, 99–120 		22
Proceedings of the Institute for System Programming of the RAS Proceedings of the Institute for System Programming of the RAS
Coverage: 2015–2025

Total publications: 1084
Scientific articles: 1079
Authors: 1702
Citations: 1240
Cited articles: 461

Most published authors
Most cited authors
Most cited articles
Most requested articles
 
  Contact us:
  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2026