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

Публикации в базе данных Math-Net.Ru

1. Автоматическое определение сходства Javadoc-комментариев
   
   Труды ИСП РАН, 35:4 (2023),  177–186
2. Debugger for declarative DSL for telecommunication
   
   Труды ИСП РАН, 35:3 (2023),  205–214
3. “Symcrete” memory model with lazy initialization and objects of symbolic sizes in KLEE
   
   Труды ИСП РАН, 35:3 (2023),  91–108
4. Автоматическое тестирование LLVM-программ со сложными входными структурами данных
   
   Труды ИСП РАН, 34:4 (2022),  49–62
5. Unidata: открытая компонентная платформа для разработки MDM-решений
   
   Труды ИСП РАН, 33:6 (2021),  149–160
6. Discovering near duplicate text in software documentation
   
   Труды ИСП РАН, 29:4 (2017),  303–314
7. Инструменты для управления вариативностью — готовность к промышленному применению
   
   Тр. СПИИРАН, 26 (2013),  297–331
8. Модельно-ориентированный метод спецификации государственных услуг
   
   Вестн. С.-Петербург. ун-та. Сер. 10. Прикл. матем. Информ. Проц. упр., 2012, № 4,  102–116
9. WebMLDoc: подход к автоматизированному отслеживанию изменений в пользовательской документации Web-приложений
   
   Вестн. С.-Петербург. ун-та. Сер. 10. Прикл. матем. Информ. Проц. упр., 2011, № 3,  112–126
10. О спецификации диаграммных преобразований в графических редакторах
    
    Вестн. С.-Петербург. ун-та. Сер. 10. Прикл. матем. Информ. Проц. упр., 2011, № 3,  100–111