На правах рекламы:
ISSN 0236-235X (P)
ISSN 2311-2735 (E)
Подать статью

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

(сведения по итогам 2021 г.)
2-летний импакт-фактор РИНЦ: 0,441
2-летний импакт-фактор РИНЦ без самоцитирования: 0,408
Двухлетний импакт-фактор РИНЦ с учетом цитирования из всех
источников: 0,704
5-летний импакт-фактор РИНЦ: 0,417
5-летний импакт-фактор РИНЦ без самоцитирования: 0,382
Суммарное число цитирований журнала в РИНЦ: 9837
Пятилетний индекс Херфиндаля по цитирующим журналам: 149
Индекс Херфиндаля по организациям авторов: 384
Десятилетний индекс Хирша: 71
Место в общем рейтинге SCIENCE INDEX за 2021 год: 196
Место в рейтинге SCIENCE INDEX за 2021 год по тематике "Автоматика. Вычислительная техника": 4
Место в рейтинге SCIENCE INDEX за 2021 год по тематике "Кибернетика" 2

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

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

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

№2
Ожидается:
19 Июня 2023
RSS
Подписаться на RSS

Кораблин Ю.П.

доктор технических наук (y.p.k@mail.ru)
профессор
Российский государственный социальный университет, г. Москва
Автор статей:
  1. Повышение эффективности создания экземпляров классов при использовании компонентной технологии проектирования
    2. Соавторы статьи: Нечаев П.Д.
  2. Процессная семантика языков распределенного программирования
    3. Соавторы статьи: Кучугуров И.В.
  3. Вопросы эквивалентности схем параллельных программ
    4. Соавторы статьи: Кучугуров И.В., Косакян М.Л.
  4. Разработка инструментов верификации драйверов на основе семантических моделей
    5. Соавторы статьи: Павлов Е.Г.
  5. Программное средство для имитационного моделирования с помощью графовых моделей
    6. Соавторы статьи: Незнанов А.А., Карпухин И.Н.
  6. Разработка инструментальных средств анализа драйверов операционной системы Linux
    7. Соавторы статьи: Павлов Е.Г.
  7. Анализ моделей программ на языке асинхронных функциональных схем средствами темпоральной логики линейного времени
    8. Соавторы статьи: Косакян М.Л.
  8. Метод ограничений верифицируемых моделей
    9. Соавторы статьи: Шипов А.А.
  9. Эквациональная характеристика формул LTL
    10. Соавторы статьи: Шипов А.А.
  10. Построение моделей систем на базе эквациональной характеристики формул LTL
    11. Соавторы статьи: Шипов А.А.
  11. Верификация моделей систем на базе эквациональной характеристики формул LTL
    12. Соавторы статьи: Шипов А.А., Кочергин А.С.
  12. Унифицированное представление формул логик LTL и CTL системами рекурсивных уравнений
    13. Соавторы статьи: Шипов А.А.
  13. Верификация моделей систем на базе эквациональной характеристики формул CTL
    14. Соавторы статьи: Шипов А.А.