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

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

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

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