1. МЕТОДЫ И ИНСТРУМЕНТАЛЬНЫЕ СРЕДСТВА ФОРМАЛЬНОЙ ВЕРИФИКАЦИИ ФУНКЦИОНАЛЬНО-ПОТОКОВЫХ ПАРАЛЛЕЛЬНЫХ ПРОГРАММ : специальность "" [диссертация]
   Ушакова Мария Сергеевна
   2022
   присутствует в РИНЦ (eLIBRARY.RU)
2. Dynamically Changing Parallelism with Asynchronous Sequential Data Flows : научное издание [статья из журнала]
   Legalov A. I., Matkovskii I. V., Ushakova M. S., Romanova D. S.
   2021, AUTOMATIC CONTROL AND COMPUTER SCIENCES
   присутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
3. Инструментальное средство для формальной верификации функционально-потоковых параллельных программ на языке Пифагор на основе исчисления Хоара : регистрация программы для ЭВМ [патент]
   Ушакова Мария Сергеевна
   2021
   присутствует в РИНЦ (eLIBRARY.RU)
4. Динамически изменяющийся параллелизм с асинхронно-последовательными потоками данных : научное издание [статья из журнала]
   Легалов Александр Иванович, Матковский Иван Васильевич, Ушакова Мария Сергеевна, Романова Дарья Сергеевна
   2020, Моделирование и анализ информационных систем
   присутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
5. Verification of Programs with Mutual Recursion in Pifagor Language : научное издание [статья из журнала]
   Ushakova M. S., Legalov A. I.
   2018, AUTOMATIC CONTROL AND COMPUTER SCIENCES
   присутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU)
6. Особенности разработки и преобразования функционально-потоковых параллельных программ : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]
   Легалов А. И., Ушакова М. С.
   2018
   присутствует в РИНЦ (eLIBRARY.RU)
7. A toolkit for the development of data-driven functional parallel programmes [доклад, тезисы доклада, статья из сборника материалов конференций]
   Legalov A. I., Vasilyev V. S., Matkovskii I. V., Ushakova M. S.
   2018, Communications in Computer and Information Science
   присутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
8. Верификация программ со взаимной рекурсией на языке Пифагор : научное издание [статья из журнала]
   Ушакова Мария Сергеевна, Легалов Александр Иванович
   2018, Моделирование и анализ информационных систем
   присутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
9. Инструментальная поддержка создания и трансформации функционально-потоковых параллельных программ : научное издание [статья из журнала]
   Легалов А. И., Васильев В. С., Матковский И. В., Ушакова М. С.
   2017, Труды Института системного программирования РАН
   присутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
10. Верификация и доказательство завершения функционально-потоковых параллельных программ : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]
    Удалова Ю. В., Ушакова М. С.
    2017, Языки программирования и компиляторы - 2017
    присутствует в РИНЦ (eLIBRARY.RU)
11. Семантика типов данных функционально-потокового языка параллельного программирования Пифагор [статья из журнала]
    Ушакова Мария Сергеевна
    2016, Образовательные ресурсы и технологии
    присутствует в РИНЦ (eLIBRARY.RU)
12. ИНСТРУМЕНТАЛЬНАЯ ПОДДЕРЖКА ФОРМАЛЬНОЙ ВЕРИФИКАЦИИ ПРОГРАММ, НАПИСАННЫХ НА ЯЗЫКЕ ФУНКЦИОНАЛЬНО-ПОТОКОВОГО ПАРАЛЛЕЛЬНОГО ПРОГРАММИРОВАНИЯ [статья из журнала]
    Ушакова Мария Сергеевна, Легалов Александр Иванович
    2015, Вестник Южно-Уральского государственного университета. Серия: Вычислительная математика и информатика
    присутствует в РИНЦ (eLIBRARY.RU), Список ВАК

Список публикаций автора сформирован в автоматическом режиме. Сообщите, если заметили неточности. Если это ваши публикации, то вы можете войти на сайт под своей учётной записью с помощью формы вверху страницу и отредактировать список публикаций самостоятельно.

Справка для редакторов сайтов и программистов об экспорте списка публикаций на сторонние сайты.