Статья СРЕДСТВА ТИПИЗАЦИИ И ПРАГМАТИКА ЯЗЫКА МОДЕЛИРОВАНИЯ ОРГ-МАСТЕР Кудрявцев Д. В., Кознов Д. В., Григорьев Л. Ю.
Статья МЕТОД ПОИСКА ПОВТОРЯЮЩИХСЯ ФРАГМЕНТОВ ТЕКСТА В ТЕХНИЧЕСКОЙ ДОКУМЕНТАЦИИ Луцив Д. В., Кознов Д. В., Басит Х. А., Ли О. Е., Смирнов М. Н., Романовский К. Ю.
Статья Формализация языков частично упорядоченных мультимножеств в системе Coq для спецификации слабых моделей памяти Моисеенко Е. А., Гладштейн В. П., Подкопаев А. В., Кознов Д. В.
Статья Генерация слабейших предусловий программ с динамической памятью в символьном исполнении Мисонижник А. В., Костюков Ю. О., Костицын М. П., Мордвинов Д. А., Кознов Д. В.