На правах рекламы:
Шкафы купе на заказ Подольск - встроенный шкаф купе на заказ Подольск.
ISSN 0236-235X (P)
ISSN 2311-2735 (E)

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

(сведения по итогам 2019 г.)
2-летний импакт-фактор РИНЦ: 1,051
2-летний импакт-фактор РИНЦ без самоцитирования: 0,466
Двухлетний импакт-фактор РИНЦ с учетом цитирования из всех
источников: 1,051
5-летний импакт-фактор РИНЦ: 0,466
5-летний импакт-фактор РИНЦ без самоцитирования: 0,395
Суммарное число цитирований журнала в РИНЦ: 9403
Пятилетний индекс Херфиндаля по цитирующим журналам: 295
Индекс Херфиндаля по организациям авторов: 369
Десятилетний индекс Хирша: 20
Место в общем рейтинге SCIENCE INDEX за 2019 год: 291
Место в рейтинге SCIENCE INDEX за 2019 год по тематике "Автоматика. Вычислительная техника": 7

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

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

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

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

Шипов А.А.

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