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, 2014, Volume 21

A B C D E F G I K L M N P R S T V Y Z Full List
T. Y. Agapova, T. A. Bryksin
Support for visual languages evolution in DSM-platform QReal
Model. Anal. Inform. Sist., 2014, Volume 21:6,  107–119
Marat Akhin, Sam Kolton, Vladimir Itsykson
Random model sampling: making Craig interpolation work when it should not
Model. Anal. Inform. Sist., 2014, Volume 21:6,  7–17
S. V. Aleshin, S. A. Kaschenko
Local Dynamics of a Logistic Equation with Delay
Model. Anal. Inform. Sist., 2014, Volume 21:1,  73–88
E. Ju. Antoshina, A. N. Barakova, E. S. Nikitin, D. Ju. Chalyy
A Translator with a Security Static Analysis Feature of an Information Flow for a Simple Programming Language
Model. Anal. Inform. Sist., 2014, Volume 21:4,  5–12
D. N. Azarov
Some Residual Properties of Finite Rank Groups
Model. Anal. Inform. Sist., 2014, Volume 21:2,  50–55
M. V. Baklanovsky, A. R. Khanov
Identification of programs based on the behavior
Model. Anal. Inform. Sist., 2014, Volume 21:6,  120–130
A. N. Barakova, see E. Yu. Antoshina
Model. Anal. Inform. Sist., 2014, Volume 21:4,  5–12
V. A. Bashkin, N. Yu. Panfilova
Controllable deadlocks in parallel resource-constrained workflows
Model. Anal. Inform. Sist., 2014, Volume 21:6,  18–30
M. A. Belyaev, see M. A. Petrov
Model. Anal. Inform. Sist., 2014, Volume 21:6,  83–93
E. V. Bodin, see N. O. Garanina
Model. Anal. Inform. Sist., 2014, Volume 21:6,  31–43
V. G. Bogaevskaya, I. S. Kashchenko
The Influence of Delayed Feedback Control on Stabilization of Periodic Orbits
Model. Anal. Inform. Sist., 2014, Volume 21:1,  53–65
Y. V. Bogomolov
On the Equilibrium State Stability of a Neural Network Model
Model. Anal. Inform. Sist., 2014, Volume 21:3,  55–61
Yu. V. Bogomolov, S. D. Glyzin, A. Yu. Kolesov
On the number of coexisting autowaves in the chain of coupled oscillators
Model. Anal. Inform. Sist., 2014, Volume 21:5,  162–180
V. A. Bondarenko, A. V. Nikolaev
Some Properties of Metric Polytope Constraints
Model. Anal. Inform. Sist., 2014, Volume 21:4,  25–34
E. A. Boytsov
Applying Stochastic Metaheuristics to the Problem of Data Management in a Multi-Tenant Database Cluster
Model. Anal. Inform. Sist., 2014, Volume 21:4,  13–24
T. A. Bryksin, see T. Yu. Agapova
Model. Anal. Inform. Sist., 2014, Volume 21:6,  107–119
V. F. Butuzov, I. V. Denisov
Corner Boundary Layer in Nonlinear Elliptic Problems Containing Derivatives of First Order
Model. Anal. Inform. Sist., 2014, Volume 21:1,  7–31
N. D. Bykova, E. V. Grigorieva
Applying the Averaging Principle to a Logistic Equation with Rapidly Oscillating Delay
Model. Anal. Inform. Sist., 2014, Volume 21:1,  89–93
N. D. Bykova
Calculating Lyapunov Value for the Logistic Equation with Rapidly Oscillating Delay
Model. Anal. Inform. Sist., 2014, Volume 21:3,  121–128
D. Yu. Chalyi, see E. Yu. Antoshina
Model. Anal. Inform. Sist., 2014, Volume 21:4,  5–12
E. V. Chemeritsky, see V. A. Zakharov
Model. Anal. Inform. Sist., 2014, Volume 21:6,  57–70
A. M. Chepovskii, see M. I. Kolomeichenko
Model. Anal. Inform. Sist., 2014, Volume 21:6,  155–168
S. A. Chernenok, V. A. Nepomniaschy
Analysis and verification of message sequence charts of distributed systems with the help of Coloured Petri Nets
Model. Anal. Inform. Sist., 2014, Volume 21:6,  94–106
M. V. Demina, N. A. Kudryashov
Doubly periodic meromorphic solutions of autonomous nonlinear differential equations
Model. Anal. Inform. Sist., 2014, Volume 21:5,  49–60
I. V. Denisov, see V. F. Butuzov
Model. Anal. Inform. Sist., 2014, Volume 21:1,  7–31
P. D. Drobintsev, V. P. Kotlyarov, I. V. Nikiforov, A. A. Letichevsky
Incremental approach to the technology of test design for industrial projects
Model. Anal. Inform. Sist., 2014, Volume 21:6,  144–154
P. D. Drobintsev, V. P. Kotlyarov, I. V. Nikiforov, A. A. Letichevsky, V. S. Peschanenko
Approach to behavior scenarios debugging
Model. Anal. Inform. Sist., 2014, Volume 21:6,  44–56
O. A. Dunaeva, see V. D. Kopylov
Model. Anal. Inform. Sist., 2014, Volume 21:3,  62–80
D. A. Eliseev, E. P. Kubyshkin
Equations of Motion of a Rigid Body with Two Elastic Rods
Model. Anal. Inform. Sist., 2014, Volume 21:1,  66–72
S. M. Yermakova
On the Variety of Paths on Complete Intersections in Grassmannians
Model. Anal. Inform. Sist., 2014, Volume 21:4,  35–46
M. A. Farkov, see A. I. Legalov
Model. Anal. Inform. Sist., 2014, Volume 21:5,  93–101
V. E. Frolov, see S. A. Kaschenko
Model. Anal. Inform. Sist., 2014, Volume 21:1,  94–114
K. A. Gagarski, see M. A. Petrov
Model. Anal. Inform. Sist., 2014, Volume 21:6,  83–93
N. O. Garanina, E. V. Bodin, E. A. Sidorova
Using SPIN for verification of multi-agent data analysis
Model. Anal. Inform. Sist., 2014, Volume 21:6,  31–43
S. D. Glyzin, A. Yu. Kolesov, N. Kh. Rozov
On One Means of Hard Excitation of Oscillations in Nonlinear Flutter Systems
Model. Anal. Inform. Sist., 2014, Volume 21:1,  32–44
S. D. Glyzin, A. Yu. Kolesov, N. Kh. Rozov
Non-Classical Relaxation Oscillations in Neurodynamics
Model. Anal. Inform. Sist., 2014, Volume 21:2,  71–89
S. D. Glyzin, see Yu. V. Bogomolov
Model. Anal. Inform. Sist., 2014, Volume 21:5,  162–180
S. Grigorev, E. Verbitskaia, M. Polubelova, A. Ivanov, E. Mavchun
IDE support of string-embedded languages
Model. Anal. Inform. Sist., 2014, Volume 21:6,  131–143
E. V. Grigoryeva, see N. D. Bykova
Model. Anal. Inform. Sist., 2014, Volume 21:1,  89–93
V. M. Itsykson, see M. Kh. Akhin
Model. Anal. Inform. Sist., 2014, Volume 21:6,  7–17
V. M. Itsykson, see M. A. Petrov
Model. Anal. Inform. Sist., 2014, Volume 21:6,  83–93
A. V. Ivanov, see S. V. Grigor'ev
Model. Anal. Inform. Sist., 2014, Volume 21:6,  131–143
D. M. Ivanov
Fast Multiplication of a Matrix with Large Multiplicative Order by a Vector Over a Finite Field
Model. Anal. Inform. Sist., 2014, Volume 21:2,  39–49
S. A. Kaschenko, see S. V. Aleshin
Model. Anal. Inform. Sist., 2014, Volume 21:1,  73–88
S. A. Kaschenko, V. E. Frolov
Asymptotics of a Steady-State Condition of Finite-Difference Approximation of a Logistic Equation with Delay and Small Diffusion
Model. Anal. Inform. Sist., 2014, Volume 21:1,  94–114
S. A. Kashchenko
The dynamics of the logistic equation with delay and delayed control
Model. Anal. Inform. Sist., 2014, Volume 21:5,  61–77
A. A. Kashchenko
Stability of CW Solutions of the FDML Laser
Model. Anal. Inform. Sist., 2014, Volume 21:3,  35–54
I. S. Kashchenko, see V. G. Bogaevskaya
Model. Anal. Inform. Sist., 2014, Volume 21:1,  53–65
A. R. Khanov, see M. V. Baklanovsky
Model. Anal. Inform. Sist., 2014, Volume 21:6,  120–130
A. Yu. Kolesov, see S. D. Glyzin
Model. Anal. Inform. Sist., 2014, Volume 21:1,  32–44
A. Yu. Kolesov, see S. D. Glyzin
Model. Anal. Inform. Sist., 2014, Volume 21:2,  71–89
A. Yu. Kolesov, see Yu. V. Bogomolov
Model. Anal. Inform. Sist., 2014, Volume 21:5,  162–180
M. I. Kolomeychenko, A. A. Zolotyh, I. V. Polyakov, A. M. Chepovskiy
Software for graph analysis and visualization
Model. Anal. Inform. Sist., 2014, Volume 21:6,  155–168
S. L. Kolton, see M. Kh. Akhin
Model. Anal. Inform. Sist., 2014, Volume 21:6,  7–17
D. A. Kondratyev, A. V. Promsky
Towards the verified verifier. Theory and practice
Model. Anal. Inform. Sist., 2014, Volume 21:6,  71–82
E. V. Konovalov
Attractor in circular structure of oscillatory generalized neural elements
Model. Anal. Inform. Sist., 2014, Volume 21:5,  148–161
V. D. Kopylov, O. A. Dunaeva, M. L. Myachin
Impulse Neuron and Cellular Neural Automaton are Asymptotically Equivalent
Model. Anal. Inform. Sist., 2014, Volume 21:3,  62–80
A. A. Korotkin, A. A. Maksimov
Cellular-local Algorithm for Localizing and Estimating Changes in Binary Images
Model. Anal. Inform. Sist., 2014, Volume 21:4,  64–74
V. P. Kotlyarov, see P. D. Drobintsev
Model. Anal. Inform. Sist., 2014, Volume 21:6,  144–154
V. P. Kotlyarov, see P. D. Drobintsev
Model. Anal. Inform. Sist., 2014, Volume 21:6,  44–56
M. A. Kozachok, A. N. Magazinov
Perfect Prismatoids are Lattice Delaunay Polytopes
Model. Anal. Inform. Sist., 2014, Volume 21:4,  47–53
I. V. Kozlov
On Stable Instances of MINCUT
Model. Anal. Inform. Sist., 2014, Volume 21:4,  54–63
E. P. Kubishkin, see D. A. Eliseev
Model. Anal. Inform. Sist., 2014, Volume 21:1,  66–72
E. P. Kubishkin, M. S. Triakhov
Optimal behavior control of an initial-boundary problem solution modelling rotation of a solid body with the flexible rod
Model. Anal. Inform. Sist., 2014, Volume 21:5,  78–92
N. A. Kudryashov, D. I. Sinelshchikov
Classical and Nonclassical Symmetries of Nonlinear Differential Equation for Describing Waves in a Liquid with Gas Bubbles
Model. Anal. Inform. Sist., 2014, Volume 21:1,  45–52
N. A. Kudryashov, see M. V. Demina
Model. Anal. Inform. Sist., 2014, Volume 21:5,  49–60
E. V. Kuz'min, see D. A. Ryabukhin
Model. Anal. Inform. Sist., 2014, Volume 21:2,  26–38
E. V. Kuzmin, D. A. Ryabukhin, V. A. Sokolov
Modeling a Consistent Behavior of PLC-Sensors
Model. Anal. Inform. Sist., 2014, Volume 21:4,  75–90
N. S. Lagutina, see D. A. Laure
Model. Anal. Inform. Sist., 2014, Volume 21:4,  91–103
D. A. Laure, N. S. Lagutina, I. V. Paramonov
Development of an Algorithm for Heart Rate Measurement Using a Mobile Phone Camera
Model. Anal. Inform. Sist., 2014, Volume 21:4,  91–103
A. I. Legalov, M. A. Farkov
Application of numerical optimization methods to perform molecular docking on graphics processing units
Model. Anal. Inform. Sist., 2014, Volume 21:5,  93–101
A. A. Letichevskii, see P. D. Drobintsev
Model. Anal. Inform. Sist., 2014, Volume 21:6,  144–154
A. A. Letichevskii, see P. D. Drobintsev
Model. Anal. Inform. Sist., 2014, Volume 21:6,  44–56
A. N. Magazinov, see M. A. Kozachok
Model. Anal. Inform. Sist., 2014, Volume 21:4,  47–53
A. N. Maksimenko
Characteristics of complexity: clique number of a polytope graph and rectangle covering number
Model. Anal. Inform. Sist., 2014, Volume 21:5,  116–130
A. A. Maksimov, see A. A. Korotkin
Model. Anal. Inform. Sist., 2014, Volume 21:4,  64–74
A. G. Marchuk
PolarDB — infrastructure for specialized NoSQL datebases and DBMS
Model. Anal. Inform. Sist., 2014, Volume 21:6,  169–175
E. A. Marushkina
Asymmetric Interaction of a Pair FitzHugh–Nagumo Oscillators
Model. Anal. Inform. Sist., 2014, Volume 21:1,  115–120
E. V. Mavchun, see S. V. Grigor'ev
Model. Anal. Inform. Sist., 2014, Volume 21:6,  131–143
A. A. Mitsyuk, I. S. Shugurov
On Process Model Synthesis Based on Event Logs with Noise
Model. Anal. Inform. Sist., 2014, Volume 21:4,  181–198
A. E. Molchanov, see R. I. Podlovchenko
Model. Anal. Inform. Sist., 2014, Volume 21:2,  56–70
A. E. Molchanov
Equivalence Problem Solvability in Biparametric Gateway Program Models
Model. Anal. Inform. Sist., 2014, Volume 21:4,  104–115
A. N. Morozov
Countable Additivity of Spreading the Differentiation Operator
Model. Anal. Inform. Sist., 2014, Volume 21:3,  81–90
M. L. Myachin, see V. D. Kopylov
Model. Anal. Inform. Sist., 2014, Volume 21:3,  62–80
V. A. Nepomnyashchii, V. A. Sokolov
From the editors of the special issue
Model. Anal. Inform. Sist., 2014, Volume 21:6,  5–6
V. A. Nepomnyashchii, see S. A. Chernenok
Model. Anal. Inform. Sist., 2014, Volume 21:6,  94–106
P. N. Nesterov
Center Manifold Method in the Asymptotic Integration Problem for Functional Differential Equations with Oscillatory Decreasing Coefficients. I
Model. Anal. Inform. Sist., 2014, Volume 21:3,  5–34
P. N. Nesterov
Center manifold method in the asymptotic integration problem for functional differential equations with oscillatory decreasing coeffcients. II
Model. Anal. Inform. Sist., 2014, Volume 21:5,  5–37
I. V. Nikiforov, see P. D. Drobintsev
Model. Anal. Inform. Sist., 2014, Volume 21:6,  144–154
I. V. Nikiforov, see P. D. Drobintsev
Model. Anal. Inform. Sist., 2014, Volume 21:6,  44–56
E. S. Nikitin, see E. Yu. Antoshina
Model. Anal. Inform. Sist., 2014, Volume 21:4,  5–12
A. V. Nikolaev, see V. A. Bondarenko
Model. Anal. Inform. Sist., 2014, Volume 21:4,  25–34
N. Yu. Panfilova, see V. A. Bashkin
Model. Anal. Inform. Sist., 2014, Volume 21:6,  18–30
I. V. Paramonov, see D. A. Laure
Model. Anal. Inform. Sist., 2014, Volume 21:4,  91–103
V. S. Peschanenko, see P. D. Drobintsev
Model. Anal. Inform. Sist., 2014, Volume 21:6,  44–56
Maxim Petrov, Kirill Gagarski, Mikhail Belyaev, Vladimir Itsykson
Using a bounded model checker for test generation: how to kill two birds with one SMT-solver
Model. Anal. Inform. Sist., 2014, Volume 21:6,  83–93
R. I. Podlovchenko, A. E. Molchanov
Equivalence Problem Solvability in Gateway Program Models
Model. Anal. Inform. Sist., 2014, Volume 21:2,  56–70
R. I. Podlovchenko
Primitive Program Schemes with Procedures
Model. Anal. Inform. Sist., 2014, Volume 21:4,  116–131
M. I. Polubelova, see S. V. Grigor'ev
Model. Anal. Inform. Sist., 2014, Volume 21:6,  131–143
I. V. Polyakov, see M. I. Kolomeichenko
Model. Anal. Inform. Sist., 2014, Volume 21:6,  155–168
M. M. Preobrazhenskaya
Application of the method of quasi-normal forms to the mathematical model of a single neuron
Model. Anal. Inform. Sist., 2014, Volume 21:5,  38–48
A. V. Promskii, see D. A. Kondrat'ev
Model. Anal. Inform. Sist., 2014, Volume 21:6,  71–82
N. Kh. Rozov, see S. D. Glyzin
Model. Anal. Inform. Sist., 2014, Volume 21:1,  32–44
N. Kh. Rozov, see S. D. Glyzin
Model. Anal. Inform. Sist., 2014, Volume 21:2,  71–89
D. A. Ryabukhin, E. V. Kuzmin, V. A. Sokolov
Construction of PLC IL-Programs by LTL-Specification
Model. Anal. Inform. Sist., 2014, Volume 21:2,  26–38
D. A. Ryabukhin, see E. V. Kuz'min
Model. Anal. Inform. Sist., 2014, Volume 21:4,  75–90
M. Sh. Shabozov
On an Optimal Quadrature Formula for Classes of Functions Given by Modulus of Continuity
Model. Anal. Inform. Sist., 2014, Volume 21:3,  91–105
V. P. Shapeev, E. V. Vorozhtsov
Application of computer algebra systems to the construction of the collocations and least residuals method for solving the 3D Navier–Stokes equations
Model. Anal. Inform. Sist., 2014, Volume 21:5,  131–147
S. A. Shershakov
DPMine graphical language for automation of experiments in process mining
Model. Anal. Inform. Sist., 2014, Volume 21:5,  102–115
I. S. Shugurov, see A. A. Mitsyuk
Model. Anal. Inform. Sist., 2014, Volume 21:4,  181–198
E. A. Sidorova, see N. O. Garanina
Model. Anal. Inform. Sist., 2014, Volume 21:6,  31–43
D. I. Sinel'shchikov, see N. A. Kudryashov
Model. Anal. Inform. Sist., 2014, Volume 21:1,  45–52
A. V. Smirnov
Heuristic Algorithms for The Problem of Integer Balancing of a Three-dimensional Matrix with Constraints of Second Type
Model. Anal. Inform. Sist., 2014, Volume 21:4,  132–147
V. A. Sokolov, see D. A. Ryabukhin
Model. Anal. Inform. Sist., 2014, Volume 21:2,  26–38
V. A. Sokolov, see E. V. Kuz'min
Model. Anal. Inform. Sist., 2014, Volume 21:4,  75–90
V. A. Sokolov, see V. A. Nepomnyashchii
Model. Anal. Inform. Sist., 2014, Volume 21:6,  5–6
A. S. Tikhomirov, M. A. Zavodchikov
Reducibility of the Moduli Space of Stable Rank $2$ Reflexive Sheaves with Chern Classes $c_1=-1$, $c_2=4$, $c_3=2$ on Projective Space $\mathbb{P}^3$
Model. Anal. Inform. Sist., 2014, Volume 21:2,  90–96
E. A. Tolyupa
Method of Anti-Virus Protection Based on $(n,t)$ Threshold Proxy Signature with an Arbitrator
Model. Anal. Inform. Sist., 2014, Volume 21:2,  5–14
M. S. Triakhov, see E. P. Kubishkin
Model. Anal. Inform. Sist., 2014, Volume 21:5,  78–92
E. A. Tumanova
On the Root-class Residuality of HNN-extensions of Groups
Model. Anal. Inform. Sist., 2014, Volume 21:4,  148–180
V. V. Vasilchikov
On the Recursive-Parallel Programming for the .NET Framework
Model. Anal. Inform. Sist., 2014, Volume 21:2,  15–25
E. A. Verbitskaya, see S. V. Grigor'ev
Model. Anal. Inform. Sist., 2014, Volume 21:6,  131–143
E. V. Vorozhtsov, see V. P. Shapeev
Model. Anal. Inform. Sist., 2014, Volume 21:5,  131–147
T. K. Yuldashev
Approximate Solution of an Optimal Control Dot Mobile Problem for a Nonlinear Hyperbolic Equation
Model. Anal. Inform. Sist., 2014, Volume 21:3,  106–120
V. A. Zakharov, E. V. Chemeritsky
On the update problems for software defined networks
Model. Anal. Inform. Sist., 2014, Volume 21:6,  57–70
M. A. Zavodchikov, see A. S. Tikhomirov
Model. Anal. Inform. Sist., 2014, Volume 21:2,  90–96
A. A. Zolotykh, see M. I. Kolomeichenko
Model. Anal. Inform. Sist., 2014, Volume 21:6,  155–168
 
Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2019