Bulletin of the Novosibirsk Computing Center. Series: Computer Science Short Title: Bull. Novosib. Comput. Cent., Ser. Comput. Sci. Publisher: Russian Academy of Sciences - RAS (Rossiĭskaya Akademiya Nauk - RAN), Siberian Branch (Sibirskoe Otdelenie), Novosibirsk; NCC Publisher, Novosibirsk Online: http://www.sscc.ru/BNCC Successor: Joint Bulletin of the Novosibirsk Computing Center (NCC) and A. P. Ershov Institute of Informatics Systems (IIS). Series: Computer Science Comments: No longer indexed Documents Indexed: 42 Publications (1993–1997) all top 5 Latest Issues 6 (1997) 5 (1996) 4 (1996) 3 (1995) 2 (1994) 1 (1993) all top 5 Authors 5 Nepomniaschaya, Anna Shmilevna 4 Bandman, Olga L. 4 Monakhov, O. G. 4 Vazhenin, A. P. 3 Virbitskaite, Irina B. 2 Baklanova, Olga E. 2 Berezin, S. A. 2 Fet, Ya. I. 2 Kasyanov, Victor N. 2 Markova, Valentina P. 2 Monakhova, Eh. A. 2 Sabel’fel’d, A. V. 2 Tarasyuk, Igor’ Valer’evich 2 Vasilenko, Vladimir A. 2 Votintseva, A. V. 1 Achasova, S. M. 1 Artem’ev, Sergeĭ Semenovich 1 Balandin, M. Yu. 1 Bezhanova, M. M. 1 Bozhenkova, Elena N. 1 Chernyshev, O. V. 1 Gusev, S. A. 1 Kozhevnikov, Valeriy Vladimirovich 1 Kvashnin, G. A. 1 Moskvina, L. A. 1 Nepomniaschy, Valery A. 1 Nesterenko, Tatjana V. 1 Okunishnikova, E. V. 1 Piskunov, S. V. 1 Pudov, S. G. 1 Royak, M. Eh. 1 Sabelfeld, Viktor K. 1 Sedukhin, I. S. 1 Sedukhin, Stanislav G. 1 Shilov, Nikolay V. 1 Shneider, P. V. 1 Shurina, Èlla Petrovna 1 Shvetsov, I. E. 1 Soloveichik, Yuri G. 1 Vladyko, M. A. all top 5 Fields 37 Computer science (68-XX) 14 Numerical analysis (65-XX) 4 Operations research, mathematical programming (90-XX) 2 Information and communication theory, circuits (94-XX) 1 Mathematical logic and foundations (03-XX) 1 Combinatorics (05-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 General algebraic systems (08-XX) 1 Approximations and expansions (41-XX) 1 Abstract harmonic analysis (43-XX) 1 Optics, electromagnetic theory (78-XX) Publications by Year Citations contained in zbMATH Open 2 Publications have been cited 2 times in 2 Documents Cited by ▼ Year ▼ On a symbolic method of verification for definite iteration over data structures. Zbl 0951.68080Nepomniaschy, V. A. 1 1996 On parallel recursive mapping algorithm for pyramidal multiprocessor systems. Zbl 0938.68965Monakhov, O. G. 1 1995 On a symbolic method of verification for definite iteration over data structures. Zbl 0951.68080Nepomniaschy, V. A. 1 1996 On parallel recursive mapping algorithm for pyramidal multiprocessor systems. Zbl 0938.68965Monakhov, O. G. 1 1995 Cited by 5 Authors 1 Bahiense, Laura 1 de Souza, Cid Carvalho 1 Manić, Gordana 1 Nepomnyashchy, V. A. 1 Piva, Breno Cited in 2 Journals 1 Discrete Applied Mathematics 1 Cybernetics and Systems Analysis Cited in 3 Fields 1 Combinatorics (05-XX) 1 Computer science (68-XX) 1 Operations research, mathematical programming (90-XX) Citations by Year