Improved algorithm for identification of switch tables in executable code. - Andrei Gedich; Arthur Lazdin (FRUCT, 2015)

PEG-based language workbench. - Yuriy Korenkov; Ivan Loginov; Arthur Lazdin (FRUCT, 2015)

Creation of a static analysis algorithm using ad hoc programming languages. - Dmitry Khalansky; Arthur Lazdin; Dmitry Mouromtsev (FRUCT, 2016)

Evaluating Distance Approximation for Implicit Curve Fitting. - Marina V. Goncharova; Alexei Uteshev; Arthur Lazdin (FRUCT, 2020)