×

zbMATH — the first resource for mathematics

Joint Bulletin of the Novosibirsk Computing Center (NCC) and A. P. Ershov Institute of Informatics Systems (IIS). Series: Computer Science

Short Title: Jt. Bull. NCC IIS, Ser. Comput. Sci.
Publisher: Russian Academy of Sciences - RAS (Rossiĭskaya Akademiya Nauk - RAN), Siberian Branch (Sibirskoe Otdelenie), Novosibirsk; NCC Publisher, Novosibirsk
ISSN: 1680-6972
Online: http://bulletin.iis.nsk.su/series/computer-science/
http://www.sscc.ru/BNCC/
Predecessor: Bulletin of the Novosibirsk Computing Center. Series: Computer Science
Documents Indexed: 188 Publications (since 1997)
References Indexed: 1 Publication with 5 References.
all top 5

Authors

18 Nepomniaschaya, Anna Shmilevna
16 Anureev, Igor S.
11 Shilov, Nikolay V.
9 Tarasyuk, Igor’ Valer’evich
9 Tarkov, Mikhail S.
6 Bandman, Olga L.
5 Gribovskaya, Nataliya Sergeevna
5 Markova, Valentina P.
5 Nepomnyashchy, V. A.
4 Apanovich, Z. V.
4 Bodin, Evgeny V.
4 Bredikhin, Sergey Vsevolodovich
4 Ostapkevich, M. B.
4 Zamulin, Aleksandr Vasil’evich
3 Achasova, S. M.
3 Batura, Tatyana V.
3 Bozhenkova, Elena N.
3 Chkliaev, Dmitri A.
3 Nepomniaschy, Valery A.
3 Virbitskaite, Irina B.
3 Vshivkov, Vitaly A.
3 Zagorulko, Yury A.
2 Afanas’ev, I. V.
2 Buchholz, Peter
2 Dubranovsky, I. V.
2 Garanina, Natalia O.
2 Kalgin, Konstantin V.
2 Khutoretsky, Alexander B.
2 Korneev, Vladimir D.
2 Malyshkin, V. Eh.
2 Marchuk, Aleksandr Gur’evich
2 Monfroy, Eric
2 Murzin, Fedor A.
2 Murzin, Feodor A.
2 Petrov, Evgueni S.
2 Piskunov, S. V.
2 Pokozy, E. A.
2 Ponomaryov, Denis K.
2 Popov, Ivan G.
2 Shilova, S. O.
2 Sidorova, Elena A.
2 Snytnikova, T. V.
2 Sokolov, Valery A.
2 Vinokurov, P. S.
1 Abramskiĭ, M.
1 Andreeva, Maria V.
1 Apanovich, Zinaida
1 Apt, Krzysztof Rafal
1 Badin, N. M.
1 Bashkin, Vladimir A.
1 Baskakov, E. M.
1 Bezrukov, Yakov S.
1 Borets, T. V.
1 Botoeva, Elena
1 Brand, Sebastian
1 Brodskij, German M.
1 Bulyonkov, Mikhail A.
1 Bulyonkova, A. A.
1 Bulyonkova, Anna
1 Bystrov, A. S.
1 Castro, Carlos
1 Cherepanov, D. N.
1 Chernykh, Gennadiǐ Georgievich
1 Chervov, Victor V.
1 Churina, T. G.
1 Dedova, Anna
1 Demin, Aleksandr Viktorovich
1 Dorojevets, M.
1 Dubtsov, Roman S.
1 Dugarov, G. A.
1 Elagin, V. A.
1 Emelianov, P. G.
1 Emelyanov, Pavel G.
1 Ershov, Alexey G.
1 Evseev, A. A.
1 Filatkina, Natalia
1 Fleischhack, Hans
1 Fougère, Dominique
1 Gatilov, Stepan Yu.
1 Gennari, Rosella
1 Glodovski, Alina
1 Goedheer, W. J.
1 Gordeev, D. S.
1 Grebeneva, S. O.
1 Grebeneva, Yu. V.
1 Gurchenkov, D. S.
1 Hoffman, Josef D.
1 Inishev, D.
1 Kalinnikov, Pavel A.
1 Kedrinskij, Valery K.
1 Kireeva, Anastasiya E.
1 Kiselev, Alexey V.
1 Kislicina, Tamara
1 Kleymenov, Alexander
1 Kobilov, S. S.
1 Kopylova, Natalia
1 Kostov, Yuri V.
1 Kostov, Yuriy
1 Kotel’nikov, E. A.
1 Kouzminov, T.
...and 62 more Authors

Publications by Year

Citations contained in zbMATH Open

21 Publications have been cited 33 times in 25 Documents Cited by Year
On decomposability in logical calculi. Zbl 1249.03044
Ponomaryov, D. K.
5
2008
Net and algebraic approaches to probabilistic modeling. Zbl 1004.68112
Buchholz, Peter; Tarasyuk, I. V.
3
2001
Cellular automata composition techniques for spatial dynamics simulation. Zbl 1249.68119
Bandman, Olga L.
3
2008
Basic associative parallel algorithms for vertical processing systems. Zbl 1374.68719
Nepomniaschaya, A. S.
2
2009
Cellular automata diffusion models for multicomputer implementation. Zbl 1374.37017
Bandman, O. L.
2
2014
Iteration in discrete time stochastic Petri box calculus. Zbl 1249.68132
Tarasyuk, Igor V.
2
2006
Synchronous versus asynchronous cellular automata for simulating nano-systems kinetics. Zbl 1249.68118
Bandman, Olga L.
2
2006
Towards decidability of timed testing. Zbl 1004.68092
Bozhenkova, E. N.
1
2001
Constructions used in associative parallel algorithms for undirected graphs. I. Zbl 1374.68720
Nepomniaschaya, Anna
1
2013
Cellular automata simulation of self-organization in the bacterial MinCDE system. Zbl 1374.68314
Vitvitskiĭ, A. A.
1
2014
Bisimulation for fluid stochastic Petri nets. Zbl 1374.68344
Tarasyuk, I. V.; Buchholz, Peter
1
2015
An associative version of the Ramalingam decremental algorithm for the dynamic all-pairs shortest-path problem. Zbl 1374.68722
Nepomniaschaya, Anna
1
2016
Implementation of the STAR-machine on GPU. Zbl 1374.68723
Snytnikova, T. V.; Snytnikov, A. V.
1
2016
Simulation of complex phenomena by Cellular Automata composition. Zbl 1101.68688
Bandman, O. L.
1
2004
A new technique for updating tree paths on associative parallel processors. Zbl 1101.68732
Nepomnyashchaya, A. S.
1
2004
Nets of active resources for distributed systems modeling. Zbl 1249.68125
Bashkin, Vladimir A.
1
2008
Ontological transition systems structures. Zbl 1249.68094
Anureev, Igor S.
1
2007
A language of actions in ontological transition systems. Zbl 1249.68095
Anureev, Igor S.
1
2007
Effective generation of verification conditions for non-deterministic unstructured programs. Zbl 1249.68027
Anureev, Igor S.; Bodin, Evgeny V.; Shilov, Nikolay V.
1
2007
Acceleration of linear congruent generators. Zbl 1249.65002
Kalgin, Konstantin V.
1
2008
Parallel simulation of asynchronous cellular automata evolution. Zbl 1249.68120
Kalgin, Konstantin V.
1
2008
An associative version of the Ramalingam decremental algorithm for the dynamic all-pairs shortest-path problem. Zbl 1374.68722
Nepomniaschaya, Anna
1
2016
Implementation of the STAR-machine on GPU. Zbl 1374.68723
Snytnikova, T. V.; Snytnikov, A. V.
1
2016
Bisimulation for fluid stochastic Petri nets. Zbl 1374.68344
Tarasyuk, I. V.; Buchholz, Peter
1
2015
Cellular automata diffusion models for multicomputer implementation. Zbl 1374.37017
Bandman, O. L.
2
2014
Cellular automata simulation of self-organization in the bacterial MinCDE system. Zbl 1374.68314
Vitvitskiĭ, A. A.
1
2014
Constructions used in associative parallel algorithms for undirected graphs. I. Zbl 1374.68720
Nepomniaschaya, Anna
1
2013
Basic associative parallel algorithms for vertical processing systems. Zbl 1374.68719
Nepomniaschaya, A. S.
2
2009
On decomposability in logical calculi. Zbl 1249.03044
Ponomaryov, D. K.
5
2008
Cellular automata composition techniques for spatial dynamics simulation. Zbl 1249.68119
Bandman, Olga L.
3
2008
Nets of active resources for distributed systems modeling. Zbl 1249.68125
Bashkin, Vladimir A.
1
2008
Acceleration of linear congruent generators. Zbl 1249.65002
Kalgin, Konstantin V.
1
2008
Parallel simulation of asynchronous cellular automata evolution. Zbl 1249.68120
Kalgin, Konstantin V.
1
2008
Ontological transition systems structures. Zbl 1249.68094
Anureev, Igor S.
1
2007
A language of actions in ontological transition systems. Zbl 1249.68095
Anureev, Igor S.
1
2007
Effective generation of verification conditions for non-deterministic unstructured programs. Zbl 1249.68027
Anureev, Igor S.; Bodin, Evgeny V.; Shilov, Nikolay V.
1
2007
Iteration in discrete time stochastic Petri box calculus. Zbl 1249.68132
Tarasyuk, Igor V.
2
2006
Synchronous versus asynchronous cellular automata for simulating nano-systems kinetics. Zbl 1249.68118
Bandman, Olga L.
2
2006
Simulation of complex phenomena by Cellular Automata composition. Zbl 1101.68688
Bandman, O. L.
1
2004
A new technique for updating tree paths on associative parallel processors. Zbl 1101.68732
Nepomnyashchaya, A. S.
1
2004
Net and algebraic approaches to probabilistic modeling. Zbl 1004.68112
Buchholz, Peter; Tarasyuk, I. V.
3
2001
Towards decidability of timed testing. Zbl 1004.68092
Bozhenkova, E. N.
1
2001

Citations by Year