Applying Formal Semantics of an Object-oriented Language to Program Invariant Checking. - Andrey Novikov; Rostislav Yavorskiy (Abstract State Machines, 2005)

Stability Estimating in Optimal Sequential Hypotheses Testing. - Evgueni Gordienko; Andrey Novikov; Elena Zaitseva (Kybernetika, 2009)

Optimal Sequential Multiple Hypothesis Tests. - Andrey Novikov (Kybernetika, 2009)

Optimal Sequential Multiple Hypothesis Testing in Presence of Control Variables. - Andrey Novikov (Kybernetika, 2009)

Optimal sequential procedures with Bayes decision rules. - Andrey Novikov (Kybernetika, 2010)

User-Assisted Log Analysis for Quality Control of Distributed Fintech Applications. - Iosif Itkin; Anna Gromova; Anton Sitnikov; Dmitry Legchikov; Evgenii Tsymbalov; Rostislav Yavorskiy; Andrey Novikov; Kirill Rudakov (AITest, 2019)

Development of Intelligent Virtual Assistant for Software Testing Team. - Iosif Itkin; Andrey Novikov; Rostislav Yavorskiy (QRS Companion, 2019)

Building a Classification System for Failed Test Reports: Industrial Experience. - Sergey Pavlov; Anna Gromova; Iosif Itkin; Murad Mamedov; Alexander Libkov; Andrey Novikov; Evgenii Tsymbalov (AITest, 2020)

A class of sequential multi-hypothesis tests. - Andrey Novikov (Commun. Stat. Simul. Comput., 2025)