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

Статистика просмотров:
Эта страница:18
Страницы публикаций:15
Полные тексты:12

https://www.mathnet.ru/rus/person207787
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
https://orcid.org/0000-0002-0420-9077

Публикации в базе данных Math-Net.Ru Цитирования
2023
1. 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

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