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

Development of an Intelligent Module for Monitoring and Analysis of Client's Bank Transactions. - Vasily Meltsov; Pavel Novokshonov; Dmitry Repkin; Alexander Nechaev; Nataly Zhukova (FRUCT, 2019)

A Knowledge-Based Computational Environment for Real-World Data Processing. - Tianxing Man; Nataly Zhukova; Vasily Meltsov; Yulia A. Shichkina (ICCSA (1), 2019)

Hardware Implementation of of Small-Sized MODE-S Signal Receivers. - Vasily Meltsov; Alexey Lapitsky; Nikolay Mustafin (MICSECS, 2019)

Utilizing Metadata to Select a Recommendation Algorithm for a User or an Item. - Alexander Nechaev; Nataly Zhukova; Vasily Meltsov (MICSECS, 2019)