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, 2011, Volume 18

A B C D E G I J K M N O P R S T Z Full List
S. A. Amelkin, O. S. Ivanova
Limiting Possibilities of Transmission of Information in an Economic Macrosystem
Model. Anal. Inform. Sist., 2011, Volume 18:3,  75–81
I. S. Anureev, see M. M. Atuchin
Model. Anal. Inform. Sist., 2011, Volume 18:4,  21–33
I. S. Anureev
Typical examples of Atoment language using
Model. Anal. Inform. Sist., 2011, Volume 18:4,  7–20
M. M. Atuchin, I. S. Anureev
Attribute annotations and their use in C program deductive verification
Model. Anal. Inform. Sist., 2011, Volume 18:4,  21–33
S. N. Baranov, V. P. Kotlyarov
A formal requirements model, used in the process of application code and test code generation
Model. Anal. Inform. Sist., 2011, Volume 18:4,  118–130
V. A. Bashkin
Approximating bisimulation in one-counter nets
Model. Anal. Inform. Sist., 2011, Volume 18:4,  33–44
D. M. Beloglazov, M. Yu. Mashukov, V. A. Nepomnyashchii
Verification of telecommunication systems specified by communicating finite automata with the help of coloured Petri nets
Model. Anal. Inform. Sist., 2011, Volume 18:4,  144–156
M. A. Belyaev, V. A. Tsesko
LLVM-based static analysis tool using type and effect systems
Model. Anal. Inform. Sist., 2011, Volume 18:4,  45–55
E. V. Bodin, N. O. Garanina, N. V. Shilov
Mars robot puzzle (a multiagent approach to the Dijkstra problem)
Model. Anal. Inform. Sist., 2011, Volume 18:2,  113–128
A. Cavalli, see N. G. Kushik
Model. Anal. Inform. Sist., 2011, Volume 18:4,  131–143
A. G. Chentsov, see A. M. Grigoriev
Model. Anal. Inform. Sist., 2011, Volume 18:3,  101–124
N. A. Dem'yankov
About two finite-dimensional approximations of the periodic boundary value problem
Model. Anal. Inform. Sist., 2011, Volume 18:3,  63–74
O. A. Dunaeva
Principles of constructing layered neural networks based on pulse neurons
Model. Anal. Inform. Sist., 2011, Volume 18:2,  65–76
N. V. Evtushenko, see N. G. Kushik
Model. Anal. Inform. Sist., 2011, Volume 18:4,  131–143
N. O. Garanina, see E. V. Bodin
Model. Anal. Inform. Sist., 2011, Volume 18:2,  113–128
N. O. Garanina
Optimization procedures in affine model checking
Model. Anal. Inform. Sist., 2011, Volume 18:4,  56–67
D. V. Glazkov
Local dynamics of an equation with long delay feedback
Model. Anal. Inform. Sist., 2011, Volume 18:1,  75–85
M. I. Glukhikh, V. M. Itsykson, V. A. Tsesko
The use of dependencies for improving the precision of program static analysis
Model. Anal. Inform. Sist., 2011, Volume 18:4,  68–79
D. S. Glyzin, S. A. Kashchenko, A. S. Polst'yanov
Spatially inhomogeneous periodic solutions in the Hutchinson equation with distributed saturation
Model. Anal. Inform. Sist., 2011, Volume 18:1,  37–45
S. D. Glyzin, E. O. Ovsyannikova
Quasi-periodic oscillations of a neuron equation with two delays
Model. Anal. Inform. Sist., 2011, Volume 18:1,  86–105
E. A. Golenkov, see G. V. Tarasov
Model. Anal. Inform. Sist., 2011, Volume 18:2,  18–38
E. V. Gorchakova
Dynamics of weak interaction in a system of similar species
Model. Anal. Inform. Sist., 2011, Volume 18:1,  68–74
A. M. Grigoriev, E. E. Ivanko, A. G. Chentsov
Dynamic programming in a generalized courier problem with inner tasks: elements of a parallel structure
Model. Anal. Inform. Sist., 2011, Volume 18:3,  101–124
V. M. Itsykson, see M. I. Glukhikh
Model. Anal. Inform. Sist., 2011, Volume 18:4,  68–79
E. E. Ivanko, see A. M. Grigoriev
Model. Anal. Inform. Sist., 2011, Volume 18:3,  101–124
O. S. Ivanova, see S. A. Amelkin
Model. Anal. Inform. Sist., 2011, Volume 18:3,  75–81
V. I. Janvarev
Module-based multimedia document model: basic principles and software architecture
Model. Anal. Inform. Sist., 2011, Volume 18:3,  125–143
W. Jimenez, see N. G. Kushik
Model. Anal. Inform. Sist., 2011, Volume 18:4,  131–143
S. A. Kashchenko
Dynamics of a quasi-linear boundary problem generalizing the equation with large delay
Model. Anal. Inform. Sist., 2011, Volume 18:1,  28–31
S. A. Kaschenko, see D. S. Glyzin
Model. Anal. Inform. Sist., 2011, Volume 18:1,  37–45
S. A. Kashchenko
Principal quasinormal forms for two-component systems of parabolic equations
Model. Anal. Inform. Sist., 2011, Volume 18:3,  12–20
A. A. Kashchenko
Analysis of running waves stability in the Ginzburg–Landau equation with small diffusion
Model. Anal. Inform. Sist., 2011, Volume 18:3,  58–62
I. S. Kashchenko
Dynamical properties of a model for the passive mode locking
Model. Anal. Inform. Sist., 2011, Volume 18:1,  32–36
I. S. Kashchenko
Local dynamics of an equation with large exponential distributed delay
Model. Anal. Inform. Sist., 2011, Volume 18:3,  42–49
D. I. Kharitonov, see G. V. Tarasov
Model. Anal. Inform. Sist., 2011, Volume 18:2,  18–38
A. V. Klimov
A simple algorithm for solving the coverability problem for monotonic counter systems
Model. Anal. Inform. Sist., 2011, Volume 18:4,  106–117
V. P. Kotlyarov, see S. N. Baranov
Model. Anal. Inform. Sist., 2011, Volume 18:4,  118–130
A. Yu. Koverga, E. P. Kubishkin
Chaotic oscillations of a distributed system with infinite delay
Model. Anal. Inform. Sist., 2011, Volume 18:1,  46–55
E. P. Kubishkin, see A. Yu. Koverga
Model. Anal. Inform. Sist., 2011, Volume 18:1,  46–55
A. N. Kulikov, G. V. Pilipenko
Resonances in the problem of the panel flutter in a supersonic gas flow
Model. Anal. Inform. Sist., 2011, Volume 18:1,  56–67
N. G. Kushik, A. Mammar, A. Cavalli, N. V. Evtushenko, W. Jimenez, E. Montes de Oca
A SPIN-based approach for detecting vulnerabilities in С programs
Model. Anal. Inform. Sist., 2011, Volume 18:4,  131–143
S. D. Kuznetsov, N. A. Mendkovich
Optimization of queries containing conjunctions of conditions
Model. Anal. Inform. Sist., 2011, Volume 18:3,  144–154
A. N. Malkov, G. P. Shtern, I. A. Mikhaylov
The decomposition of a train into its cars
Model. Anal. Inform. Sist., 2011, Volume 18:2,  77–112
A. Mammar, see N. G. Kushik
Model. Anal. Inform. Sist., 2011, Volume 18:4,  131–143
M. Yu. Mashukov, see D. M. Beloglazov
Model. Anal. Inform. Sist., 2011, Volume 18:4,  144–156
A. V. Mayorov
A strategy for the execution of copy and delete operations in the tree of objects
Model. Anal. Inform. Sist., 2011, Volume 18:1,  116–129
N. A. Mendkovich, see S. D. Kuznetsov
Model. Anal. Inform. Sist., 2011, Volume 18:3,  144–154
I. A. Mikhailov, see A. N. Malkov
Model. Anal. Inform. Sist., 2011, Volume 18:2,  77–112
M. Yu. Moiseev, see A. V. Zakharov
Model. Anal. Inform. Sist., 2011, Volume 18:4,  94–105
E. Montes de Oca, see N. G. Kushik
Model. Anal. Inform. Sist., 2011, Volume 18:4,  131–143
A. N. Morozov
On differential and antidifferential operators
Model. Anal. Inform. Sist., 2011, Volume 18:3,  50–57
V. A. Nepomnyashchii, see D. M. Beloglazov
Model. Anal. Inform. Sist., 2011, Volume 18:4,  144–156
V. A. Nepomnyashchii, V. A. Sokolov
From the editors of the special issue
Model. Anal. Inform. Sist., 2011, Volume 18:4,  5–6
P. N. Nesterov
Time scales and the asymptotics for the solutions of discrete adiabatic oscillators
Model. Anal. Inform. Sist., 2011, Volume 18:1,  5–27
P. N. Nesterov
On asymptotics for critical solutions of systems of differential equations with oscillatory decreasing coefficients
Model. Anal. Inform. Sist., 2011, Volume 18:3,  21–41
M. V. Nevskii
Geometric estimates in the polynomial interpolation
Model. Anal. Inform. Sist., 2011, Volume 18:1,  142–148
M. V. Nevskii
On geometric characteristics of an $n$-dimensional simplex
Model. Anal. Inform. Sist., 2011, Volume 18:2,  52–64
M. V. Nevskii
On the Lassak conjecture for a convex body
Model. Anal. Inform. Sist., 2011, Volume 18:3,  5–11
A. V. Nikolaev
Hypergraphs of special type and CUT polytope relaxations properties analysis
Model. Anal. Inform. Sist., 2011, Volume 18:3,  82–100
E. O. Ovsyannikova, see S. D. Glyzin
Model. Anal. Inform. Sist., 2011, Volume 18:1,  86–105
I. V. Paramonov
Relaxation cycles of the generalized pulsed neuron equation
Model. Anal. Inform. Sist., 2011, Volume 18:1,  106–115
G. V. Pilipenko, see A. N. Kulikov
Model. Anal. Inform. Sist., 2011, Volume 18:1,  56–67
A. S. Polst'yanov, see D. S. Glyzin
Model. Anal. Inform. Sist., 2011, Volume 18:1,  37–45
S. V. Polyakov
On tensor squares of irreducible representations of almost simple groups. I
Model. Anal. Inform. Sist., 2011, Volume 18:1,  130–141
S. V. Polyakov
On tensor squares of reducible representations of almost simple groups. II
Model. Anal. Inform. Sist., 2011, Volume 18:2,  5–17
A. V. Promskii
C program verification: VC explanation and the standard library
Model. Anal. Inform. Sist., 2011, Volume 18:4,  157–167
V. S. Rublev
Object query computing optimization in the dynamic information model DIM
Model. Anal. Inform. Sist., 2011, Volume 18:2,  39–51
N. V. Shilov, see E. V. Bodin
Model. Anal. Inform. Sist., 2011, Volume 18:2,  113–128
N. V. Shilov
Verification of backtracking and branch and bound design templates
Model. Anal. Inform. Sist., 2011, Volume 18:4,  168–180
G. P. Shtern, see A. N. Malkov
Model. Anal. Inform. Sist., 2011, Volume 18:2,  77–112
A. A. Sivov
ARTCP packet structure. Features of the formation and processing of ARTCP headers in Linux network subsystem
Model. Anal. Inform. Sist., 2011, Volume 18:2,  129–138
V. A. Sokolov, see V. A. Nepomnyashchii
Model. Anal. Inform. Sist., 2011, Volume 18:4,  5–6
G. V. Tarasov, D. I. Kharitonov, E. A. Golenkov
On a function representation in an imperative program model specified by Petri nets
Model. Anal. Inform. Sist., 2011, Volume 18:2,  18–38
V. A. Tsesko, see M. A. Belyaev
Model. Anal. Inform. Sist., 2011, Volume 18:4,  45–55
V. A. Tsesko, see M. I. Glukhikh
Model. Anal. Inform. Sist., 2011, Volume 18:4,  68–79
D. A. Zaitsev
Inhibitor Petri net that executes an arbitrary given Markov normal algorithm
Model. Anal. Inform. Sist., 2011, Volume 18:4,  80–93
A. V. Zakharov, M. Yu. Moiseev
Automatic data race error detection in systemC models
Model. Anal. Inform. Sist., 2011, Volume 18:4,  94–105
Моделирование и анализ информационных систем
 
Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2019