На правах рекламы:
ISSN 0236-235X (P)
ISSN 2311-2735 (E)

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

(сведения по итогам 2020 г.)
2-летний импакт-фактор РИНЦ: 0,493
2-летний импакт-фактор РИНЦ без самоцитирования: 0,425
Двухлетний импакт-фактор РИНЦ с учетом цитирования из всех
источников: 0,932
5-летний импакт-фактор РИНЦ: 0,455
5-летний импакт-фактор РИНЦ без самоцитирования: 0,414
Суммарное число цитирований журнала в РИНЦ: 8847
Пятилетний индекс Херфиндаля по цитирующим журналам: 165
Индекс Херфиндаля по организациям авторов: 255
Десятилетний индекс Хирша: 20
Место в общем рейтинге SCIENCE INDEX за 2020 год: 165
Место в рейтинге SCIENCE INDEX за 2020 год по тематике "Автоматика. Вычислительная техника": 4

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

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

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

1
Ожидается:
16 Марта 2021

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

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

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

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

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

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

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

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