Публикации: Легалов Александр Иванович

  1. Specifics of semantics of a statically typed language of functional and dataflow parallel programming [доклад, тезисы доклада, статья из сборника материалов конференций]
    2020, CEUR Workshop Proceedings
    присутствует в Scopus
  2. Особенности семантики статически типизированного языка функционально-потокового параллельного программирования : научное издание [статья из журнала]
    2019, Научный сервис в сети Интернет
    присутствует в РИНЦ (eLIBRARY.RU)
  3. Improve method for processing dental images with fast spatial filter and shearlet transform [доклад, тезисы доклада, статья из сборника материалов конференций]
    Cadena L., Cadena F., Legalov A.
    2019, Lecture Notes in Engineering and Computer Science
    присутствует в Scopus (1 цит.), РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
  4. МЕТОД АРХИТЕКТУРНО-НЕЗАВИСИМОГО ВЫСОКОУРОВНЕВОГО СИНТЕЗА СБИС [статья из журнала]
    2018, Известия ЮФУ. Технические науки
    присутствует в РИНЦ (eLIBRARY.RU), Список ВАК
  5. Verification of Programs with Mutual Recursion in Pifagor Language : научное издание [статья из журнала]
    2018, AUTOMATIC CONTROL AND COMPUTER SCIENCES
    присутствует в Web of Science Core Collection, Scopus (1 цит.), РИНЦ (eLIBRARY.RU)
  6. Loop-invariant Optimization in the Pifagor Language : научное издание [статья из журнала]
    2018, AUTOMATIC CONTROL AND COMPUTER SCIENCES
    присутствует в Web of Science Core Collection, Scopus (1 цит.), РИНЦ (eLIBRARY.RU)
  7. Инструментальные средства конструирования среды многокритериального анализа, ориентированной на требуемую предметную область : научное издание [статья из журнала]
    2018, Успехи современной радиоэлектроники
    присутствует в РИНЦ (eLIBRARY.RU), Список ВАК
  8. Особенности разработки и преобразования функционально-потоковых параллельных программ : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]
    Легалов А. И., Ушакова М. С., Суперкомпьютерный консорциум университетов России, Российская академия наук
    2018
    присутствует в РИНЦ (eLIBRARY.RU) (2 цит.)
  9. Improve method using spatial fast filters and GPU to detection of parcels of land in satellite images for cadaster purposes [доклад, тезисы доклада, статья из сборника материалов конференций]
    Cadena L., Cadena F., Legalov A., Zotin A.
    2018, Lecture Notes in Engineering and Computer Science
    присутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
  10. Инструментальная поддержка эволюционного расширения программ при инкрементальной разработке : научное издание [статья из журнала]
    2018, Научный сервис в сети Интернет
    присутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
  11. МЕТОДЫ, АЛГОРИТМЫ И ПРОГРАММНЫЕ ИНСТРУМЕНТЫ АРХИТЕКТУРНО НЕЗАВИСИМОГО ВЫСОКОУРОВНЕВОГО СИНТЕЗА ОДНОКРИСТАЛЬНЫХ ЦИФРОВЫХ СИСТЕМ : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]
    2018, Суперкомпьютерные технологии (СКТ-2018)
    присутствует в РИНЦ (eLIBRARY.RU)
  12. A toolkit for the development of data-driven functional parallel programmes [доклад, тезисы доклада, статья из сборника материалов конференций]
    2018, Communications in Computer and Information Science
    присутствует в Scopus (1 цит.), РИНЦ (eLIBRARY.RU) (2 цит.), Ядро РИНЦ (eLIBRARY.RU)
  13. Верификация программ со взаимной рекурсией на языке Пифагор : научное издание [статья из журнала]
    2018, Моделирование и анализ информационных систем
    присутствует в РИНЦ (eLIBRARY.RU) (2 цит.), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
  14. Оптимизация инварианта цикла в языке Пифагор : научное издание [статья из журнала]
    2018, Моделирование и анализ информационных систем
    присутствует в РИНЦ (eLIBRARY.RU) (2 цит.), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
  15. Associative Synthesis of Finite State Automata Model of a Controlled Object with Hyperdimensional Computing : материалы временных коллективов [доклад, тезисы доклада, статья из сборника материалов конференций]
    Osipov Evgeny, Kleyko Denis, Legalov Alexander
    2017, IECON 2017 - 43RD ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY
    присутствует в Web of Science Core Collection (2 цит.), Scopus (3 цит.), РИНЦ (eLIBRARY.RU) (1 цит.), Ядро РИНЦ (eLIBRARY.RU)
  16. Noise reduction techniques for processing of medical images : материалы временных коллективов [доклад, тезисы доклада, статья из сборника материалов конференций]
    Cadena L., Zotin A., Cadena F., Korneeva A., Legalov A., Morales B.
    2017, Lecture Notes in Engineering and Computer Science
    присутствует в Scopus (7 цит.), РИНЦ (eLIBRARY.RU) (4 цит.), Ядро РИНЦ (eLIBRARY.RU)
  17. Инструментальная поддержка создания и трансформации функционально-потоковых параллельных программ : научное издание [статья из журнала]
    2017, Труды Института системного программирования РАН
    присутствует в РИНЦ (eLIBRARY.RU) (6 цит.), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
  18. Изменение стратегий управления вычислениями при архитектурно-независимом параллельном программировании : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]
    2017, Научный сервис в сети Интернет
    присутствует в РИНЦ (eLIBRARY.RU) (1 цит.)
  19. Brain's tumor image processing using shearlet transform : материалы временных коллективов [доклад, тезисы доклада, статья из сборника материалов конференций]
    Cadena L., Espinosa N., Cadena F., Korneeva A., Kruglyakov A., Legalov A., Romanenko A., Zotin A.
    2017, Proceedings of SPIE - The International Society for Optical Engineering
    присутствует в Web of Science Core Collection, Scopus (2 цит.), РИНЦ (eLIBRARY.RU) (2 цит.), Ядро РИНЦ (eLIBRARY.RU)
  20. Эволюционная разработка программ с применением процедурно-параметрической парадигмы : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]
    Легалов А. И., Редактор: Д. В. Дубров
    2017, Языки программирования и компиляторы - 2017
    присутствует в РИНЦ (eLIBRARY.RU)
  21. Языковая поддержка архитектурно-независимого параллельного программирования : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]
    Легалов А. И., Редактор: Д. В. Дубров
    2017, Языки программирования и компиляторы - 2017
    присутствует в РИНЦ (eLIBRARY.RU) (1 цит.)
  22. Methods and Algorithms for a High-Level Synthesis of the Very-Large-Scale Integration : научное издание [статья из журнала]
    2016, WSEAS Transactions on Computers
    присутствует в РИНЦ (eLIBRARY.RU)
  23. Модель планирования на предприятии радиоэлектронной промышленности : научное издание [статья из журнала]
    2016, Электронные средства и системы управления
    присутствует в РИНЦ (eLIBRARY.RU)
  24. Эволюционное расширение программ с использованием процедурно-параметрического подхода [статья из журнала]
    Легалов Александр Иванович, Косов Павел Владимирович
    2016, Вычислительные технологии
    присутствует в РИНЦ (eLIBRARY.RU) (2 цит.), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
  25. Application of numerical optimization methods to molecular docking on graphics processing units [статья из журнала]
    Farkov M. A., Legalov A. I.
    2016, Australian Journal of Political Science
    присутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
  26. ИНСТРУМЕНТАЛЬНАЯ ПОДДЕРЖКА ФОРМАЛЬНОЙ ВЕРИФИКАЦИИ ПРОГРАММ, НАПИСАННЫХ НА ЯЗЫКЕ ФУНКЦИОНАЛЬНО-ПОТОКОВОГО ПАРАЛЛЕЛЬНОГО ПРОГРАММИРОВАНИЯ [статья из журнала]
    2015, Вестник Южно-Уральского государственного университета. Серия: Вычислительная математика и информатика
    присутствует в РИНЦ (eLIBRARY.RU), Список ВАК
  27. ИСПОЛЬЗОВАНИЕ ПРОЦЕДУР С ОДИНАКОВОЙ СИГНАТУРОЙ ДЛЯ ЭВОЛЮЦИОННОГО РАСШИРЕНИЯ ПРОГРАММ [статья из журнала]
    2015, Доклады Академии наук высшей школы Российской Федерации
    присутствует в РИНЦ (eLIBRARY.RU) (1 цит.), Список ВАК
  28. Разработка языка управления космическими аппаратами [статья из журнала]
    2015, Информационно-управляющие системы
    присутствует в РИНЦ (eLIBRARY.RU) (1 цит.), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
  29. ИНСТРУМЕНТАЛЬНАЯ ПОДДЕРЖКА ЭВОЛЮЦИОННОГО РАСШИРЕНИЯ ПРОГРАММ СРЕДСТВАМИ ПРОЦЕДУРНО-ПАРАМЕТРИЧЕСКОГО ПРОГРАММИРОВАНИЯ [статья из журнала]
    Легалов А. И., Косов П. В.
    2015, Решетневские чтения
    присутствует в РИНЦ (eLIBRARY.RU)
  30. РАЗРАБОТКА СРЕДСТВ АВТОМАТИЗАЦИИ УПРАВЛЕНИЯ КОСМИЧЕСКИМИ АППАРАТАМИ [статья из журнала]
    Космынина Н. А., Лапин А. А., Легалов А. И.
    2015, Решетневские чтения
    присутствует в РИНЦ (eLIBRARY.RU)
  31. ВЗАИМОДЕЙСТВИЕ СИСТЕМ СКЛАДСКОГО УЧЕТА И КОМПЛЕКТАЦИИ С СИСТЕМОЙ ПЛАНИРОВАНИЯ И ДИСПЕТЧЕРИЗАЦИИ ПРОИЗВОДСТВА В ЕДИНОМ ИНФОРМАЦИОННОМ ПРОСТРАНСТВЕ ПРЕДПРИЯТИЯ РАДИОЭЛЕКТРОННОЙ ПРОМЫШЛЕННОСТИ [статья из журнала]
    2015, Электронные средства и системы управления
    присутствует в РИНЦ (eLIBRARY.RU)
  32. Улучшение реализации метода дифференциальной эволюции на графических процессорах [статья из журнала]
    Фарков Михаил Александрович, Легалов Александр Иванович
    2014, Вестник Сибирского государственного аэрокосмического университета им. академика М.Ф. Решетнева
    присутствует в РИНЦ (eLIBRARY.RU)
  33. ТЕХНОЛОГИЯ АРХИТЕКТУРНО-НЕЗАВИСИМОГО, ВЫСОКОУРОВНЕВОГО СИНТЕЗА СВЕРХБОЛЬШИХ ИНТЕГРАЛЬНЫХ СХЕМ [статья из журнала]
    2014, Доклады Академии наук высшей школы Российской Федерации
    присутствует в РИНЦ (eLIBRARY.RU) (5 цит.), Список ВАК
  34. ВЕРИФИКАЦИЯ ФУНКЦИОНАЛЬНО-ПОТОКОВЫХ ПАРАЛЛЕЛЬНЫХ ПРОГРАММ МЕТОДОМ ИНДУКТИВНЫХ УТВЕРЖДЕНИЙ [статья из журнала]
    2014, Доклады Академии наук высшей школы Российской Федерации
    присутствует в РИНЦ (eLIBRARY.RU) (2 цит.), Список ВАК
  35. Интеграция автоматизированных складских комплексов в информационную систему предприятия радиоэлектронной промышленности [статья из журнала]
    2014, Журнал Сибирского федерального университета. Серия: Техника и технологии
    присутствует в РИНЦ (eLIBRARY.RU) (3 цит.), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
  36. Применение методов оптимизации для выполнения молекулярного докинга на графических процессорах [статья из журнала]
    Фарков Михаил Александрович, Легалов Александр Иванович
    2014, Моделирование и анализ информационных систем
    присутствует в РИНЦ (eLIBRARY.RU) (1 цит.), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
  37. КОМПЛЕКСНАЯ АВТОМАТИЗАЦИЯ УПРАВЛЕНИЯ ПРОИЗВОДСТВОМ ОАО «НПП «РАДИОСВЯЗЬ» [статья из журнала]
    2014, Ползуновский вестник
    присутствует в РИНЦ (eLIBRARY.RU), Список ВАК
  38. Методология мутационного тестирования для наземных испытаний бортовой аппаратуры космических аппаратов [статья из журнала]
    НЕДОРЕЗОВ Дмитрий Александрович, ЛЕГАЛОВ Александр Иванович, НЕПОМНЯЩИЙ Олег Владимирович, КРАСНЕНКО Сергей Сергеевич, АНКУДИНОВ Александр Владимирович
    2014, Системы и средства информатики
    присутствует в РИНЦ (eLIBRARY.RU) (2 цит.), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
  39. Оптимизация хвостовой рекурсии ФПЯП Пифагор [доклад, тезисы доклада, статья из сборника материалов конференций]
    Васильев В. С., Legalov Aleksandr
    2013, Молодёжь и наука
  40. ТЕХНОЛОГИЧЕСКИЕ АСПЕКТЫ СОЗДАНИЯ, ПРЕОБРАЗОВАНИЯ И ВЫПОЛНЕНИЯ ФУНКЦИОНАЛЬНО-ПОТОКОВЫХ ПАРАЛЛЕЛЬНЫХ ПРОГРАММ : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]
    Легалов А. И., Матковский И. В., Кропачева М. С., Удалова Ю. В., Васильев В. М.
    2013, Научный сервис в сети Интернет: все грани параллелизма
    присутствует в РИНЦ (eLIBRARY.RU) (3 цит.)
  41. ОСОБЕННОСТИ ХРАНЕНИЯ ФУНКЦИОНАЛЬНО-ПОТОКОВЫХ ПАРАЛЛЕЛЬНЫХ ПРОГРАММ [статья из журнала]
    2013, Вестник Сибирского государственного аэрокосмического университета им. академика М.Ф. Решетнева
    присутствует в РИНЦ (eLIBRARY.RU) (2 цит.)
  42. ИНСТРУМЕНТАЛЬНАЯ ПОДДЕРЖКА ЭФФЕКТИВНОГО ИСПОЛЬЗОВАНИЯ ВЫСОКОПРОИЗВОДИТЕЛЬНЫХ ГЕТЕРОГЕННЫХ СИСТЕМ [статья из журнала]
    Гризан С. А., Легалов А. И.
    2013, Ползуновский вестник
    присутствует в РИНЦ (eLIBRARY.RU), Список ВАК
  43. ИНСТРУМЕНТАЛЬНАЯ ПОДДЕРЖКА ТРАНСЛЯЦИИ И ВЫПОЛНЕНИЯ ФУНКЦИОНАЛЬНО-ПОТОКОВЫХ ПАРАЛЛЕЛЬНЫХ ПРОГРАММ [статья из журнала]
    2013, Ползуновский вестник
    присутствует в РИНЦ (eLIBRARY.RU) (1 цит.), Список ВАК
  44. ОТЛАДКА ПРОГРАММ НА ФУНКЦИОНАЛЬНО-ПОТОКОВОМ ПАРАЛЛЕЛЬНОМ ЯЗЫКЕ ПИФАГОР С ПОДСТАНОВКОЙ ИНТЕРВАЛЬНЫХ ЗНАЧЕНИЙ [статья из журнала]
    2013, Ползуновский вестник
    присутствует в РИНЦ (eLIBRARY.RU) (1 цит.), Список ВАК
  45. Особенности преобразования хвостовой рекурсии в функционально-потоковом языке параллельного программирования [статья из журнала]
    2013, Системы. Методы. Технологии
    присутствует в РИНЦ (eLIBRARY.RU) (1 цит.), Список ВАК
  46. Formal verification of programs in the functional data-flow parallel language [статья из журнала]
    Kropacheva M. S., Legalov A. I.
    2013, Automatic Control and Computer Sciences
    присутствует в Scopus (3 цит.), РИНЦ (eLIBRARY.RU) (4 цит.)
  47. Tail recursion transformation in functional dataflow parallel programs [статья из журнала]
    2013, Automatic Control and Computer Sciences
    присутствует в Scopus, РИНЦ (eLIBRARY.RU) (3 цит.), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
  48. Formal Verification of Programs in the Pifagor Language [доклад, тезисы доклада, статья из сборника материалов конференций]
    Kropacheva Mariya, Legalov Alexander
    2013, PARALLEL COMPUTING TECHNOLOGIES (PACT 2013)
    присутствует в Web of Science Core Collection (2 цит.), Scopus (3 цит.), РИНЦ (eLIBRARY.RU) (2 цит.), Ядро РИНЦ (eLIBRARY.RU)
  49. РАЗРАБОТКА ИНТЕРПРЕТАТОРА СКРИПТОВ УПРАВЛЕНИЯ КОСМИЧЕСКИМ АППАРАТОМ : научное издание [статья из журнала]
    Космынина Н. А., Легалов А. И.
    2012, Решетневские чтения
    присутствует в РИНЦ (eLIBRARY.RU)
  50. Разработка интерпретатора командных скриптов для обеспечения автоматизированного управления космическим аппаратом : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]
    Космынина Н. А., Легалов А. И.
    2012, Теоретические и прикладные проблемы науки и образования в 21 веке
    присутствует в РИНЦ (eLIBRARY.RU)
  51. Конструирование среды для многокритериального анализа сложных технических систем [статья из журнала]
    Легалов А. И., Ледяев Д. Н., Анкудинов А. В.
    2012, Журнал Сибирского федерального университета. Серия: Техника и технологии
    присутствует в РИНЦ (eLIBRARY.RU) (1 цит.), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
  52. Формальная верификация программ, написанных на функционально-потоковом языке параллельного программирования [статья из журнала]
    Кропачева Мария Сергеевна, Легалов Александр Иванович
    2012, Моделирование и анализ информационных систем
    присутствует в РИНЦ (eLIBRARY.RU) (4 цит.), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
  53. Преобразование хвостовых рекурсий в функционально-потоковых параллельных программах [статья из журнала]
    2012, Моделирование и анализ информационных систем
    присутствует в РИНЦ (eLIBRARY.RU) (2 цит.), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
  54. Событийная модель вычислений, поддерживающая выполнение функционально-потоковых параллельных программ [статья из журнала]
    2012, Системы. Методы. Технологии
    присутствует в РИНЦ (eLIBRARY.RU) (7 цит.), Список ВАК
  55. ОСОБЕННОСТИ ЯЗЫКА ПРОЦЕДУРНО-ПАРАМЕТРИЧЕСКОГО ПРОГРАММИРОВАНИЯ [статья из журнала]
    Легалов Александр Иванович, Солоха Арсений Федорович
    2011, Вестник Новосибирского государственного университета. Серия: Информационные технологии
    присутствует в РИНЦ (eLIBRARY.RU) (2 цит.), Список ВАК
  56. Методы отладки и верификации функционально-потоковых параллельных программ [статья из журнала]
    2011, Журнал Сибирского федерального университета. Серия: Техника и технологии
    присутствует в РИНЦ (eLIBRARY.RU) (7 цит.), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
  57. поддержка многокритериального анализа в сложных иерархических системах [статья из журнала]
    Легалов Александр Иванович, Ледяев Дмитрий Николаевич, Анкудинов Александр Владимирович
    2010, Вестник Новосибирского государственного университета. Серия: Информационные технологии
    присутствует в РИНЦ (eLIBRARY.RU), Список ВАК
  58. Расширение модульной структуры программы за счет подключаемых модулей [статья из журнала]
    2010, Доклады Академии наук высшей школы Российской Федерации
    присутствует в РИНЦ (eLIBRARY.RU) (5 цит.), Список ВАК
  59. Об отладке и верификации функционально-потоковых параллельных программ [доклад, тезисы доклада, статья из сборника материалов конференций]
    Удалова Ю. В., Легалов А. И., Сиротинина Н. Ю., Кропачева М. С., Ответственные за выпуск: Л. Б. Соколинский, А. В. Лепихов
    2009, Параллельные вычислительные технологии (ПаВТ'2009)
    присутствует в РИНЦ (eLIBRARY.RU) (1 цит.)
  60. Функционально-потоковое параллельное программирование при асинхронно поступающих данных [доклад, тезисы доклада, статья из сборника материалов конференций]
    Легалов А. И., Редькин А. В., Матковский И. В., Ответственные за выпуск: Л. Б. Соколинский, А. В. Лепихов
    2009, Параллельные вычислительные технологии (ПаВТ'2009)
    присутствует в РИНЦ (eLIBRARY.RU) (2 цит.)
  61. ИНСТРУМЕНТАЛЬНАЯ ПОДДЕРЖКА МНОГОКРИТЕРИАЛЬНОГО АНАЛИЗА ПРИ РАЗРАБОТКЕ СЛОЖНЫХ ТЕХНИЧЕСКИХ СИСТЕМ [статья из журнала]
    Легалов Александр Иванович, Ледяев Дмитрий Николаевич, Анкудинов Александр Владимирович
    2009, Вестник Сибирского государственного аэрокосмического университета им. академика М.Ф. Решетнева
    присутствует в РИНЦ (eLIBRARY.RU) (2 цит.)
  62. Information Flow and Usage in an E-shop Operating within an Agent-based E-commerce System [статья из журнала]
    Drozdowicz Michaal, Ganzha Maria, Paprzycki Marcin, Gawinecki Maciej, Legalov Alexander
    2009, Журнал Сибирского федерального университета. Серия: Техника и технологии
    присутствует в РИНЦ (eLIBRARY.RU) (1 цит.), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
  63. Инструментальная поддержка контрольно-проверочной аппаратуры испытаний узлов исполнительной автоматики космических аппаратов [статья из журнала]
    2009, Решетневские чтения
    присутствует в РИНЦ (eLIBRARY.RU)
  64. АНАЛИЗ И ИНСТРУМЕНТАЛЬНОЕ ОБЕСПЕЧЕНИЕ ВАРИАНТНОГО ПРОЕКТИРОВАНИЯ КОСМИЧЕСКИХ АППАРАТОВ [статья из журнала]
    Анкудинов А. В., Легалов А. И., Ледяев Д. Н., Тестоедов Н. А.
    2009, Решетневские чтения
    присутствует в РИНЦ (eLIBRARY.RU)
  65. Solution of Large-Scale Problems of Global Optimization on the Basis of Parallel Algorithms and Cluster Implementation of Computing Processes [доклад, тезисы доклада, статья из сборника материалов конференций]
    2009, PARALLEL COMPUTING TECHNOLOGIES, PROCEEDINGS
    присутствует в Web of Science Core Collection, Scopus (1 цит.), РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
  66. Средства отладки функционально-потоковых параллельных программ [статья из журнала]
    2008, Доклады Академии наук высшей школы Российской Федерации
    присутствует в РИНЦ (eLIBRARY.RU) (2 цит.), Список ВАК
  67. Событийное управление выполнением функционально-потоковых параллельных программ [статья из журнала]
    2008, Научный вестник Новосибирского государственного технического университета
    присутствует в РИНЦ (eLIBRARY.RU) (5 цит.), Список ВАК
  68. Языковые средства систем программирования, ориентированные на создание переносимых, эволюционно расширяемых параллельных программ : диссертация на соискание ученой степени доктора технических наук [диссертация]
    2005
    присутствует в РИНЦ (eLIBRARY.RU)
  69. Языковые средства систем программирования, ориентированные на создание переносимых, эволюционно расширяемых параллельных программ : автореферат диссертации на соискание ученой степени доктора технических наук [автореферат диссертации]
    2005
    присутствует в РИНЦ (eLIBRARY.RU)
  70. Функциональный язык для создания архитектурно-независимых параллельных программ [статья из журнала]
    2005, Вычислительные технологии
    присутствует в РИНЦ (eLIBRARY.RU) (52 цит.), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
  71. Методы поддержки параметрического полиморфизма : научное издание [статья из журнала]
    2004, Научный вестник Новосибирского государственного технического университета
    присутствует в РИНЦ (eLIBRARY.RU) (2 цит.), Список ВАК
  72. Об управлении вычислениями в параллельных системах и языках программирования : научное издание [статья из журнала]
    2004, Научный вестник Новосибирского государственного технического университета
    присутствует в РИНЦ (eLIBRARY.RU) (8 цит.), Список ВАК
  73. Процедурный язык с поддержкой эволюционного проектирования : научное издание [статья из журнала]
    2003, Научный вестник Новосибирского государственного технического университета
    присутствует в РИНЦ (eLIBRARY.RU) (7 цит.), Список ВАК

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

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