Ушакова Мария Сергеевна

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

1. Динамически изменяющийся параллелизм с асинхронно-последовательными потоками данных
   
   Модел. и анализ информ. систем, 27:2 (2020),  164–179
2. Верификация программ со взаимной рекурсией на языке Пифагор
   
   Модел. и анализ информ. систем, 25:4 (2018),  358–381
3. Инструментальная поддержка создания и трансформации функционально-потоковых параллельных программ
   
   Труды ИСП РАН, 29:5 (2017),  165–184
4. Automation of formal verification of programs in the Pifagor language
   
   Модел. и анализ информ. систем, 22:4 (2015),  578–589
5. Инструментальная поддержка формальной верификации программ, написанных на языке функционально-потокового параллельного программирования
   
   Вестн. ЮУрГУ. Сер. Выч. матем. информ., 4:2 (2015),  58–70