Ilyin Denis Valer'evich

Publications in Math-Net.Ru

1. Static dependency analysis for semantic data validation
   
   Proceedings of ISP RAS, 30:3 (2018),  271–284
2. A constraint library for specification of industrial data models
   
   Proceedings of ISP RAS, 27:4 (2015),  69–110