Concepedia

Vladimir Sapozhnikov

VS

26

Publications

542

Citations

15

H-Index

2003

Active since

Affiliations

Petersburg State Transport University(Current)

University of Potsdam

Vladimir Sapozhnikov is an author at Petersburg State Transport University specializing in verification, computer science, and formal verification.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceFormal VerificationProgram AnalysisComputer EngineeringCoding TheorySoftware TestingHardware Security

Publications per year

2003–2021

26

Publications

26

On summation code properties in functional control circuits

Vladimir Sapozhnikov, VI. V. Sapozhnikov · Automation and Remote Control · 2010 · 45 citations

Generalized algorithm of building summation codes for the tasks of technical diagnostics of discrete systems

Valery Sapozhnikov, Vladimir Sapozhnikov · 2017 · 39 citations

Mathematical Programming, Engineering, Error Control Technique +24

Self-Dual Complement Method up to Constant-Weight Codes for Arrangement of Combinational Logical Circuits Concurrent Error-Detection Systems

Valery Sapozhnikov, Vladimir Sapozhnikov, German Osadchy et al. · 2019 · 38 citations

Program Checking, Engineering, Error Control Technique +21

Logic Complement, a New Method of Checking the Combinational Circuits

M. Gessel', Alexandre V. Morozov, Vladimir Sapozhnikov · Automation and Remote Control · 2003 · 37 citations

On codes with summation of data bits in concurrent error detection systems

Anton Blyudov, Vladimir Sapozhnikov · Automation and Remote Control · 2014 · 35 citations

Rows per page

1–5 of 26