Публикации: Якимов И. А.

Statistical model checking for blockchain-based applications [доклад, тезисы доклада, статья из сборника материалов конференций]
Maksimov D. B., Yakimov I. A., Kuznetsov A. S.
2020, IOP Conference Series: Materials Science and Engineering
присутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
Algorithm diversity metric for N-version software [доклад, тезисы доклада, статья из сборника материалов конференций]
Gruzenkin D. V., Yakimov I. A., Kuznetsov A. S., Tsarev R. Yu., Grishina G. V., Pupkov A. N., Bystrova N. V.
2019, Journal of Physics: Conference Series
присутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
OPTIMIZING THE READABILITY OF TESTS GENERATED BY SYMBOLIC EXECUTION : научное издание [статья из журнала]
Yakimov I. A., Kuznetsov A. S., Skripachev A. M.
2019, Сибирский журнал науки и технологий
присутствует в РИНЦ (eLIBRARY.RU), Список ВАК
Поиск недостающих вызовов библиотечных функций с использованием машинного обучения : научное издание [статья из журнала]
Якимов И. А., Кузнецов А. С.
2017, Труды Института системного программирования РАН
присутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
ОПРЕДЕЛЕНИЕ МЕТРИКИ ДИВЕРСИФИЦИРОВАННОСТИ МУЛЬТИВЕРСИОННОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ НА УРОВНЕ АЛГОРИТМОВ : научное издание [статья из журнала]
Грузенкин Д. В., Якимов И. А., Кузнецов А. С., Царев Р. Ю.
2017, Фундаментальные исследования
присутствует в РИНЦ (eLIBRARY.RU), Список ВАК
Оптимизация читаемости тестов порождаемых при символьных вычислениях : научное издание [статья из журнала]
Якимов И. А., Кузнецов А. С.
2016, Труды Института системного программирования РАН
присутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
ПРОБЛЕМА ЦЕНЫ ПРОВЕРКИ ТЕСТОВ ЧЕЛОВЕКОМ В КОНТЕКСТЕ СИМВОЛЬНЫХ ВЫЧИСЛЕНИЙ (ОБЗОР ИНОСТРАННОЙ ЛИТЕРАТУРЫ) : научное издание [статья из журнала]
Якимов И. А., Кузнецов А. С.
2016, Международный журнал прикладных и фундаментальных исследований
присутствует в РИНЦ (eLIBRARY.RU)
ГИБРИДНЫЙ ПОДХОД К АВТОМАТИЗАЦИИ МОДУЛЬНОГО ТЕСТИРОВАНИЯ ПРОГРАММ НА ЯЗЫКЕ СИ [статья из журнала]
Якимов И. А., Кузнецов А. С.
2016, Современные наукоемкие технологии
присутствует в РИНЦ (eLIBRARY.RU), Список ВАК

Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Там же сотрудники СФУ могут смотреть и редактировать списки своих публикаций. Сообщите, если заметили неточности.