Shelekhov Vladimir Ivanovich

Vladimir Ivanovich Shelekhov
Russia, Novosibirsk
Academic degree
Research area
Affiliation & position
  • A.P. Ershov Institute of Informatics Systems — head of laboratory
  • Novosibirsk State University — lecturer
E-mail
List of Articles in System Informatics:
V. Shelekhov Lists and strings in predicate programming // System Informatics. — . — # 3.  — P. 25-43
V. Shelekhov Automata-based programming on the base of requirements specification // System Informatics. — . — # 4.  — P. 1-29
E. Tumurov V. Shelekhov Requirement specification of quad-rotor flight control system // System Informatics. — . — # 5.  — P. 39-54
V. Shelekhov Predicate program of insertion into AVL-tree // System Informatics. — . — # 9.  — P. 23-42
K. Bulgakov I. Kablukov E. Tumurov V. Shelekhov Optimizing transformations for operations on lists and trees in the predicate programming system // System Informatics. — . — # 9.  — P. 63-92
I. Kablukov V. Shelekhov Optimizing transformations in the predicate programming system // System Informatics. — . — # 11.  — P. 21-48
I. Kablukov V. Shelekhov Development of the parallel predicate program for solving leaner equations by the Gauss-Jordan method // System Informatics. — . — # 12.  — P. 41-60
V. Shelekhov Deductive verification and optimization of the predicate program for string concatenation // System Informatics. — . — # 12.  — P. 61-84
V. Shelekhov Deductive verification of predicate program of binary search of an arbitrary type object // System Informatics. — . — # 15.  — P. 45-64
V. Shelekhov Verification of a predicate heapsort program using inverse transformations // System Informatics. — . — # 16.  — P. 75-102
E. Tumurov V. Shelekhov Transformation, specification, and verification of the program calculating the elements number of a set presented by a bit vector // System Informatics. — . — # 16.  — P. 103-136
V. Shelekhov Verification of a string to integer conversion program // System Informatics. — . — # 17.  — P. 43-90
V. Shelekhov Transformation and verification of the OS program sorting devices in a computer bus // System Informatics. — . — # 18.  — P. 1-34
V. Shelekhov Comparison of automata-based engineering method and Event-B modeling method // System Informatics. — . — # 18.  — P. 53-84