Publication activity
(Information on the results of 2020)
2-year impact factor of the RSCI: 0,493
2-year impact factor of the RSCI without self-citation: 0,425
The two-year impact factor of the RSCI, taking into account citations from all
sources: 0,932
5-year impact factor of the RSCI: 0,455
5-year impact factor of the RSCI without self-citation: 0,414
The total number of citations of the journal in the RSCI: 10613
Herfindahl's five-year index of quoting journals: 165
Herfindahl Index by author organizations: 255
10-year Hirsch Index: 20
Place in the overall SCIENCE INDEX ranking: 166
Place in the SCIENCE INDEX ranking on the topic "Automation. Computer technology": 5
More information on the publication activity of our journal for 2008-2020 on the RSCI website.
Bookmark
Next issue
Korablin Yu.P.
- Process semantics of distributed programming language Co-authors: Кучугуров И.В.
- Questions equivalent schemes of parallel programs Co-authors: Кучугуров И.В., Kosakyan M.L.
- Development tools of verification for device drivers based on semantic models Co-authors: Павлов Е.Г.
- Software tool for simulation modeling with the graph models Co-authors: Незнанов А.А., Карпухин И.Н.
- Analysis tools of Linux operating system drivers development Co-authors: Павлов Е.Г.
- Analysis of the programm use the language of asynchronous functional schemes models using linear-time temporal logic Co-authors: Kosakyan M.L.
- The limitation method for verifiable models Co-authors: Shipov A.A.
- Equational characteristics of LTL formulas Co-authors: Shipov A.A.
- System models construction based on LTL formula equational characteristics Co-authors: Shipov A.A.
- System model verification based on equational characteristics of LTL formulas Co-authors: Shipov A.A., A.S. Kochergin
- The unified representation of LTL and CTL logics formulas by recursive equation systems Co-authors: Shipov A.A.
- Systems model verification based on equational characteristics of СTL formulas Co-authors: Shipov A.A.
