|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2023 |
1. |
А. И. Легалов, П. В. Косов, “Расширение языка C для поддержки процедурно-параметрического полиморфизма”, Модел. и анализ информ. систем, 30:1 (2023), 40–62 |
|
2022 |
2. |
А. И. Легалов, Е. Г. Бугаенко, Н. К. Чуйкин, М. В. Шипицин, Я. И. Рябцев, А. Н. Каменский, “Трансформация модели памяти языка программирования C в объектно-ориентированное представление на языке EO”, Модел. и анализ информ. систем, 29:3 (2022), 246–264 |
1
|
3. |
И. Н. Рыженко, О. В. Непомнящий, А. И. Легалов, В. В. Шайдуров, “Методы преобразования параллелизма в процессе высокоуровневого синтеза СБИС”, Модел. и анализ информ. систем, 29:1 (2022), 60–72 |
4. |
Д. С. Романова, О. В. Непомнящий, И. Н. Рыженко, А. И. Легалов, Н. Ю. Сиротинина, “Метод редукции параллелизма в процессе высокоуровнего синтеза цифровых интегральных схем”, Труды ИСП РАН, 34:1 (2022), 69–72 |
|
2021 |
5. |
В. С. Васильев, А. И. Легалов, С. В. Зыков, “Трансформация функционально-потоковых параллельных программ в императивные”, Модел. и анализ информ. систем, 28:2 (2021), 198–214 |
1
|
|
2020 |
6. |
А. И. Легалов, И. В. Матковский, М. С. Ушакова, Д. С. Романова, “Динамически изменяющийся параллелизм с асинхронно-последовательными потоками данных”, Модел. и анализ информ. систем, 27:2 (2020), 164–179 |
1
|
|
2018 |
7. |
М. С. Ушакова, А. И. Легалов, “Верификация программ со взаимной рекурсией на языке Пифагор”, Модел. и анализ информ. систем, 25:4 (2018), 358–381 |
8. |
В. С. Васильев, А. И. Легалов, “Оптимизация инварианта цикла в языке Пифагор”, Модел. и анализ информ. систем, 25:4 (2018), 347–357 |
|
2017 |
9. |
А. И. Легалов, В. С. Васильев, И. В. Матковский, М. С. Ушакова, “Инструментальная поддержка создания и трансформации функционально-потоковых параллельных программ”, Труды ИСП РАН, 29:5 (2017), 165–184 |
1
|
|
2015 |
10. |
M. S. Ushakova, A. I. Legalov, “Automation of formal verification of programs in the Pifagor language”, Модел. и анализ информ. систем, 22:4 (2015), 578–589 |
3
|
11. |
М. С. Ушакова, А. И. Легалов, “Инструментальная поддержка формальной верификации программ, написанных на языке функционально-потокового параллельного программирования”, Вестн. ЮУрГУ. Сер. Выч. матем. информ., 4:2 (2015), 58–70 |
|
2014 |
12. |
А. И. Легалов, М. А. Фарков, “Применение методов оптимизации для выполнения молекулярного докинга на графических процессорах”, Модел. и анализ информ. систем, 21:5 (2014), 93–101 |
2
|
13. |
Д. А. Недорезов, А. И. Легалов, О. В. Непомнящий, С. С. Красненко, А. В. Анкудинов, “Методология мутационного тестирования для наземных испытаний бортовой аппаратуры космических аппаратов”, Системы и средства информ., 24:1 (2014), 73–79 |
|
2012 |
14. |
М. С. Кропачева, А. И. Легалов, “Формальная верификация программ, написанных на функционально-потоковом языке параллельного программирования”, Модел. и анализ информ. систем, 19:5 (2012), 81–99 |
1
|
15. |
А. И. Легалов, О. В. Непомнящий, И. В. Матковский, М. С. Кропачева, “Преобразование хвостовых рекурсий в функционально-потоковых параллельных программах”, Модел. и анализ информ. систем, 19:4 (2012), 48–58 |
|