V. P. Ivannikov

	2007
3		V. P. Ivannikov, A. S. Kamkin, Alexander Kossatchev, Victor V. Kuliamin, Alexander K. Petrenko: The use of contract specifications for representing requirements and for functional testing of hardware models. Programming and Computer Software 33(5): 272-282 (2007)
	2006
2		V. P. Ivannikov, Sergey S. Gaissaryan, Arutyun Avetisyan, V. A. Padaryan: Estimation of dynamical characteristics of a parallel program on a model. Programming and Computer Software 32(4): 203-214 (2006)
	1997
1		V. P. Ivannikov, K. V. Dyshlevoi, V. E. Kamensky, A. V. Klimov, S. G. Manzheley, V. A. Omelchenko, L. B. Solovskaya, A. A. Vinokurov: Cover Model: A Framework for Design and Execution of Distributed Applications. ISPAN 1997: 98-104

Coauthor Index

1	Arutyun Avetisyan	[2]
2	K. V. Dyshlevoi	[1]
3	Serguei Gaissaryan (Sergey S. Gaissaryan)	[2]
4	V. E. Kamensky	[1]
5	A. S. Kamkin	[3]
6	A. V. Klimov	[1]
7	Alexander Kossatchev	[3]
8	Victor V. Kuliamin	[3]
9	S. G. Manzheley	[1]
10	V. A. Omelchenko	[1]
11	V. A. Padaryan	[2]
12	Alexander K. Petrenko	[3]
13	L. B. Solovskaya	[1]
14	A. A. Vinokurov	[1]

Colors in the list of coauthors