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 26
2. I. B. Burdonov 22
3. D. Yu. Turdakov 21
4. A. S. Kosachev 20
5. A. A. Belevancev 19
6. A. E. Borodin 17
7. V. A. Padaryan 17
8. A. I. Get'man 16
9. A. K. Petrenko 16
10. V. N. Ignatyev 15
11. A. S. Kamkin 15
12. M. G. Babenko 14
13. P. M. Dovgalyuk 14
14. N. V. Evtushenko 14
15. R. A. Buchatskiy 13
16. Sh. F. Kurmangaleev 13
17. V. A. Semenov 13
18. A. N. Tchernykh 13
19. V. S. Mutilin 12
20. S. V. Strijhak 12
40 most published authors of the journal

Most cited authors of the journal
1. A. V. Khoroshilov 42
2. M. N. Goryunov 40
3. A. G. Matskevich 40
4. D. A. Rybolovlev 40
5. A. E. Borodin 38
6. A. A. Belevancev 36
7. V. A. Padaryan 36
8. E. M. Lavrischeva 35
9. Sh. F. Kurmangaleev 33
10. A. I. Get'man 32
11. N. V. Pakulin 30
12. V. A. Semenov 30
13. S. M. Avdoshin 29
14. V. A. Galaktionov 26
15. S. V. Zelenov 25
16. V. K. Koshelev 24
17. M. U. Mandrykin 24
18. A. K. Petrenko 24
19. D. Yu. Turdakov 24
20. I. B. Burdonov 23
21. A. S. Kosachev 23
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 		22
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 		16
5. Predicate abstractions memory modeling method with separation into disjoint regions
A. Volkov, M. Mandrykin
Proceedings of ISP RAS, 2017, 29:4, 203–216 		15
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. 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 		11
8. 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
9. 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
10. 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
11. 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
12. 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
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. 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 		8
40 most cited articles of the journal

Most requested articles of the journal
| one week | one month | one year |
1. 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 		147
2. Deadlock detection using static analysis
S. A. Polyakov, A. E. Borodin
Proceedings of ISP RAS, 2020, 32:5, 21–34 		88
3. Minimizing finite state machines with time guards and timeouts
A. S. Tvardovskii, N. V. Yevtushenko, M. L. Gromov
Proceedings of ISP RAS, 2017, 29:4, 139–154 		85
4. Creating test data for market surveillance systems with embedded machine learning algorithms
O. Moskaleva, A. Gromova
Proceedings of ISP RAS, 2017, 29:4, 269–282 		85
5. Aspect term extraction based on word embedding
D. O. Mashkin, E. V. Kotelnikov
Proceedings of ISP RAS, 2016, 28:6, 223–240 		81
6. Modified codes with weighted-transitions summation in concurrent error detection systems of combinational circuits
V. V. Sapozhnikov, Vl. V. Sapozhnikov, D. V. Efanov
Proceedings of ISP RAS, 2017, 29:5, 39–60 		79
7. Static verification of operating system monolithic kernels
E. M. Novikov
Proceedings of ISP RAS, 2017, 29:2, 97–116 		77
8. Applying synchronization contracts approach for dynamic detection of data races in industrial applications
V. Yu. Trifanov
Proceedings of ISP RAS, 2018, 30:3, 47–62 		76
9. On representation used in the binary code reverse engineering
V. A. Padaryan
Proceedings of ISP RAS, 2017, 29:3, 31–42 		75
10. Automated testing of a TCG frontend for Qemu
D. S. Koltunov, V. Y. Efimov, V. A. Padaryan
Proceedings of ISP RAS, 2019, 31:5, 7–24 		74
Proceedings of the Institute for System Programming of the RAS Proceedings of the Institute for System Programming of the RAS
Coverage: 2015–2026

Total publications: 1130
Scientific articles: 1125
Authors: 1756
Citations: 1281
Cited articles: 469

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