An on-line solution verification system for programming competitions. - A. S. Dorofeev (MIPRO, 2014)

The Workflow Component of the Knowledge-based Systems Development Platform. - Aleksandr I. Pavlov; Aleksandr B. Stolbov; A. S. Dorofeev (ITAMS, 2019)

The Architecture of the Software Tool for the Agent-based Simulation Models Specication Development. - Aleksandr I. Pavlov; Aleksandr B. Stolbov; A. S. Dorofeev (ITAMS, 2019)

Automation of a Decision Tree Conversion into a Fuzzy Inference System Using ANTLR. - S. S. Sosinskaya; R. S. Dorofeev; A. S. Dorofeev; T. R. Usenko (MIPRO, 2020)