N. Voit

Development of the approach to check the correctness of workflows

Alexander Afanasyev, Nikolay Voit, Maria Ukhanova, 2018, Data Science and Knowledge Engineering for Sensing Decision Support.

Verification Method for Diagrammatic Workflow Specifications in Computer-Aided Design

N. Voit, S. Bochkov, 2022, 2022 International Russian Automation Conference (RusAutoCon).

ORGANIZATION, DEVELOPMENT AND IMPLEMENTATION OF INTELLIGENT LEARNING ENVIRONMENTS

Alexander Afanasyev, Nikolay Voit, Dmitrii Kanev, 2016 .

Intelligent Integrated System for Computer-Aided Design and Complex Technical Objects’ Training

Alexander Afanasyev, Nikolay Voit, Andrey Igonin, 2018, Advances in Intelligent Systems and Computing.

Development of Interactive Tools for Intelligent Engineering Education System

Alexander Afanasyev, Nikolay Voit, A. Afanasyev, 2018, ICCSA.

Formal Method to Analyze Design Workflows in Software Development

Nikolay Voit, Semen Bochkov, N. Voit, 2021, ICCSA.

Temporal Automaton RVTI-Grammar for the Diagrammatic Design Workflow Models Analysis

S. Kirillov, N. Voit, S. Bochkov, 2020, 2020 IEEE 14th International Conference on Application of Information and Communication Technologies (AICT).

DEVELOPMENT OF INTERACTIVE LEARNING TOOLS IN MOODLE

Alexander Afanasyev, Nikolay Voit, Tatyana Afanasyeva, 2018 .

Analytical Model of Design Workflows Organization in the Automated Design of Complex Technical Products

Nikolay Voit, Irina Ionova, Sergey Kirillov, 2020, ICIST.

The Analysis of Diagrammatic Models of Workflows in Design of the Complex Automated Systems

Alexander Afanasyev, Nikolay Voit, Rinat Gaynullin, 2016 .

Development and research of temporal RVTI-grammar for workflow diagrams processing

N.N. Voit, S.Yu. Kirillov, A.N. Afanasyev, 2018, 2018 IEEE 12th International Conference on Application of Information and Communication Technologies (AICT).