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:
- 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)
- 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)
- 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)
- 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.
- 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)
- 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)
- 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.
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- Vinnik V. Towards Explication of Equality: Methodology and Its Application to ADT // Information Theories & Applications. - 2002 - Vol.9. - P. 135-146.
- 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)
- 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)
- 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.
- 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)
- 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)
- 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.
|
Go to Logic in Informatics Home Page
