Публикации: Якимов И. А. | Научно-инновационный портал СФУ

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

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

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

Вы можете отметить интересные фрагменты текста, которые будут доступны по уникальной ссылке в адресной строке браузера.