Type-theoretic Means for Querying Heterogeneous Data Sources Available via Cloud APIs. - A. I. Domracheva; Pavel A. Shapkin (KES, 2016)

A Dynamic Editor of Typed Data Transformations. - S. I. Ruban; Pavel A. Shapkin; Sergey V. Zykov (KES, 2016)

A Type-Safe APProach to Identifying and Merging Changes in Complex Information Objects. - Dmitry S. Saenko; Pavel A. Shapkin (BICA, 2018)