Matrosova A.Yu., Nikolaeva E.A., Provkin V.A., Goshin G.G., Tychinskiy V.Z. «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
Sukhoruchenko Ksenia A., Savenkova Marina M., Provkin Viktor A., Matrosova Anzhela Yu. «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
Matrosova Anzhela Yu., Tychinskiy Vyacheslav Z. «About changing arbitrary test pairs detecting robust testable PDFs for ones consisting of neighbor Boolean vectors» // Tomsk State University Journal of Control and Computer Science 2025. №72 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
