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

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

(сведения по итогам 2018 г.)
2-летний импакт-фактор РИНЦ: 0,678
2-летний импакт-фактор РИНЦ без самоцитирования: 0,541
Двухлетний импакт-фактор РИНЦ с учетом цитирования из всех
источников: 1,047
5-летний импакт-фактор РИНЦ: 0,460
5-летний импакт-фактор РИНЦ без самоцитирования: 0,389
Суммарное число цитирований журнала в РИНЦ: 7170
Пятилетний индекс Херфиндаля по цитирующим журналам: 310
Индекс Херфиндаля по организациям авторов: 412
Десятилетний индекс Хирша: 19
Место в общем рейтинге SCIENCE INDEX за 2018 год: 303
Место в рейтинге SCIENCE INDEX за 2018 год по тематике "Автоматика. Вычислительная техника": 10

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

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

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

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

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

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