Стефанцов Дмитрий Александрович

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

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


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