Кознов Дмитрий Владимирович

Место работы: Санкт-Петербургский государственный университет, Санкт-Петербург, 199034, Российская Федерация
Должность: доцент
Ученая степень: доктор наук, профессор
E-mail: dkoznov@yandex.ru
Scopus ID: 8885649400
ORCID: 0000-0003-2632-3193
Кудрявцев Д. В., Кознов Д. В., Григорьев Л. Ю. СРЕДСТВА ТИПИЗАЦИИ И ПРАГМАТИКА ЯЗЫКА МОДЕЛИРОВАНИЯ ОРГ-МАСТЕР
Статья опубликована в выпуске №6, том 13, 2013
Луцив Д. В., Кознов Д. В., Басит Х. А., Ли О. Е., Смирнов М. Н., Романовский К. Ю. МЕТОД ПОИСКА ПОВТОРЯЮЩИХСЯ ФРАГМЕНТОВ ТЕКСТА В ТЕХНИЧЕСКОЙ ДОКУМЕНТАЦИИ
Статья опубликована в выпуске №4, том 14, 2014
Моисеенко Е. А., Гладштейн В. П., Подкопаев А. В., Кознов Д. В.
Формализация языков частично упорядоченных мультимножеств в системе Coq для спецификации слабых моделей памяти

Статья опубликована в выпуске №3, том 22, 2022
Мисонижник А. В., Костюков Ю. О., Костицын М. П., Мордвинов Д. А., Кознов Д. В.
Генерация слабейших предусловий программ с динамической памятью в символьном исполнении

Статья опубликована в выпуске №5, том 22, 2022
Информация 2001-2024 ©
Научно-технический вестник информационных технологий, механики и оптики.
Все права защищены.

Яндекс.Метрика