Последние публикации

• Васенин В.А., Кривчиков М.А. Промежуточное представление программ для описания типов в терминах сопоставления значений с образцом // Программирование. . 2020. № 1. С. 63-74
• Vasenin Valery, Itkes Alexander, Krivchikov Maxim, Yavtushenko Evgeniya. ChRelBAC data access control model for large-scale interactive informational-analytical systems
• Vasenin V.A., Krivchikov M.A. Intermediate Representation of Programs with Type Specification Based on Pattern Matching. Programming and Computer Software. Pleiades Publishing, Ltd. 2020. V. 46. No 1. P. 57-66
• Васенин В.А., Занчурин М.А., Козицын А.С., Кривчиков М.А., Шачнев Д.А. Архитектурно-технологические аспекты разработки и сопровождения больших информационно-аналитических систем в сфере науки и образования // Программная инженерия. Новые технологии. 2017. Т. 8. № 10. С. 448-455
• Васенин В.А., Кривчиков М.А. Методы промежуточного представления программ // Программная инженерия. Новые технологии. 2017. Т. 8. № 8. С. 345-353