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

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

(сведения по итогам 2016 г.)
2-летний импакт-фактор РИНЦ: 0,493
2-летний импакт-фактор РИНЦ без самоцитирования: 0,389
Двухлетний импакт-фактор РИНЦ с учетом цитирования из всех
источников: 0,732
5-летний импакт-фактор РИНЦ: 0,364
5-летний импакт-фактор РИНЦ без самоцитирования: 0,303
Суммарное число цитирований журнала в РИНЦ: 5022
Пятилетний индекс Херфиндаля по цитирующим журналам: 355
Индекс Херфиндаля по организациям авторов: 499
Десятилетний индекс Хирша: 11
Место в общем рейтинге SCIENCE INDEX за 2016 год: 304
Место в рейтинге SCIENCE INDEX за 2016 год по тематике "Автоматика. Вычислительная техника": 11

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

Вход


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

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

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

4
Ожидается:
16 Декабря 2017

Ключевое слово: автомат бюхи

  1. Сложность проверки модели параллельных программных систем
  2. Авторы статьи: Захарченко С.С.

  3. Анализ моделей программ на языке асинхронных функциональных схем средствами темпоральной логики линейного времени
  4. Авторы статьи: Кораблин Ю.П., Косакян М.Л.

  5. Метод ограничений верифицируемых моделей
  6. Авторы статьи: Кораблин Ю.П., Шипов А.А.

  7. Эквациональная характеристика формул LTL
  8. Авторы статьи: Кораблин Ю.П., Шипов А.А.

  9. Метод распределенного анализа свойств верифицируемых моделей
  10. Авторы статьи: Шипов А.А.

  11. Построение моделей систем на базе эквациональной характеристики формул LTL
  12. Авторы статьи: Кораблин Ю.П., Шипов А.А.

  13. Верификация моделей систем на базе эквациональной характеристики формул LTL
  14. Авторы статьи: Кораблин Ю.П., Шипов А.А., Кочергин А.С.