|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2023 |
1. |
Д. В. Кознов, Е. Ю. Леденева, Д. В. Луцив, П. И. Браславский, “Автоматическое определение сходства Javadoc-комментариев”, Труды ИСП РАН, 35:4 (2023), 177–186 |
2. |
T. M. Skazhenik, D. V. Koznov, “Debugger for declarative DSL for telecommunication”, Труды ИСП РАН, 35:3 (2023), 205–214 |
3. |
S. A. Morozov, A. V. Misonizhnik, D. A. Mordvinov, D. V. Koznov, D. A. Ivanov, ““Symcrete” memory model with lazy initialization and objects of symbolic sizes in KLEE”, Труды ИСП РАН, 35:3 (2023), 91–108 |
|
2022 |
4. |
А. В. Мисонижник, А. А. Бабушкин, С. А. Морозов, Ю. О. Костюков, Д. А. Мордвинов, Д. В. Кознов, “Автоматическое тестирование LLVM-программ со сложными входными структурами данных”, Труды ИСП РАН, 34:4 (2022), 49–62 |
1
|
|
2021 |
5. |
С. В. Кузнецов, А. В. Цырюльников, Д. В. Кознов, “Unidata: открытая компонентная платформа для разработки MDM-решений”, Труды ИСП РАН, 33:6 (2021), 149–160 |
1
|
|
2017 |
6. |
L. D. Kanteev, Yu. O. Kostyukov, D. V. Luciv, D. V. Koznov, M. N. Smirnov, “Discovering near duplicate text in software documentation”, Труды ИСП РАН, 29:4 (2017), 303–314 |
|
2013 |
7. |
Д. В. Кознов, И. А. Новицкий, М. Н. Смирнов, “Инструменты для управления вариативностью — готовность к промышленному применению”, Тр. СПИИРАН, 26 (2013), 297–331 |
|
2012 |
8. |
Д. В. Кознов, А. В. Азарсков, А. В. Самочадин, Ю. А. Шевцова, К. Ю. Романовский, “Модельно-ориентированный метод спецификации государственных услуг”, Вестн. С.-Петербург. ун-та. Сер. 10. Прикл. матем. Информ. Проц. упр., 2012, № 4, 102–116 |
|
2011 |
9. |
Д. В. Кознов, М. Н. Смирнов, В. А. Дорохов, К. Ю. Романовский, “WebMLDoc: подход к автоматизированному отслеживанию изменений в пользовательской документации Web-приложений”, Вестн. С.-Петербург. ун-та. Сер. 10. Прикл. матем. Информ. Проц. упр., 2011, № 3, 112–126 |
1
|
10. |
Д. В. Кознов, “О спецификации диаграммных преобразований в графических редакторах”, Вестн. С.-Петербург. ун-та. Сер. 10. Прикл. матем. Информ. Проц. упр., 2011, № 3, 100–111 |
|