ISSN 0236-235X (P)
ISSN 2311-2735 (E)

Публикационная активность

(сведения по итогам 2015 г.)
2-летний импакт-фактор РИНЦ: 0,339
2-летний импакт-фактор РИНЦ без самоцитирования: 0,227
Двухлетний импакт-фактор РИНЦ с учетом цитирования из всех
источников: 0,454
5-летний импакт-фактор РИНЦ: 0,324
5-летний импакт-фактор РИНЦ без самоцитирования: 0,251
Суммарное число цитирований журнала в РИНЦ: 3278
Пятилетний индекс Херфиндаля по цитирующим журналам: 571
Индекс Херфиндаля по организациям авторов: 420
Десятилетний индекс Хирша: 10
Место в общем рейтинге SCIENCE INDEX за 2014 год: 267
Место в рейтинге SCIENCE INDEX за 2014 год по тематике "Автоматика. Вычислительная техника": 11

Больше данных по публикационной активности нашего журнале за 2008-2015 гг. на сайте РИНЦ

Вход


Забыли пароль? / Регистрация

Добавить в закладки

Следующий номер на сайте

2
Ожидается:
16 Июня 2017

Шипов А.А.

Аспирант (a-j-a-1@yandex.ru)
Московский технологический университет (МИРЭА)
Автор статей:
  1. Метод ограничений верифицируемых моделей
  2. Соавторы статьи: Кораблин Ю.П.
  3. Эквациональная характеристика формул LTL
  4. Соавторы статьи: Кораблин Ю.П.
  5. Метод распределенного анализа свойств верифицируемых моделей
  6. Построение моделей систем на базе эквациональной характеристики формул LTL
  7. Соавторы статьи: Кораблин Ю.П.