PDF testability of the circuits derived by special covering ROBDDs with gates. - Anzhela Yu. Matrosova; Ekaterina Nikolaeva; Dmitry Kudin; Virendra Singh (EWDTS, 2013)

Combinational circuits without false paths. - Anzhela Yu. Matrosova; Dmitry Kudin; Ekaterina Nikolaeva (EWDTS, 2014)

Forming Patch Functions and Combinational Circuit Rectification. - Anjela Yu. Matrosova; Semen Chernyshov; Gennadiy Goshin; Dmitry Kudin (EWDTS, 2018)