RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ
 
Легалов Александр Иванович

В базах данных Math-Net.Ru
Публикаций: 9
Научных статей: 9

Статистика просмотров:
Эта страница:68
Страницы публикаций:743
Полные тексты:266
Списки литературы:109
профессор
доктор технических наук
E-mail:

http://www.mathnet.ru/rus/person79129
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
http://orcid.org/0000-0002-5487-0699

Публикации в базе данных Math-Net.Ru
2018
1. М. С. Ушакова, А. И. Легалов, “Верификация программ со взаимной рекурсией на языке Пифагор”, Модел. и анализ информ. систем, 25:4 (2018),  358–381  mathnet  elib
2. В. С. Васильев, А. И. Легалов, “Оптимизация инварианта цикла в языке Пифагор”, Модел. и анализ информ. систем, 25:4 (2018),  347–357  mathnet  elib
2017
3. А. И. Легалов, В. С. Васильев, И. В. Матковский, М. С. Ушакова, “Инструментальная поддержка создания и трансформации функционально-потоковых параллельных программ”, Труды ИСП РАН, 29:5 (2017),  165–184  mathnet  elib
2015
4. M. S. Ushakova, A. I. Legalov, “Automation of formal verification of programs in the Pifagor language”, Модел. и анализ информ. систем, 22:4 (2015),  578–589  mathnet  mathscinet  elib
5. М. С. Ушакова, А. И. Легалов, “Инструментальная поддержка формальной верификации программ, написанных на языке функционально-потокового параллельного программирования”, Вестн. ЮУрГУ. Сер. Выч. матем. информ., 4:2 (2015),  58–70  mathnet  elib
2014
6. А. И. Легалов, М. А. Фарков, “Применение методов оптимизации для выполнения молекулярного докинга на графических процессорах”, Модел. и анализ информ. систем, 21:5 (2014),  93–101  mathnet
7. Д. А. Недорезов, А. И. Легалов, О. В. Непомнящий, С. С. Красненко, А. В. Анкудинов, “Методология мутационного тестирования для наземных испытаний бортовой аппаратуры космических аппаратов”, Системы и средства информ., 24:1 (2014),  73–79  mathnet  elib
2012
8. М. С. Кропачева, А. И. Легалов, “Формальная верификация программ, написанных на функционально-потоковом языке параллельного программирования”, Модел. и анализ информ. систем, 19:5 (2012),  81–99  mathnet
9. А. И. Легалов, О. В. Непомнящий, И. В. Матковский, М. С. Кропачева, “Преобразование хвостовых рекурсий в функционально-потоковых параллельных программах”, Модел. и анализ информ. систем, 19:4 (2012),  48–58  mathnet

Организации
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019