ИСТИНА

Молчанов Андрей Эрикович пользователь

Соавторы: Подловченко Р.И., Подымов В.В.

7 статей, 1 доклад на конференции, 1 тезисы доклада

Количество цитирований статей в журналах по данным Scopus: 0

IstinaResearcherID (IRID): 7519746

Деятельность

• Статьи в журналах

  • • 2014 Equivalence problem solvability in gateway program models
    • Подловченко Р.И., Молчанов А.Э.
    • в журнале Automatic Control and Computer Sciences, издательство Allerton Press Inc. (United States), том 48, № 7, с. 581-588 DOI
  • • 2014 Разрешимость эквивалентности в перегородчатых моделях программ
    • Подловченко Р.И., Молчанов А.Э.
    • в журнале Моделирование и анализ информационных систем, издательство Яросл. гос. ун-т (Ярославль), том 21, № 2, с. 56-70
  • 
    • 2013 About algebraic program models with procedures
    • Podlovchenko R.I., Molchanov A.E.
    • в журнале Automatic Control and Computer Sciences, издательство Allerton Press Inc. (United States), том 47, № 7, с. 385-392
  • • 2012 О теории алгебраических моделей программ с процедурами
    • Подловченко Р.И., Молчанов А.Э.
    • в журнале Моделирование и анализ информационных систем, издательство Яросл. гос. ун-т (Ярославль), том 19, № 5, с. 100-114

• Статьи в сборниках

  • • 2017 О полиномиальной разрешимости проблемы эквивалентности программ в перегородчатых моделях над прогрессивными полугруппами
    • Молчанов А.Э., Подымов В.В.
    • в сборнике Проблемы теоретической кибернетики. Материалы XVIII Международной конференции (Пенза, 19-23 июня 2017 г.), серия Проблемы теоретической кибернетики, место издания М: МАКС Пресс, с. 174-176
    • редакторы Данилов Борис Радиславович, Журавлев Юрий Иванович, Романов Дмитрий Сергеевич
  • • 2014 Сведение проблемы эквивалентности в перегородчатой модели программ к проблемам для порождающей модели
    • Молчанов А.Э.
    • в сборнике Проблемы теоретической кибернетики. Материалы XVII Международной конференции (Казань, 16-20 июня 2014 г.), серия Проблемы теоретической кибернетики, место издания Отечество Казань, с. 210-212
  • • 2012 Algebraic Models of Programs with Procedures
    • Podlovchenko R.I., Molchanov A.E.
    • в сборнике 3-rd Workshop “Program Semantics, Specification, and Verification: Theory and Applications”, Nizhni Novgorod, Russia, July 1-2, 2012, место издания Novgorod, Russia, с. 89-95

• Доклады на конференциях

  • • 2017 О полиномиальной разрешимости проблемы эквивалентности программ в перегородчатых моделях над прогрессивными полугруппами (Устный)
    • Авторы: Подымов В.В., Молчанов А.Э.
    • XVIII международная конференция "Проблемы теоретической кибернетики" (Пенза, 19-23 июня 2017 г.), г. Пенза, Россия, 19-23 июня 2017

• Тезисы докладов

  • • 2012 Чем привлекательны алгебраические модели программ с процедурами
    • Подловченко Р.И., Молчанов А.Э.
    • в сборнике Материалы XI Международного семинара «Дискретная математика и ее приложения» (Москва, 18-23 июня 2012 г.), место издания Изд-во механико-математического ф-та МГУ Москва, тезисы, с. 152-154