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
Shipov A.A.
- The limitation method for verifiable models Co-authors: Korablin Yu.P.
- Equational characteristics of LTL formulas Co-authors: Korablin Yu.P.
- The method of distributed analysis of verifiable models properties
- System models construction based on LTL formula equational characteristics Co-authors: Korablin Yu.P.
- System model verification based on equational characteristics of LTL formulas Co-authors: Korablin Yu.P., A.S. Kochergin
- The unified representation of LTL and CTL logics formulas by recursive equation systems Co-authors: Korablin Yu.P.
- Systems model verification based on equational characteristics of СTL formulas Co-authors: Korablin Yu.P.
