Vadim Yurijovich Vinnik


Assistant Prof. MSc. Vadim Yurijovich Vinnik

working at the Chair of Informatics and Computer Modelling

at the Zhitomir State University of Technology.


See below:

C.V.

Publications

Links

Photos


Short C.V.
 
Born in 1977 in Zhiomir, Ukraine.

Education: 1992 till 1998 in former Zhitomir institute of Engineering and Technology, now reorganized into Zhitomir State University of Technology.

Speciality: Software for Computing Machines and Automated Systems

Occupation: Zhitomir State University of Technology, Chair of Informatics and Computer Modelling

I have 25 publications in Ukrainian and international journals and proceedings:

  1. Vinnik V.Yu., Ovander L.N. Obtaining the multiplication tables for the 32 symmetry groups with the aid of computer // Proceedings of Zhitomir Branch of Kiev Politechnic Institute, Issue 2, Series B: Fundamental sciences, history, philosophy, economy. – 1994. – Pp. 3-5. (In Russian)
  2. Vinnik V.Yu., Ovander L.N. Obtaining of irreducible representations of point groups with the aid of computer // Journal of Zhitomir Institute of Engineering and Technology. – 1995. – N 2. – Pp. 151-159. (In Ukrainian)
  3. Vinnik V.Yu., Ovander L.N. On algorithmization of group-theoretical methods // Journal of Zhitomir Institute of Engineering and Technology. – 1995. – N 2. – Pp. 160-166. (In Ukrainian)
  4. Vinnik V.Yu., Ovander L.N. Computer-Aided Calculations in Terminal Groups // Proceedings of the 15-th International Conference on Raman Spectroscopy. -Vol. 2. – Pittsburgh. – 1996. – Pp. 2-3.
  5. Vinnik V.Yu. Applying algorithmical formalism to object-oriented design to the example of optimal memory allocation task // Journal of Zhitomir Institute of Engineering and Technology. – 1996. – N 3. – Pp. 58-65. (In Ukrainian)
  6. Vinnik V.Yu. About the one approach to class inheritance // Journal of Zhitomir Institute of Engineering and Technology. – 1997. – N 5. – Pp. 3-5. (In Ukrainian)
  7. Vinnik V.Yu. Calculating the Multiplication Tables of the Double Groups. Algebra-Based Method // Proceedings of the 16-th International Conference on Raman Spectroscopy. – Cape Town. – 1998 – 2 p.
  8. Vinnik V.Yu., Ovander L.N. On automation of the group-theoretical calculations // Journal of Zhitomir Institute of Engineering and Technology – 1998. – N 7 – Series: technical sciences. – Pp. 343-344. (In Ukrainian)
  9. Vinnik V.Yu. Obtaining the multiplication tables of the double groups. Algebra-based method // Journal of Zhitomir Institute of Engineering and Technology. – 1998. – N 8 – Series: technical sciences. – Pp. 299-302. (In Ukrainian)
  10. Vinnik V.Yu., Ovander L.N. The GroupSolver 5.0 program for group-theoretical calculations // Journal of Zhitomir Institute of Engineering and Technology. – 1999. – N 9. – Series: technical sciences. – С 288-293. (In Ukrainian)
  11. Vinnik V.Yu. Axiomatic theory of nominative sets and modelling structures of explicative programming // Problems of Programming. – 2000. – N 1-2. Special issue: Proceedings of the 2-nd International conference on programming “UkrPROG 2000″. – Pp. 75-80. (In Russian)
  12. Vinnik V.Yu. Intensional classification of equality types for the problem of formalized ADT design // Proceedings of the 10-th International conference “Knowledge-Dialog-Solution” (KDS-2001). – St.Petersburg: North-Western technical university of distance learning, 2001. – Pp. 89-96. (In Russian)
  13. Vinnik V.Yu. On explication of symbolic processing: the general description of the problem and methodological issues // Problems of Programming. – 2002. – N 1-2. Special issue: Proceedings of the 3-rd International conference on programming “UkrPROG 2002″. – Pp. 51-57. (In Ukrainian)
  14. Vinnik V.Yu. Explicative models of normal algorithms // Journal of Zhitomir Institute of Engineering and Technology. Series: technical sciences. – 2002. – N 2 (21). – Pp. 81-87. (In Ukrainian)
  15. Vinnyk V.Yu. Reference models of symbol processing: concatenation level // ICIM-2002. International conference on inductive modelling: Proceedings. – Vol. 2. – Lviv: State research institute of information infrastructure, 2002. – Pp. 47-53. (In Ukrainian)
  16. Vinnik V.Yu. Explicative models of normal algorithms // Proceedings of the 5-th city conference for teachers, students and young scientists. – Zhitomir Institute of Engineering and Technology, 2002. – Pp. 18-19. (In Ukrainian)
  17. Vinnik V.Yu. Explicative programming of list processing // System analysis and information technologies. Abstracts of 4-th International scientific conference for students, aspirants and young scientists. – Kiev.: Polytechnics, 2002. – Pp. 93. (In Ukrainian)
  18. Vinnik V. Towards Explication of Equality: Methodology and Its Application to ADT // Information Theories & Applications. – 2002 – Vol.9. – P. 135-146.
  19. Vinnik V.Yu. Compositional model of literal word structures // Bulletin of the University of Kiev. Series: Physics and Mathematics. – 2002. – N 1. – Pp. 199-207. (In Ukrainian)
  20. Vinnik V.Yu. Structures of symbol processing functions of literal level // Bulletin of the University of Kiev. Series: Physics and Mathematics. – 2002. – N 2. – Pp. 169-178. (In Ukrainian)
  21. Vinnik V.Yu. On formal models of pattern matching // Proceedings of the fifth international scientific conference “Electronic Computers and Informatics 2002″, Kosice-Herlany (Slovakia). – 2002. – P. 57-62.
  22. Vinnik V.Yu. Compositional semantics of Refal // Journal of Zhitomir Institute of Engineering and Technology. Series: technical sciences. Special issue: Proceedings of the International conference on Information and computer technologies. – 2002. – Pp. 44-52. (In Ukrainian)
  23. Vinnik V.Yu. The notion of equality in the framework of explicative programming (exemplified with abstract data types) // Problems of Programming. – 2002. – N 3-4. – Pp. 33-43. (In Ukrainian)
  24. Vinnik V.Yu. Modifying IOTA method for non-hierarchical types // Cybernetics and system analysis. – 2003. – N 1. – Pp. 167-176. (In Russian)

Some Links
 
I am pleased to invite You to my Home Page,

hosted on Zhitomir State University of Technology Portal.

You are also welcome to my Chair of Programming.