Публикации: Ушакова Мария Сергеевна

  1. Verification of Programs with Mutual Recursion in Pifagor Language [статья из журнала]
    2018, AUTOMATIC CONTROL AND COMPUTER SCIENCES
    присутствует в Web of Science, Scopus, eLIBRARY.RU
  2. Особенности разработки и преобразования функционально-потоковых параллельных программ [доклад, тезисы доклада, статья из сборника материалов конференций]
    2018
    присутствует в eLIBRARY.RU
  3. A toolkit for the development of data-driven functional parallel programmes [доклад, тезисы доклада, статья из сборника материалов конференций]
    2018, Communications in Computer and Information Science
    присутствует в Scopus, eLIBRARY.RU
  4. Верификация программ со взаимной рекурсией на языке Пифагор [статья из журнала]
    2018, Моделирование и анализ информационных систем
    присутствует в eLIBRARY.RU
  5. Инструментальная поддержка создания и трансформации функционально-потоковых параллельных программ [статья из журнала]
    2017, Труды Института системного программирования РАН
    присутствует в eLIBRARY.RU (5 цит.)
  6. Верификация и доказательство завершения функционально-потоковых параллельных программ [доклад, тезисы доклада, статья из сборника материалов конференций]
    2017, Языки программирования и компиляторы - 2017
    присутствует в eLIBRARY.RU
  7. Семантика типов данных функционально-потокового языка параллельного программирования Пифагор [статья из журнала]
    2016, Образовательные ресурсы и технологии
    присутствует в eLIBRARY.RU
  8. ИНСТРУМЕНТАЛЬНАЯ ПОДДЕРЖКА ФОРМАЛЬНОЙ ВЕРИФИКАЦИИ ПРОГРАММ, НАПИСАННЫХ НА ЯЗЫКЕ ФУНКЦИОНАЛЬНО-ПОТОКОВОГО ПАРАЛЛЕЛЬНОГО ПРОГРАММИРОВАНИЯ [статья из журнала]
    2015, Вестник Южно-Уральского государственного университета. Серия: Вычислительная математика и информатика
    присутствует в eLIBRARY.RU

Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Там же сотрудники СФУ могут смотреть и редактировать списки своих публикаций. Сообщите, если заметили неточности.

Вы можете отметить интересные фрагменты текста, которые будут доступны по уникальной ссылке в адресной строке браузера.