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

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

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