Публикационная активность
(сведения по итогам 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 гг. на сайте РИНЦ
Добавить в закладки
Следующий номер на сайте
№4
Ожидается:
16 Декабря 2021
Кораблин Ю.П.
доктор технических наук (y.p.k@mail.ru)
профессор
Российский государственный социальный университет, г. Москва
Автор статей:
- Повышение эффективности создания экземпляров классов при использовании компонентной технологии проектирования Соавторы статьи: Нечаев П.Д.
- Процессная семантика языков распределенного программирования Соавторы статьи: Кучугуров И.В.
- Вопросы эквивалентности схем параллельных программ Соавторы статьи: Кучугуров И.В., Косакян М.Л.
- Разработка инструментов верификации драйверов на основе семантических моделей Соавторы статьи: Павлов Е.Г.
- Программное средство для имитационного моделирования с помощью графовых моделей Соавторы статьи: Незнанов А.А., Карпухин И.Н.
- Разработка инструментальных средств анализа драйверов операционной системы Linux Соавторы статьи: Павлов Е.Г.
- Анализ моделей программ на языке асинхронных функциональных схем средствами темпоральной логики линейного времени Соавторы статьи: Косакян М.Л.
- Метод ограничений верифицируемых моделей Соавторы статьи: Шипов А.А.
- Эквациональная характеристика формул LTL Соавторы статьи: Шипов А.А.
- Построение моделей систем на базе эквациональной характеристики формул LTL Соавторы статьи: Шипов А.А.
- Верификация моделей систем на базе эквациональной характеристики формул LTL Соавторы статьи: Шипов А.А., Кочергин А.С.
- Унифицированное представление формул логик LTL и CTL системами рекурсивных уравнений Соавторы статьи: Шипов А.А.
- Верификация моделей систем на базе эквациональной характеристики формул CTL Соавторы статьи: Шипов А.А.
