Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Кознов Дмитрий Владимирович
В базах данных Math-Net.Ru
Публикаций: 10
Научных статей: 10

Статистика просмотров:
Эта страница:272
Страницы публикаций:1468
Полные тексты:362
Списки литературы:122
кандидат физико-математических наук
E-mail:
Сайт: http://www.math.spbu.ru/user/dkoznov

https://www.mathnet.ru/rus/person73236
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt

Публикации в базе данных Math-Net.Ru Цитирования
2023
1. Д. В. Кознов, Е. Ю. Леденева, Д. В. Луцив, П. И. Браславский, “Автоматическое определение сходства Javadoc-комментариев”, Труды ИСП РАН, 35:4 (2023),  177–186  mathnet
2. T. M. Skazhenik, D. V. Koznov, “Debugger for declarative DSL for telecommunication”, Труды ИСП РАН, 35:3 (2023),  205–214  mathnet
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  mathnet
2022
4. А. В. Мисонижник, А. А. Бабушкин, С. А. Морозов, Ю. О. Костюков, Д. А. Мордвинов, Д. В. Кознов, “Автоматическое тестирование LLVM-программ со сложными входными структурами данных”, Труды ИСП РАН, 34:4 (2022),  49–62  mathnet 1
2021
5. С. В. Кузнецов, А. В. Цырюльников, Д. В. Кознов, “Unidata: открытая компонентная платформа для разработки MDM-решений”, Труды ИСП РАН, 33:6 (2021),  149–160  mathnet 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  mathnet  elib
2013
7. Д. В. Кознов, И. А. Новицкий, М. Н. Смирнов, “Инструменты для управления вариативностью — готовность к промышленному применению”, Тр. СПИИРАН, 26 (2013),  297–331  mathnet
2012
8. Д. В. Кознов, А. В. Азарсков, А. В. Самочадин, Ю. А. Шевцова, К. Ю. Романовский, “Модельно-ориентированный метод спецификации государственных услуг”, Вестн. С.-Петербург. ун-та. Сер. 10. Прикл. матем. Информ. Проц. упр., 2012, № 4,  102–116  mathnet
2011
9. Д. В. Кознов, М. Н. Смирнов, В. А. Дорохов, К. Ю. Романовский, “WebMLDoc: подход к автоматизированному отслеживанию изменений в пользовательской документации Web-приложений”, Вестн. С.-Петербург. ун-та. Сер. 10. Прикл. матем. Информ. Проц. упр., 2011, № 3,  112–126  mathnet 1
10. Д. В. Кознов, “О спецификации диаграммных преобразований в графических редакторах”, Вестн. С.-Петербург. ун-та. Сер. 10. Прикл. матем. Информ. Проц. упр., 2011, № 3,  100–111  mathnet

Организации
 
  Обратная связь:
  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024