Козачок Александр Васильевич

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

1. Платформа для сбора дерматоскопических изображений новообразований пациентов
   
   Труды ИСП РАН, 36:3 (2024),  259–272
2. Обзор методов раннего обнаружения меланомы c использованием методов компьютерного зрения
   
   Труды ИСП РАН, 34:4 (2022),  241–250
3. Экспериментальная оценка алгоритма маркирования текстовых документов на основе изменения интервалов между словами
   
   Труды ИСП РАН, 34:4 (2022),  153–172
4. Система маркирования документов для проведения расследований при их утечке
   
   Труды ИСП РАН, 33:6 (2021),  161–174
5. Алгоритм маркирования текстовых документов на основе изменения интервалов между словами, обеспечивающий устойчивость к преобразованию формата
   
   Труды ИСП РАН, 33:4 (2021),  131–146
6. TLA+ based access control model specification
   
   Труды ИСП РАН, 30:5 (2018),  147–162
7. Подход к извлечению робастного водяного знака из изображений, содержащих текст
   
   Тр. СПИИРАН, 60 (2018),  128–155
8. Анализ текущего состояния научных исследований в области робастного хэширования изображений
   
   Компьютерная оптика, 41:5 (2017),  743–755
9. Подход к реализации системы верифицированного исполнения программного кода
   
   Труды ИСП РАН, 29:6 (2017),  7–24
10. Логика первого порядка для задания требований к безопасному программному коду
    
    Труды ИСП РАН, 29:5 (2017),  135–148
11. Комплекс алгоритмов функционирования системы безопасного исполнения программного кода
    
    Труды ИСП РАН, 29:3 (2017),  17–30
12. Формальная модель функционирования процесса в операционной системе
    
    Тр. СПИИРАН, 51 (2017),  78–96
13. Аналитическая модель защиты файлов документальных форматов от несанкционированного доступа
    
    Тр. СПИИРАН, 43 (2015),  228–252