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