Holistic Framework for Spatial-Temporal Analysis of Production Schedules. - Vitaly A. Semenov; Semyon V. Arishin; Konstantin S. Petrishchev; Vladislav A. Zolotov (TE, 2018)

Formal Rules to Produce Object Notation for EXPRESS Schema-Driven Data. - Vitaly A. Semenov; Semyon V. Arishin; Georgii V. Semenov (Program. Comput. Softw., 2022)

Formal Specification and Verification of Requirements in Architecture and Construction using the EXPRESS Modeling Language. - Vitaly A. Semenov; Sergey V. Morozov; Semyon V. Arishin; Olga N. Kuzina; Vladimir I. Rimshin; Elena V. Makisha (Program. Comput. Softw., 2024)