Ильин Денис Валерьевич

Публикации в базе данных Math-Net.Ru

1. Static dependency analysis for semantic data validation
   
   Труды ИСП РАН, 30:3 (2018),  271–284
2. Библиотека ограничений для спецификации индустриальных моделей данных
   
   Труды ИСП РАН, 27:4 (2015),  69–110