Tychinskiy V.Z., Matrosova A.Yu., Nikolaeva E.A., Provkin V.A., Goshin G.G. «Using SAT-solvers for deriving patch circuits that mask nodes faults and trojan circuits injections» // Izvestiya vuzov. Fizika 2020. №12 C.114-123
Provkin Viktor A., Matrosova Anzhela Yu. «Graph representations of the sets of all reachable reactions of the combinational circuit» // Tomsk State University Journal of Control and Computer Science 2022. №61 C.128-138
Matrosova Anzhela Yu., Savenkova Marina M. «Partial equivalence checking for combinational circuits» // Tomsk State University Journal of Control and Computer Science 2025. №71 C.130-139
Matrosova Anzhela Yu., Sukhoruchenko Ksenia A., Savenkova Marina M., Provkin Viktor A. «Testing of multi-output combinational circuits when reactions on test patterns are known» // Tomsk State University Journal of Control and Computer Science 2024. №69 C.134-143
Ostanin S., Goshin G., Matrosova A. «Deriving Approximate logic circuits for triple-modular redundancy (TMR) schemes» // Izvestiya vuzov. Fizika 2022. №4 C.150-159
