Публикационная активность
(сведения по итогам 2019 г.)
2-летний импакт-фактор РИНЦ: 0,597
2-летний импакт-фактор РИНЦ без самоцитирования: 0,466
Двухлетний импакт-фактор РИНЦ с учетом цитирования из всех
источников: 1,051
5-летний импакт-фактор РИНЦ: 0,466
5-летний импакт-фактор РИНЦ без самоцитирования: 0,395
Суммарное число цитирований журнала в РИНЦ: 7808
Пятилетний индекс Херфиндаля по цитирующим журналам: 295
Индекс Херфиндаля по организациям авторов: 369
Десятилетний индекс Хирша: 20
Место в общем рейтинге SCIENCE INDEX за 2019 год: 272
Место в рейтинге SCIENCE INDEX за 2018 год по тематике "Автоматика. Вычислительная техника": 6
Больше данных по публикационной активности нашего журнале за 2008-2018 гг. на сайте РИНЦ
Добавить в закладки
Следующий номер на сайте
№1
Ожидается:
16 Марта 2021
Ключевое слово: эквациональная характеристика rltl
- Построение моделей систем на базе эквациональной характеристики формул LTL Авторы статьи: Кораблин Ю.П., Шипов А.А.
- Верификация моделей систем на базе эквациональной характеристики формул LTL Авторы статьи: Кораблин Ю.П., Шипов А.А., Кочергин А.С.
- Унифицированное представление формул логик LTL и CTL системами рекурсивных уравнений Авторы статьи: Кораблин Ю.П., Шипов А.А.
