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

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

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