The CLOS Project: Towards on Object-Oriented Environment for Application Development. - Igor B. Burdonov; Victor Ivannikov; German Kopytov; Alexander S. Kosachev; Sergei Kuznetsoz (East/West Database Workshop, 1990)

Efficient Metaobject Control Using Mediators. - Victor Ivannikov; Vladimir Zadorozhny; Rainer Kossmann; Boris Novikov 001 (Ershov Memorial Conference, 1996)

Cover Model: A Framework for Design and Execution of Distributed Applications. - V. P. Ivannikov; K. V. Dyshlevoi; V. E. Kamensky; A. V. Klimov; S. G. Manzheley; Vitaly A. Omelchenko; L. B. Solovskaya; A. A. Vinokurov (ISPAN, 1997)

Managing Processes with Network Objects and Their Translation. - Dmitry Arapov; Victor Ivannikov; Alexey Ya. Kalinov; Alexey L. Lastovetsky; Ilya Ledovskih (EUROMICRO, 1998)

On the minimal time required for execution of distributed concurrent processes in synchronous modes. - V. P. Ivannikov; N. S. Kovalenko; V. M. Metel'skii (Program. Comput. Softw., 2000)

Using Symbolic Execution of Parallel Program to Estimate Its Scalability. - Victor Ivannikov; Serguei Gaissaryan; Arutyun Avetisyan; Vartan A. Padaryan (PDPTA, 2003)

Improving Properties of a Parallel Program in ParJava Environment. - Victor Ivannikov; Serguei Gaissaryan; Arutyun Avetisyan; Vartan A. Padaryan (PVM/MPI, 2003)

Model Based Recovery Protocol In ParJava Environment. - Victor Ivannikov; Serguei Gaissaryan; Arutyun Avetisyan; Vartan A. Padaryan; Gennady Leontiev (PDPTA, 2004)

Grand Challenges of System Programming. - Victor Ivannikov (Ershov Memorial Conference, 2006)

Operating System of the Multi-machine Computer AS-6. - Igor B. Bourdonov; V. P. Ivannikov; Alexander S. Kossatchev; Sergey D. Kuznetsov; A. N. Tomilin (SoRuCom, 2006)

Estimation of dynamical characteristics of a parallel program on a model. - V. P. Ivannikov; Sergey S. Gaissaryan; Arutyun Avetisyan; Vartan A. Padaryan (Program. Comput. Softw., 2006)

Model Based Performance Evaluation for MPI Programs. - Victor Ivannikov; Serguei Gaissaryan; Arutyun Avetisyan; Vartan A. Padaryan (PaCT, 2007)

The use of contract specifications for representing requirements and for functional testing of hardware models. - V. P. Ivannikov; Alexander S. Kamkin; Alexander S. Kossatchev; Victor V. Kuliamin; Alexander K. Petrenko (Program. Comput. Softw., 2007)

Construction of speculative optimization algorithms. - A. A. Belevantsev; Sergey S. Gaisaryan; V. P. Ivannikov (Program. Comput. Softw., 2008)

Implementation of parallel programs interpreter in the development environment ParJava. - V. P. Ivannikov; Arutyun Avetisyan; Sergey S. Gaissaryan; M. S. Akopyan (Program. Comput. Softw., 2009)

Software for improving the energy efficiency of a computer cluster. - V. P. Ivannikov; Dmitry Grushin; Nikolay N. Kuzyurin; A. I. Pospelov; Alexander V. Shokurov (Program. Comput. Softw., 2010)

Static analyzer Svace for finding defects in a source program code. - V. P. Ivannikov; A. A. Belevantsev; Alexey E. Borodin; V. N. Ignatiev; D. M. Zhurikhin; Arutyun Avetisyan (Program. Comput. Softw., 2014)

Analysis of entities in C and C++ programs and relations between them for program understanding. - A. A. Belevantsev; E. A. Veselevich; V. P. Ivannikov (Program. Comput. Softw., 2016)

Data representation model for in-depth analysis of network traffic. - Alexander I. Getman; V. P. Ivannikov; Yu. V. Markin; Vartan A. Padaryan; A. Yu. Tikhonov (Program. Comput. Softw., 2016)