|
|
|
Публикации в базе данных 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 |
|
Обратная связь: