2079-8156

Proceedings of the Institute for System Programming of RAS

Institute for System Programming of the Russian Academy of Sciences

View prefix report (10.15514)

Health Score

0 Poor

Metadata coverage

Abstract
ORCID
References
License

Extended metadata coverage

Informational — signals of interoperability and funding across the corpus. Not part of the health score.

Funding

Funder
Award / grant

Affiliation & institutional identifiers

Affiliation
ROR ID

Update policy

Update policy

Your prioritized action plan

Ordered by how many DOIs each fix touches — start here, not with every error at once.

1

Deposit reference lists for 1164 records

Deposited references power Crossref's Cited-by links between your articles and the literature.

High impact1164 DOIs
2

Add license metadata to 1164 records

License metadata tells indexers and readers how each article may be reused.

High impact1164 DOIs
3

Attach ORCID iDs across 803 articles

ORCID iDs strengthen author disambiguation and institutional reporting.

High impact803 DOIs

DOIs for this ISSN

Showing the top 5 of 1094 DOIs, ordered by correction priority.

# Title Missing Priority Citations
1 Topic modeling in natural language texts (10.15514/ispras-2012-23-13)
Abstract References ORCID License
139.79 24
2 An overview of modern methods for motion planning (10.15514/ispras-2016-28(4)-14)
Abstract References ORCID License
134.24 21
3 Social network analysis: methods and applications (10.15514/ispras-2014-26(1)-19)
Abstract References ORCID License
123.04 16
4 Predicate Abstractions Memory Modeling Method with Separatio… (10.15514/ispras-2017-29(4)-13)
Abstract References ORCID License
117.61 14
5 Synthesis of a Machine Learning Model for Detecting Computer… (10.15514/ispras-2020-32(5)-6)
References ORCID License
111.85 30
6 A survey and an experimental comparison of methods for text… (10.15514/ispras-2017-29(2)-6)
Abstract References ORCID License
107.92 11
7 Static analyzer Svace for finding of defects in program sour… (10.15514/ispras-2014-26(1)-7)
Abstract References ORCID License
104.14 10
8 Design and architecture of real-time operating system (10.15514/ispras-2016-28(2)-12)
Abstract References ORCID License
104.14 10
9 The Method of Converting an Expert Opinion to Z-number (10.15514/ispras-2016-28(3)-1)
Abstract References ORCID License
104.14 10
10 Application of the grid-characteristic method for solving th… (10.15514/ispras-2019-31(6)-16)
Abstract References ORCID License
104.14 10
11 Tools for System Design of Integrated Modular Avionics (10.15514/ispras-2014-26(1)-6)
Abstract References ORCID License
100.00 9
12 A static analysis tool Svace as a collection of analyzers wi… (10.15514/ispras-2015-27(6)-8)
Abstract References ORCID License
100.00 9
13 Using of convolutional neural networks for steganalysis of d… (10.15514/ispras-2020-32(4)-11)
Abstract References ORCID License
100.00 9
14 Development of iceFoam solver for modeling ice accretion (10.15514/ispras-2020-32(4)-16)
Abstract References ORCID License
100.00 9
15 A survey of emerging models and methods of scheduling (10.15514/ispras-2014-26(3)-1)
Abstract References ORCID License
95.42 8
16 Automatic term acquisition from domain-specific text collect… (10.15514/ispras-2014-26(4)-1)
Abstract References ORCID License
95.42 8
17 Direct numerical simulation of internal gravity wave attract… (10.15514/ispras-2014-26(5)-6)
Abstract References ORCID License
95.42 8
18 A survey of problems and solution methods in network traffic… (10.15514/ispras-2017-29(3)-8)
Abstract References ORCID License
95.42 8
19 Analysis of methods for assessing the reliability of equipme… (10.15514/ispras-2018-30(3)-8)
Abstract References ORCID License
95.42 8
20 Ranking in keyphrase extraction problem: is it suitable to u… (10.15514/ispras-2014-26(4)-10)
Abstract References ORCID License
90.31 7
21 Batch Symmetric Fully Homomorphic Encryption Using Matrix Po… (10.15514/ispras-2014-26(5)-5)
Abstract References ORCID License
90.31 7
22 Spectral analytical method of recognition of inexact repeats… (10.15514/ispras-2015-27(6)-21)
Abstract References ORCID License
90.31 7
23 MHD supersonic flow control: OpenFOAM simulation (10.15514/ispras-2016-28(1)-11)
Abstract References ORCID License
90.31 7
24 Analysis of Mathematical Formulations of Capacitated Vehicle… (10.15514/ispras-2018-30(3)-17)
Abstract References ORCID License
90.31 7
25 Comparative Analysis of Homomorphic Encryption Algorithms Ba… (10.15514/ispras-2020-32(2)-4)
Abstract References ORCID License
90.31 7
26 Investigation of the RISC-V (10.15514/ispras-2020-32(2)-7)
Abstract References ORCID License
90.31 7
27 Application of Computer Techniques and Systems in the Study… (10.15514/ispras-2020-32(3)-13)
Abstract References ORCID License
90.31 7
28 Automatic Recognition of Domain-Specific Terms: an Experimen… (10.15514/ispras-2014-26(4)-5)
Abstract References ORCID License
84.51 6
29 Expansion of reference model for the cloud computing environ… (10.15514/ispras-2015-27(6)-18)
Abstract References ORCID License
84.51 6
30 Supporting Java programming in the Svace static analyzer (10.15514/ispras-2017-29(3)-5)
Abstract References ORCID License
84.51 6
31 Minimizing Finite State Machines with time guards and timeou… (10.15514/ispras-2017-29(4)-9)
Abstract References ORCID License
84.51 6
32 The effect of partiality and adaptivity on the complexity of… (10.15514/ispras-2018-30(1)-1)
Abstract References ORCID License
84.51 6
33 Tolerant parsing with a special kind of «Any» symbol: the al… (10.15514/ispras-2018-30(4)-1)
Abstract References ORCID License
84.51 6
34 Constructive heuristics for Capacitated Vehicle Routing Prob… (10.15514/ispras-2019-31(3)-12)
Abstract References ORCID License
84.51 6
35 Rendering System for the Aircraft Real-Time OS JetOS (10.15514/ispras-2020-32(1)-3)
Abstract References ORCID License
84.51 6
36 Recommender systems: a survey of modern approaches (10.15514/ispras-2012-22-21)
Abstract References ORCID License
77.82 5
37 Comparative Study Parallel Join Algorithms for MapReduce env… (10.15514/ispras-2012-23-17)
Abstract References ORCID License
77.82 5
38 Big data: modern approaches to storage and analysis (10.15514/ispras-2012-23-9)
Abstract References ORCID License
77.82 5
39 Refinement Types in Jolie (10.15514/ispras-2016-28(2)-2)
Abstract References ORCID License
77.82 5
40 Context-Based Model for Concern Markup of a Source Code (10.15514/ispras-2016-28(2)-4)
Abstract References ORCID License
77.82 5
41 Using unreachable code analysis in static analysis tool for… (10.15514/ispras-2016-28(5)-9)
Abstract References ORCID License
77.82 5
42 Certifiable onboard real-time operation system JetOS for Rus… (10.15514/ispras-2017-29(3)-10)
Abstract References ORCID License
77.82 5
43 The Program for Public Mood Monitoring through Twitter Conte… (10.15514/ispras-2017-29(4)-22)
Abstract References ORCID License
77.82 5
44 Ontology of the “Software Usability” Domain (10.15514/ispras-2018-30(2)-10)
Abstract References ORCID License
77.82 5
45 On the model checking of finite state transducers over semig… (10.15514/ispras-2018-30(3)-21)
Abstract References ORCID License
77.82 5
46 Medical Images Segmentation Operations (10.15514/ispras-2018-30(4)-12)
Abstract References ORCID License
77.82 5
47 Towards Formal Verification of Cyber Security Standards (10.15514/ispras-2018-30(4)-5)
Abstract References ORCID License
77.82 5
48 Methods of gait recognition in video (10.15514/ispras-2019-31(1)-5)
Abstract References ORCID License
77.82 5
49 Fault detection in combinational circuits based on self-dual… (10.15514/ispras-2019-31(1)-8)
Abstract References ORCID License
77.82 5
50 The theoretical approach to the search for a global extremum… (10.15514/ispras-2019-31(2)-4)
Abstract References ORCID License
77.82 5