Converting Diagram to a Timeline Ontology. - Nikolay Voit; Sergey Yuryevich Kirillov; Semen Bochkov (ICCTA, 2020)

Ontology-Based Organizational and Technical Components Semantic Model Development. - Alexander Afanasyev; Nikolay Voit; Maria Ukhanova; Sergey Yuryevich Kirillov; Semen Bochkov (ICGDA, 2020)

Analytical Model of Design Workflows Organization in the Automated Design of Complex Technical Products. - Nikolay Voit; Sergey Yuryevich Kirillov; Semen Bochkov; Irina Ionova (ICIST, 2020)

Denotative and Significative Semantics Analysis and Control Methods in Diagrams. - Nikolay N. Voit; Semen Bochkov (DAMDID/RCDL (Supplementary Proceedings), 2020)

Formal Method to Analyze Design Workflows in Software Development. - Nikolay Voit; Semen Bochkov (ICCSA (9), 2021)

Method to Convert UML State Chart Diagram to the Virtual Object Mock-Up. - Nikolay Voit; Semen Bochkov (ICCSA (9), 2021)

Design Workflows and Algorithm Diagrams Interpretation Method in Software Development. - Nikolay Nikolaevich Voit; Semen Igorevich Bochkov; Sergey Yuryevich Kirillov; Maria Ukhanova (ICCTA, 2021)

Method to Interpret Algorithms and Design Workflows in the Complex Computer-Aided Design Development. - Nikolay Voit; Semen Bochkov (ICIIA, 2021)

Design Workflows Graph Schemes Correctness Proof in Computer Aided Design Activity. - Nikolay N. Voit; Semen I. Bochkov (ICIST, 2021)