Лаздин Артур Вячеславович

Учебник, учебное пособие

Монтаж и эксплуатация компьютерных сетей

Статья

Лаздин А.В., Табунщик А.А. Многопоточный подход для моделирования недетерминированных дискретно-событийных систем. Научно-технический вестник Поволжья. 2022. № 4. С. 188-192.

Статья

Колычев П.М., Лаздин А.В., Паскаленко Т.В., Фирова Э.М. Алгоритм оценки объекта по смыслу его текстовых данных. Научная сессия ГУАП: гуманитарные науки: сборник докладов научной сессии, посвященной Всемирному дню авиации и космонавтики (Санкт-Петербург, 14–22 апреля 2021 года). 2021. С. 78-81.

Статья

Goncharova M., Uteshev A., Lazdin A. Evaluating Distance Approximation for Implicit Curve Fitting. Proceedings of the 26th Conference of Open Innovations Association FRUCT. 2020. pp. 102-107.

Учебник, учебное пособие

Формальные языки, грамматики, автоматы

Тезисы

Трансляция многопоточных программ на языке Go в CSPM

Статья

Korenkov I., Loginov I., Dergachev A., Lazdin A. Declarative target architecture definition for data-driven development toolchain. 18th International Multidisciplinary Scientific GeoConference Surveying Geology and Mining Ecology Management, SGEM-2018. 2018. Vol. 18. No. 2.1. pp. 271-278.

Статья

Панов Г.В., Лаздин А.В. Разработка интеграции Continuous Integration системы в редактор кода. Сборник тезисов докладов конгресса молодых ученых (VII Всероссийский конгресс молодых ученых, 17-20 апреля 2018 г.). Электронное издание. 2018.

Тезисы

CSP модель языка программирования Go

Статья

Буйчик А.В., Панов Г.В., Лаздин А.В. Исследование возможностей автоматизации бизнес-процессов программы обучения компании Netcracker и Университета ИТМО. Сборник тезисов докладов конгресса молодых ученых (VI Всероссийский конгресс молодых ученых, 18-21 апреля 2017 г.). Электронное издание. 2017.

Статья

Khalansky D., Lazdin A., Mouromtsev D. Creation of a Static Analysis Algorithm Using Ad Hoc Programming Languages. Proceedings of the 19th Conference of Open Innovations Association FRUCT. 2016. pp. 72-79.

Статья

Korenkov Y., Loginov I., Lazdin A. PEG-based language workbench. Proceedings of the 17th Conference of Open Innovations Association FRUCT. 2015. pp. 75-81.

Статья

Gedich A., Lazdin A. Improved algorithm for identification of switch tables in executable code. Proceedings of the 17th Conference of Open Innovations Association FRUCT. 2015. pp. 44-49.

Статья

Гедич А.А., Зыков А.Г., Лаздин А.В., Поляков В.И. Поиск процедур по графу переходов функциональной программы при верификации вычислительных процессов. Известия высших учебных заведений. Приборостроение. 2014. Т. 57. № 4. С. 64-68.

Статья

Гедич А.А., Зыков А.Г., Лаздин А.В. Автоматический поиск локальных переменных и аргументов процедуры в исполняемом коде программы при верификации вычислительных процессов. Научно-технический вестник информационных технологий, механики и оптики [Scientific and Technical Journal of Information Technologies, Mechanics and Optics]. 2013. № 5(87). С. 117-123.

Автореферат

Методы построения графо-аналитических моделей функциональных программ

Статья

Зыков А.Г., Поляков В.И., Немолочнов О.Ф., Лаздин А.В. Верификация в исследовательских, учебных и промышленных системах. Научно-технический вестник СПбГУ ИТМО. 2003. № Выпуск 11. Актуальные проблемы анализа и синтеза сложных технических систем.

Статья

Немолочнов О.Ф., Лаздин А.В. Оценка сложности графа функциональной программы. Научно-Технический Вестник Информационных технологий, механики и оптики. 2002. № 2.

Статья

Немолочнов О.Ф., Лаздин А.В. Метод построения графа функциональной программы для решения задач верификации и тестирования. Научно-Технический Вестник Информационных технологий, механики и оптики. 2002. № 2.

Учебник, учебное пособие

Программирование в Microsoft Windows