|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2018 |
1. |
D. V. Ilyin, N. Yu. Fokina, V. A. Semenov, “Static dependency analysis for semantic data validation”, Труды ИСП РАН, 30:3 (2018), 271–284 |
|
2015 |
2. |
С. В. Морозов, Д. В. Ильин, В. А. Семенов, О. А. Тарлапан, “Библиотека ограничений для спецификации индустриальных моделей данных”, Труды ИСП РАН, 27:4 (2015), 69–110 |
1
|
|