Formal Verification and Accelerated Inference. - Dmitry Strabykin; Vasily Meltsov; Maria Dolzhenkova; Gennady Chistyakov; Alexey Kuvaev (CSOC (1), 2016)

The Method of Deductive Inference of Consequences with the Scheme Construction. - Anastasia Bardovskaya; Gennadiy Chistyakov; Maria Dolzhenkova; Dmitry Strabykin (CSOC (2), 2019)

A Formal Model of the Decision-Making Process Under Uncertainty. - Nikita Gorodilov; Gennadiy Chistyakov; Maria Dolzhenkova (CSOC (3), 2020)