RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB
General information
Latest issue
Archive
Impact factor

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS



Model. Anal. Inform. Sist.:
Year:
Volume:
Issue:
Page:
Find






Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register

Author Index, 2010, Volume 17

A B C D E F G H K L M N P R S T V W Z Full List
I. V. Alekseev, S. A. Merkulov, A. A. Sivov
Aspects of the ARTCP implementation for the Linux kernel 2.6
Model. Anal. Inform. Sist., 2010, Volume 17:2,  144–149
M. Anikeev, F. Madlener, A. Schlosser, S. A. Huss, C. Walther
Automated correctness proof of algorithm variants in elliptic curve cryptography
Model. Anal. Inform. Sist., 2010, Volume 17:4,  7–16
I. S. Anureev, I. V. Mar'yasov, V. A. Nepomnyashchii
C-programs verification on basis of mixed axiomatic semantics
Model. Anal. Inform. Sist., 2010, Volume 17:3,  5–28
I. S. Anureev, see V. A. Nepomnyashchii
Model. Anal. Inform. Sist., 2010, Volume 17:4,  88–100
M. M. Atuchin, see V. A. Nepomnyashchii
Model. Anal. Inform. Sist., 2010, Volume 17:4,  88–100
A. V. Bataev, A. A. Davydov, N. Yu. Nalyutin, S. V. Sinitsyn
Test data generation based on a formal analysis of the project configuration
Model. Anal. Inform. Sist., 2010, Volume 17:4,  17–26
Yu. A. Belov
Composite reductions for Kripke models
Model. Anal. Inform. Sist., 2010, Volume 17:3,  29–37
V. N. Boikov, V. E. Zakharov, I. A. Pil'shchikov, T. M. Sysoev
Thesaurus as a poetological tool
Model. Anal. Inform. Sist., 2010, Volume 17:1,  5–23
I. B. Burdonov, A. S. Kosachev
Safe simulation testing of systems with refusals and destructions
Model. Anal. Inform. Sist., 2010, Volume 17:4,  27–40
D. Yu. Chalyi, see E. V. Kuz'min
Model. Anal. Inform. Sist., 2010, Volume 17:1,  52–64
D. Yu. Chalyi, see E. V. Kuz'min
Model. Anal. Inform. Sist., 2010, Volume 17:2,  48–71
E. A. Cherkashin, see A. V. Davydov
Model. Anal. Inform. Sist., 2010, Volume 17:4,  60–70
A. A. Davydov, see A. V. Bataev
Model. Anal. Inform. Sist., 2010, Volume 17:4,  17–26
A. V. Davydov, A. A. Larionov, E. A. Cherkashin
On the calculus of positively constructed formulas for authomated theorem proving
Model. Anal. Inform. Sist., 2010, Volume 17:4,  60–70
M. I. Dekhtyar', see M. K. Valiev
Model. Anal. Inform. Sist., 2010, Volume 17:4,  41–50
N. A. Dem'yankov
Variational inequalities and the principle of virtual displacements
Model. Anal. Inform. Sist., 2010, Volume 17:3,  48–57
M. G. Dorrer
An algorithm of converting business-process models into monochrome Petri nets on the basis of matrix formulas
Model. Anal. Inform. Sist., 2010, Volume 17:2,  5–16
P. E. Efimova
A mathematical model of an order management automated system within the process of production technological preparation in aviation enterprisers
Model. Anal. Inform. Sist., 2010, Volume 17:1,  25–42
N. P. Fedotova
Universal extremum of hyperplanes in some optimization problems
Model. Anal. Inform. Sist., 2010, Volume 17:3,  91–106
N. O. Garanina
Model checking of distributed systems with affine data structures
Model. Anal. Inform. Sist., 2010, Volume 17:4,  52–59
D. V. Glazkov, S. A. Kashchenko
Local dynamics of DDE with large delay in the vicinity of the self-similar cycle
Model. Anal. Inform. Sist., 2010, Volume 17:3,  38–47
S. D. Glyzin, E. O. Kiseleva
The account of delay in a connecting element between two oscillators
Model. Anal. Inform. Sist., 2010, Volume 17:2,  133–143
S. D. Glyzin
Relaxation oscillations of electrically coupled neuron-like systems with delay
Model. Anal. Inform. Sist., 2010, Volume 17:2,  28–47
S. D. Glyzin, E. A. Soldatova
The factor of delay in a system of coupled oscillators FitzHugh–Nagumo
Model. Anal. Inform. Sist., 2010, Volume 17:3,  134–143
E. V. Grigorieva, I. S. Kashchenko, S. A. Kashchenko
Multistability in a laser model with large delay
Model. Anal. Inform. Sist., 2010, Volume 17:2,  17–27
S. A. Huss, see M. Anikeev
Model. Anal. Inform. Sist., 2010, Volume 17:4,  7–16
S. A. Kaschenko, see E. V. Grigoryeva
Model. Anal. Inform. Sist., 2010, Volume 17:2,  17–27
S. A. Kaschenko, see D. V. Glazkov
Model. Anal. Inform. Sist., 2010, Volume 17:3,  38–47
I. S. Kashchenko, see E. V. Grigoryeva
Model. Anal. Inform. Sist., 2010, Volume 17:2,  17–27
E. O. Kiseleva, see S. D. Glyzin
Model. Anal. Inform. Sist., 2010, Volume 17:2,  133–143
A. V. Klepinin, A. A. Melent'ev
Integration of semantic verification into Java compilers
Model. Anal. Inform. Sist., 2010, Volume 17:4,  70–77
I. V. Konnov, V. A. Zakharov
The application of adaptive symmetry reduction for LTL model checking
Model. Anal. Inform. Sist., 2010, Volume 17:4,  78–87
A. S. Kosachev, see I. B. Burdonov
Model. Anal. Inform. Sist., 2010, Volume 17:4,  27–40
G. A. Kurina, Nguyên Thi Hoài
On a zero order approximation of an asymptotic solution for a singularly perturbed linear-quadratic control problem with discontinuous coefficients
Model. Anal. Inform. Sist., 2010, Volume 17:1,  93–116
E. V. Kuz'min, D. Yu. Chalyi
On a reachability set of automaton counter machines
Model. Anal. Inform. Sist., 2010, Volume 17:1,  52–64
E. V. Kuz'min, D. Yu. Chalyi
On languages of automaton counter machines
Model. Anal. Inform. Sist., 2010, Volume 17:2,  48–71
A. A. Larionov, see A. V. Davydov
Model. Anal. Inform. Sist., 2010, Volume 17:4,  60–70
F. Madlener, see M. Anikeev
Model. Anal. Inform. Sist., 2010, Volume 17:4,  7–16
A. N. Maksimenko
On the number of facets of a 2-neighborly polytope
Model. Anal. Inform. Sist., 2010, Volume 17:1,  76–82
I. V. Maryasov, see I. S. Anureev
Model. Anal. Inform. Sist., 2010, Volume 17:3,  5–28
I. V. Maryasov, see V. A. Nepomnyashchii
Model. Anal. Inform. Sist., 2010, Volume 17:4,  88–100
N. V. Melen'chuk, see A. V. Zykina
Model. Anal. Inform. Sist., 2010, Volume 17:1,  65–75
A. A. Melent'ev, see A. V. Klepinin
Model. Anal. Inform. Sist., 2010, Volume 17:4,  70–77
S. A. Merkulov, see I. V. Alekseev
Model. Anal. Inform. Sist., 2010, Volume 17:2,  144–149
N. Yu. Nalyutin, see A. V. Bataev
Model. Anal. Inform. Sist., 2010, Volume 17:4,  17–26
V. A. Nepomnyashchii, see I. S. Anureev
Model. Anal. Inform. Sist., 2010, Volume 17:3,  5–28
V. A. Nepomnyashchii, V. A. Sokolov
From the editors of the special issue
Model. Anal. Inform. Sist., 2010, Volume 17:4,  1–2
V. A. Nepomnyashchii, I. S. Anureev, M. M. Atuchin, I. V. Mar'yasov, A. A. Petrov, A. V. Promskii
C program verification in the multilanguage system spectrum
Model. Anal. Inform. Sist., 2010, Volume 17:4,  88–100
Nguyên Thị Hoài, see G. A. Kurina
Model. Anal. Inform. Sist., 2010, Volume 17:1,  93–116
A. V. Nikolaev
On nonintegral vertices of 3-SAT problem relaxation polytope
Model. Anal. Inform. Sist., 2010, Volume 17:2,  99–111
A. A. Petrov, see V. A. Nepomnyashchii
Model. Anal. Inform. Sist., 2010, Volume 17:4,  88–100
K. V. Petrova
Properties of weak pm-reducibility of sets
Model. Anal. Inform. Sist., 2010, Volume 17:1,  44–51
I. A. Pil'shchikov, see V. N. Boikov
Model. Anal. Inform. Sist., 2010, Volume 17:1,  5–23
A. V. Promskii, see V. A. Nepomnyashchii
Model. Anal. Inform. Sist., 2010, Volume 17:4,  88–100
S. N. Pupyrev, A. V. Tikhonov
The analysis of complex networks with dynamic graph visualization
Model. Anal. Inform. Sist., 2010, Volume 17:1,  117–135
V. S. Rublev, A. V. Smirnov
The problem of integer-valued balancing of a three-dimensional matrix and algorithms of its solution
Model. Anal. Inform. Sist., 2010, Volume 17:2,  72–98
V. S. Rublev
The object query language of the dynamic information model DIM
Model. Anal. Inform. Sist., 2010, Volume 17:3,  144–161
D. V. Sandulyak
The buffer phenomenon in the generalization of the Swift–Hohenberg equation
Model. Anal. Inform. Sist., 2010, Volume 17:1,  83–93
A. V. Sboyev
Recurrence sequences over near-rings
Model. Anal. Inform. Sist., 2010, Volume 17:3,  58–71
A. Schlosser, see M. Anikeev
Model. Anal. Inform. Sist., 2010, Volume 17:4,  7–16
A. V. Shalimov
A method of determining the execution frequency of program basic blocks
Model. Anal. Inform. Sist., 2010, Volume 17:2,  122–132
V. I. Shelekhov
Verification and synthesis of addition programs under the rules of statement correctness
Model. Anal. Inform. Sist., 2010, Volume 17:4,  101–110
N. V. Shilov
F@BOOL@: experiment with a simple verifying compiler based on SAT-solvers
Model. Anal. Inform. Sist., 2010, Volume 17:4,  111–124
I. V. Shoshmina
Distributed embedded control systems design with verification support
Model. Anal. Inform. Sist., 2010, Volume 17:4,  125–136
S. V. Sinitsyn, see A. V. Bataev
Model. Anal. Inform. Sist., 2010, Volume 17:4,  17–26
A. A. Sivov, see I. V. Alekseev
Model. Anal. Inform. Sist., 2010, Volume 17:2,  144–149
A. V. Smirnov, see V. S. Rublev
Model. Anal. Inform. Sist., 2010, Volume 17:2,  72–98
A. S. Snyatkov
On decidability of the theory $\mathrm{Th}(\omega,0,1,<,+,f_0,…,f_n)$
Model. Anal. Inform. Sist., 2010, Volume 17:3,  72–90
V. A. Sokolov, see V. A. Nepomnyashchii
Model. Anal. Inform. Sist., 2010, Volume 17:4,  1–2
E. A. Soldatova, see S. D. Glyzin
Model. Anal. Inform. Sist., 2010, Volume 17:3,  134–143
T. M. Sysoev, see V. N. Boikov
Model. Anal. Inform. Sist., 2010, Volume 17:1,  5–23
G. A. Tarnavskii
Cloud computing in Internet: a brief excursus into the Computer Simulation Center
Model. Anal. Inform. Sist., 2010, Volume 17:2,  112–121
A. V. Tikhonov, see S. N. Pupyrev
Model. Anal. Inform. Sist., 2010, Volume 17:1,  117–135
A. M. Tsirlin
Mathematical models of economic systems with account of the irreversibility of processes proceeding in them
Model. Anal. Inform. Sist., 2010, Volume 17:3,  107–132
M. K. Valiev, M. I. Dekhtyar'
On complexity of verification of nondeterministic probabilistic multiagent systems
Model. Anal. Inform. Sist., 2010, Volume 17:4,  41–50
C. Walther, see M. Anikeev
Model. Anal. Inform. Sist., 2010, Volume 17:4,  7–16
V. A. Zakharov, see I. V. Konnov
Model. Anal. Inform. Sist., 2010, Volume 17:4,  78–87
V. E. Zakharov, see V. N. Boikov
Model. Anal. Inform. Sist., 2010, Volume 17:1,  5–23
A. V. Zykina, N. V. Melen'chuk
A doublestep extragradient method for solving a resource management problem
Model. Anal. Inform. Sist., 2010, Volume 17:1,  65–75
Моделирование и анализ информационных систем
 
Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2019