Косачев Александр Сергеевич

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

1. Исследование вопросов учёта нагрузок в программно-конфигурируемых сетях
   
   Труды ИСП РАН, 36:1 (2024),  23–34
2. О синтезе безусловных установочных и синхронизирующих экспериментов для наблюдаемых входо-выходных полуавтоматов
   
   Автомат. и телемех., 2023, № 6,  67–78
3. Реализация распределённых и параллельных вычислений в сети SDN
   
   Труды ИСП РАН, 34:3 (2022),  159–172
4. Безопасная реализация виртуальной сети на плоскости данных SDN
   
   Труды ИСП РАН, 33:1 (2021),  123–136
5. Совершенные множества путей в полном графе коммутаторов SDN-сети
   
   Труды ИСП РАН, 32:4 (2020),  245–260
6. Тестирование правил настройки сетевого коммутатора программно конфигурируемой сети
   
   Труды ИСП РАН, 30:6 (2018),  69–88
7. Проблема отката в ориентированной распределенной системе
   
   Труды ИСП РАН, 30:2 (2018),  167–194
8. Asynchronous distributed algorithms for static and dynamic directed rooted graphs
   
   Труды ИСП РАН, 30:1 (2018),  69–88
9. К синтезу синхронизирующих и установочных последовательностей для входо-выходных полуавтоматов
   
   Модел. и анализ информ. систем, 24:6 (2017),  730–742
10. Распределённые алгоритмы на корневых неориентированных графах
    
    Труды ИСП РАН, 29:5 (2017),  283–310
11. Общий подход к решению задач на графах коллективом автоматов
    
    Труды ИСП РАН, 29:2 (2017),  27–76
12. Размер памяти для хранения упорядоченного корневого графа
    
    Труды ИСП РАН, 29:2 (2017),  7–26
13. Система автоматов: условия детерминизма и тестирование
    
    Труды ИСП РАН, 28:1 (2016),  151–184
14. Система автоматов: композиция по графу связей
    
    Труды ИСП РАН, 28:1 (2016),  131–150
15. Тестирование системы автоматов с буферизацией сообщений
    
    Труды ИСП РАН, 28:1 (2016),  103–130
16. Параллельные вычисления на динамически меняющемся графе
    
    Труды ИСП РАН, 27:2 (2015),  189–220
17. Мониторинг динамически меняющегося графа
    
    Труды ИСП РАН, 27:1 (2015),  69–96
18. Обход неизвестного графа коллективом автоматов. Недетерминированный случай
    
    Труды ИСП РАН, 27:1 (2015),  51–68
19. Безопасное тестирование симуляции систем с отказами и разрушением
    
    Модел. и анализ информ. систем, 17:4 (2010),  27–40