Edit Profile (opens in new tab) Dymnikov, Constantine Co-Author Distance Author ID: dymnikov.constantine Published as: Dymnikov, Constantine Documents Indexed: 1 Publication since 2011 Co-Authors: 3 Co-Authors with 1 Joint Publication 22 Co-Co-Authors Co-Authors 0 single-authored 1 Male, Chris 1 Pearce, David J. 1 Potanin, Alex Serials 1 Science of Computer Programming Fields 1 Computer science (68-XX) Publications by Year Citations contained in zbMATH Open 1 Publication has been cited 1 time in 1 Document Cited by ▼ Year ▼ Formalisation and implementation of an algorithm for bytecode verification of \(\@\)NonNull types. Zbl 1215.68069 Male, Chris; Pearce, David J.; Potanin, Alex; Dymnikov, Constantine 1 2011 Formalisation and implementation of an algorithm for bytecode verification of \(\@\)NonNull types. Zbl 1215.68069 Male, Chris; Pearce, David J.; Potanin, Alex; Dymnikov, Constantine 1 2011 Cited by 4 Authors 1 Dymnikov, Constantine 1 Male, Chris 1 Pearce, David J. 1 Potanin, Alex Cited in 1 Serial 1 Science of Computer Programming Cited in 1 Field 1 Computer science (68-XX) Citations by Year