Публикации: Кузнецов Александр Сергеевич

КОНЦЕПТУАЛЬНОЕ ПРОЕКТИРОВАНИЕ ИНТЕЛЛЕКТУАЛЬНОЙ СИСТЕМЫ ПОДДЕРЖКИ ПРИНЯТИЯ РЕШЕНИЙ ПО ОБНАРУЖЕНИЮ ПОТЕНЦИАЛЬНО ОПАСНЫХ ОБЪЕКТОВ В ВИДЕОПОТОКЕ С ИНТРОСКОПА : научное издание [статья из журнала]
Михалев А. С., Меньшенин А. Н., Кузнецов А. С., Кулаков Е. Д.
2024, Современные наукоемкие технологии
присутствует в РИНЦ (eLIBRARY.RU), Список ВАК
Engineering-Oriented Approach for Effective Industrial and Educational Communications in the Development of New Master's Programs [доклад, тезисы доклада, статья из сборника материалов конференций]
Piskorskaya S. Yu., Kovalev I. V., Voroshilova A. A., Antamoshkin O. A., Kuznetsov A. S.
2022, AIP Conference Proceedings
присутствует в Scopus
Обзор V Международного научного семинара по компьютерному моделированию, информационным и вычислительным технологиям - MIP: Computing-V 2022 : научное издание [статья из журнала]
Ковалев Игорь Владимирович, Кузнецов Александр Сергеевич, Ворошилова Анна Анатольевна
2022, Современные инновации, системы и технологии
присутствует в РИНЦ (eLIBRARY.RU)
Обзор III Международного семинара MIP: Computing-2021: Компьютерное моделирование, информационные и вычислительные технологии : научное издание [статья из журнала]
Ворошилова А. А., Кузнецов А. С.
2021, Современные инновации, системы и технологии
присутствует в РИНЦ (eLIBRARY.RU)
Planning development automation of oil fields [доклад, тезисы доклада, статья из сборника материалов конференций]
Kulakov E. D., Mikhalev A. S., Kuznetsov A. S., Sarenkov A. V., Shutalev A. D., Gorokhov A. P., Fedoreev A. E.
2021, AIP Conference Proceedings
присутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
C++ для разработки веб-серверов : научное издание [статья из журнала]
Гарбарт Артем Игоревич, Кузнецов Александр Сергеевич
2021, Вопросы устойчивого развития общества
присутствует в РИНЦ (eLIBRARY.RU)
Оценка меры различия алгоритмов в многовариантной системе составления производственных планов : научное издание [статья из журнала]
Грузенкин Денис Владимирович, Кузнецов Александр Сергеевич, Селезнев Игорь Валерьевич
2020, Научный вестник Новосибирского государственного технического университета
присутствует в РИНЦ (eLIBRARY.RU)
Software package for the implementation of bioinspired algorithms for the design of fault-tolerant control systems [доклад, тезисы доклада, статья из сборника материалов конференций]
Kovalev I. V., Saramud M. V., Kuznetsov A. S., Kovalev D. I., Kuznetsov A. S., Koltashev A. A.
2020, Journal of Physics: Conference Series
присутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
Bio-inspired information technology for multi-version design of highly reliable software systems [доклад, тезисы доклада, статья из сборника материалов конференций]
Kovalev I. V., Kovalev D. I., Testoyedov N. A., Voroshilova A. A., Kuznetsov A. S., Koltashev A. A.
2020, IOP Conference Series: Materials Science and Engineering
присутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
Analysis of RTOS for hardware and software support of environmental monitoring technologies [доклад, тезисы доклада, статья из сборника материалов конференций]
Kovalev I. V, Kovalev D. I, Kuznetsov A. S.
2020, IOP Conference Series: Earth and Environmental Science
присутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
Assessment of planning methods at job-order manufacturing facilities : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]
Kuznetsov A. S., Noskova E. E.
2020, IOP Conference Series: Materials Science and Engineering
присутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
Combined efficiency margin in the implementation of the DEA method [доклад, тезисы доклада, статья из сборника материалов конференций]
Kovalev I. V., Kuznetsov A. S., Zenutkin N. V., Morozov E. A., Zeitler A. V.
2020, IOP Conference Series: Materials Science and Engineering
присутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
GERT-network optimization model for technologies of hazardous industry management [доклад, тезисы доклада, статья из сборника материалов конференций]
Baranov V. V., Bliznevsky A. S., Kaftasyev D. A., Tynchenko Ya. A., Kuznetsov A. S.
2020, IOP Conference Series: Materials Science and Engineering
присутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
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)
Compiler-compiler of multi syntax programming languages for creating N-version software [доклад, тезисы доклада, статья из сборника материалов конференций]
Kuznetsov A. S., Tsarev R. Y., Yamskikh T. N., Knyazkov A. N., Pupkov A. N., Laleye F. A. A.
2019, Journal of Physics: Conference Series
присутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
Enhanced pushdown automaton for recognizing multi-syntax programming languages [доклад, тезисы доклада, статья из сборника материалов конференций]
Kuznetsov A. S., Tsarev R. Y., Yamskikh T. N., Knyazkov A. N., Zhigalov K. Y., Oguntade Adebanji
2019, Journal of Physics: Conference Series
присутствует в Web of Science Core Collection, 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)
Algorithm source codes generation for ensuring N-version software diversity [доклад, тезисы доклада, статья из сборника материалов конференций]
Gruzenkin D. V., Kuznetsov A. S., Tsarev R. Y., Yamskikh T. N., Knyazkov A. N., Pupkov A. N., Yee Rock L.
2019, Journal of Physics: Conference Series
присутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
On the problem of monitoring a technological process based on multipoint spatial measurement of parameters : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]
Kovalev I. V., Kovalev D. I., Losev V. V., Saramud M. V., Karaseva M. V., Kuznetsov A. S.
2019, IOP Conference Series: Earth and Environmental Science
присутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
On the problem of monitoring a technological process based on multipoint spatial measurement of parameters [доклад, тезисы доклада, статья из сборника материалов конференций]
Kovalev I. V., Losev V. V., Saramud M. V., Kovalev D. I., Karaseva M. V., Kuznetsov A. S.
2019, IOP Conference Series: Earth and Environmental Science
присутствует в 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), Список ВАК
A new approach to multi-version decision-making to improve the reliability of environmental monitoring parameters [статья из журнала]
Saramud M. V., Kovalev I. V., Losev V. V., Kuznetsov A. S., Kovalev D. I., Ognerubov S. S.
2018, IOP Conference Series: Materials Science and Engineering
присутствует в Web of Science Core Collection, Scopus
Поиск недостающих вызовов библиотечных функций с использованием машинного обучения : научное издание [статья из журнала]
Якимов И. А., Кузнецов А. С.
2017, Труды Института системного программирования РАН
присутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
ОПРЕДЕЛЕНИЕ МЕТРИКИ ДИВЕРСИФИЦИРОВАННОСТИ МУЛЬТИВЕРСИОННОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ НА УРОВНЕ АЛГОРИТМОВ : научное издание [статья из журнала]
Грузенкин Д. В., Якимов И. А., Кузнецов А. С., Царев Р. Ю.
2017, Фундаментальные исследования
присутствует в РИНЦ (eLIBRARY.RU), Список ВАК
Оптимизация читаемости тестов порождаемых при символьных вычислениях : научное издание [статья из журнала]
Якимов И. А., Кузнецов А. С.
2016, Труды Института системного программирования РАН
присутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
ПРОБЛЕМА ЦЕНЫ ПРОВЕРКИ ТЕСТОВ ЧЕЛОВЕКОМ В КОНТЕКСТЕ СИМВОЛЬНЫХ ВЫЧИСЛЕНИЙ (ОБЗОР ИНОСТРАННОЙ ЛИТЕРАТУРЫ) : научное издание [статья из журнала]
Якимов И. А., Кузнецов А. С.
2016, Международный журнал прикладных и фундаментальных исследований
присутствует в РИНЦ (eLIBRARY.RU)
Поиск клонов кода, основанный на векторной модели семантики : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]
Бабкина Алина Александровна, Кузнецов А. С., Кукарцев В. В.
2016, Современные научные исследования и разработки 2016
присутствует в РИНЦ (eLIBRARY.RU)
ГИБРИДНЫЙ ПОДХОД К АВТОМАТИЗАЦИИ МОДУЛЬНОГО ТЕСТИРОВАНИЯ ПРОГРАММ НА ЯЗЫКЕ СИ [статья из журнала]
Якимов И. А., Кузнецов А. С.
2016, Современные наукоемкие технологии
присутствует в РИНЦ (eLIBRARY.RU), Список ВАК
МОДЕЛЬ ДВУХФАЗНОЙ ТРАНСЛЯЦИИ КОДА МУЛЬТИВЕРСИЙ ПРОГРАММНЫХ МОДУЛЕЙ [статья из журнала]
Грузенкин Д. В., Царев Р. Ю., Кузнецов А. С.
2015, Фундаментальные исследования
присутствует в РИНЦ (eLIBRARY.RU), Список ВАК
АКТИВНЫЕ МЕТОДЫ ОБУЧЕНИЯ В РАМКАХ ИНИЦИАТИВЫ CDIO ПО НАПРАВЛЕНИЮ «ПРОГРАММНАЯ ИНЖЕНЕРИЯ» [статья из журнала]
Личаргин Д. В., Кузнецов А. С., Царев Р. Ю.
2014, Современные проблемы науки и образования
присутствует в РИНЦ (eLIBRARY.RU), Список ВАК
МОДЕЛЬ ОПИСАНИЯ УЧЕБНОГО ПРОЦЕССА ПРИ РЕАЛИЗАЦИИ ИНИЦИАТИВЫ CDIO [статья из журнала]
Личаргин Д. В., Кузнецов А. С., Царев Р. Ю.
2014, Современные проблемы науки и образования
присутствует в РИНЦ (eLIBRARY.RU), Список ВАК
Многоэтапный анализ архитектурной надежности и синтез отказоустойчивого программного обеспечения сложных систем : монография [монография]
Кузнецов Александр Сергеевич, Ченцов Сергей Васильевич, Царев Роман Юрьевич
2013
присутствует в РИНЦ (eLIBRARY.RU)
Автоматизация разработки трансляторов мультисинтаксических языков программирования мультиверсионных программных систем : автореферат диссертации на соискание ученой степени кандидата технических наук [автореферат диссертации]
Кузнецов Александр Сергеевич
2009
присутствует в РИНЦ (eLIBRARY.RU)
Автоматизация разработки трансляторов мультисинтаксических языков программирования мультиверсионных программных систем : диссертация на соискание ученой степени кандидата технических наук [диссертация]
Кузнецов Александр Сергеевич
2009
присутствует в РИНЦ (eLIBRARY.RU)
Моделирование распознавателей мультисинтаксических языков программирования мультиверсионных систем [статья из журнала]
Кузнецов Александр Сергеевич
2009, Вестник Сибирского государственного аэрокосмического университета им. академика М.Ф. Решетнева
присутствует в РИНЦ (eLIBRARY.RU)
генерация компиляторов мультисинтаксических языков программирования мультиверсионных систем : научное издание [статья из журнала]
Ковалев И. В., Кузнецов А. С.
2008, Программные продукты и системы
присутствует в РИНЦ (eLIBRARY.RU), Список ВАК
Принципы формирования мультиверсионного программного комплекса [статья из журнала]
Капчинский Илья Аркадьевич, Кузнецов Александр Сергеевич, Штенцель Артем Владимирович
2008, Вестник Сибирского государственного аэрокосмического университета им. академика М.Ф. Решетнева
присутствует в РИНЦ (eLIBRARY.RU)
Автоматизация процесса генерации компиляторов мультисинтаксических языков программирования [статья из журнала]
Ковалев Игорь Владимирович, Кузнецов Александр Сергеевич, Веретенников Евгений Александрович
2007, Вестник Сибирского государственного аэрокосмического университета им. академика М.Ф. Решетнева
присутствует в РИНЦ (eLIBRARY.RU)
Операционные системы и системное программное обеспечение : учеб. пособие [учебное пособие]
Ковалев И. В., Кузнецов А. С.
2005
присутствует в РИНЦ (eLIBRARY.RU)

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