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

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

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