Concepedia

V. A. Nepomniaschy

VA

Statistics

Publications

5

Citations

76

H-Index

5

Active since

2002

Affiliations

Siberian Branch of the Russian Academy of Sciences(Current)

Russian Academy of Sciences

V. A. Nepomniaschy is an author at Siberian Branch of the Russian Academy of Sciences specializing in computer science, verification, and computing.

ORCID

Publications per year

2002–2005

5

Publications

5

Towards Verification of C Programs: Axiomatic Semantics of the C-kernel Language

V. A. Nepomniaschy, Igor Anureev · Programming and Computer Software · 2003 · 21 citations

, , +16

Towards Verification of C Programs. C-Light Language and Its Formal Semantics

V. A. Nepomniaschy, Igor Anureev · Programming and Computer Software · 2002 · 19 citations

, , +16

Symbolic method of verification of definite iterations over altered data structures

V. A. Nepomniaschy · Programming and Computer Software · 2005 · 13 citations

, , +12

Verification of distributed systems modelled by high-level Petri nets

Vitaly E. Kozura, V. A. Nepomniaschy, Ruslan M. Novikov · 2003 · 12 citations

, , +17

Symbolic method of verification of definite iterations over altered data structures

V. A. Nepomniaschy · Programming and Computer Software · 2005 · 11 citations

, , +12

1–5 of 5