On using ABC for deriving distinguishing sequences for Verilog-descriptions. - Natalia Kushik; Nina Yevtushenko 001; Stanislav N. Torgaev; Nikita Shatilov (EWDTS, 2015)

Scalable Supervised Machine Learning Apparatus for Computationally Constrained Devices. - Jorge López; Andrey Laputenko; Natalia Kushik; Nina Yevtushenko 001; Stanislav N. Torgaev (ICSOFT, 2018)