Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Стефанцов Дмитрий Александрович

В базах данных Math-Net.Ru
Публикаций: 19
Научных статей: 17

Статистика просмотров:
Эта страница:450
Страницы публикаций:5129
Полные тексты:3490
Списки литературы:621
старший преподаватель
E-mail: , ,

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

Публикации в базе данных Math-Net.Ru Цитирования
2018
1. А. А. Песняк, Д. А. Стефанцов, “Интервалы индексов в ЛЯПАСе”, ПДМ, 2018, № 39,  99–106  mathnet  isi  elib
2017
2. В. О. Сафонов, Д. А. Стефанцов, “Комплексы в ЛЯПАСе”, ПДМ, 2017, № 38,  101–109  mathnet  isi
2016
3. Д. А. Стефанцов, В. О. Сафонов, В. В. Першин, С. Ю. Гречнев, П. А. Томских, “Модульный транслятор с языка ЛЯПАС”, ПДМ. Приложение, 2016, № 9,  122–126  mathnet 2
2015
4. Д. А. Стефанцов, П. А. Томских, “Разработка операционной системы на языке ЛЯПАС”, ПДМ. Приложение, 2015, № 8,  134–135  mathnet 3
5. А. О. Жуковская, Д. А. Стефанцов, “Операционная семантика ЛЯПАСа”, ПДМ. Приложение, 2015, № 8,  131–132  mathnet 1
6. С. Ю. Гречнев, Д. А. Стефанцов, “Модификация ЛЯПАСа для разработки ОС”, ПДМ. Приложение, 2015, № 8,  129–131  mathnet 3
2014
7. А. О. Жуковская, Д. А. Стефанцов, “Разработка автоматизированного средства для доказательства свойств программ”, ПДМ. Приложение, 2014, № 7,  148–150  mathnet
2013
8. Н. И. Анисеня, Д. А. Стефанцов, Т. А. Торгаева, “Сервис BlackBox для проведения соревнований по защите компьютерной информации Capture the Flag”, ПДМ. Приложение, 2013, № 6,  52–56  mathnet 1
2012
9. Д. А. Стефанцов, “Язык программирования AspectTalk”, ПДМ, 2012, № 1(15),  91–110  mathnet
2011
10. Д. А. Стефанцов, Н. О. Ткаченко, Д. В. Чернов, Р. В. Шмакова, “Разработка и реализация библиотеки ORM на языке C++”, ПДМ, 2011, № приложение к № 4,  62–65  mathnet
11. Д. А. Стефанцов, А. Е. Крюкова, “Денотационное описание языка AspectTalk”, ПДМ, 2011, № приложение к № 4,  61–62  mathnet
12. Д. А. Стефанцов, “Внедрение политик безопасности в программные системы обработки информации”, ПДМ, 2011, № 3(13),  55–64  mathnet 1
2010
13. Д. А. Стефанцов, А. Е. Крюкова, “Формальное доказательство семантической эквивалентности ядра языка АОП AspectTalk и языка ООП Smalltalk”, ПДМ, 2010, № приложение к № 3,  84–85  mathnet 1
14. Д. А. Стефанцов, А. Е. Филимонов, “Внедрение политик безопасности в компьютерные системы методом АОП на примере FTP-сервера Apache”, ПДМ, 2010, № 1(7),  43–62  mathnet
2009
15. Д. А. Стефанцов, “К определению степени интегрированности программных подсистем”, ПДМ, 2009, № приложение к № 1,  79–81  mathnet
16. Д. А. Стефанцов, “Технология и инструментальная среда создания защищённых систем обработки информации”, ПДМ, 2009, № приложение к № 1,  55–56  mathnet 4
2008
17. Д. А. Стефанцов, “Реализация политик безопасности в компьютерных системах с помощью аспектно-ориентированного программирования”, ПДМ, 2008, № 1(1),  94–100  mathnet 7

2013
18. Г. Ю. Зайцев, А. И. Потапкин, Д. А. Стефанцов, “Модификация скомпилированных приложений для платформы Android методом аспектно-ориентированного программирования”, ПДМ. Приложение, 2013, № 6,  60–62  mathnet
2009
19. Д. А. Стефанцов, “Инструкции и рекомендации по подготовке статей в формате LATEX для журнала “Прикладная дискретная математика””, ПДМ, 2009, № 4(6),  110–120  mathnet

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