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, 2012, Volume 19

A B C D E G I K L M N P R S T U V Y Z Full List
Marat Akhin, Vladimir Itsykson
Tree Slicing in Clone Detection: Syntactic Analysis Made (Semi)-Semantic
Model. Anal. Inform. Sist., 2012, Volume 19:6,  69–78
A. I. Antonov, V. A. Bondarenko
Polyhedral Graphs of GRAPH PARTITIONING and COMPLETE BIPARTITE SUBGRAPH Problems
Model. Anal. Inform. Sist., 2012, Volume 19:6,  101–106
I. S. Anureev
Deductive Verification of Telecommunication Systems Written in C
Model. Anal. Inform. Sist., 2012, Volume 19:6,  34–44
S. I. Balandin, A. M. Vasilev, N. I. Kozhemyakin, D. A. Laure, I. V. Paramonov
Concurrency Control in the Problem of Automatic Substitution of the Dataflow Network Agent on Smart-M3 Platform and in the Internet of Things
Model. Anal. Inform. Sist., 2012, Volume 19:5,  131–141
L. Yu. Barash, L. N. Shchur
Generation of random numbers and parallel random number streams for Monte Carlo simulations
Model. Anal. Inform. Sist., 2012, Volume 19:2,  145–161
V. A. Bashkin
On the Hereditary Properties of Modular Nets
Model. Anal. Inform. Sist., 2012, Volume 19:6,  9–20
A. S. Bobok, S. D. Glyzin
Oscillations in Arrays of Nonlinear Elements in the Scott Experiment
Model. Anal. Inform. Sist., 2012, Volume 19:5,  56–68
V. N. Boykov
A Context-Free Grammar of One Rhythmic Model of Russian Verse
Model. Anal. Inform. Sist., 2012, Volume 19:4,  154–167
V. A. Bondarenko, see A. I. Antonov
Model. Anal. Inform. Sist., 2012, Volume 19:6,  101–106
A. G. Brodskiy
Gale duality and the neighborliness of random polytopes. I
Model. Anal. Inform. Sist., 2012, Volume 19:2,  62–86
A. G. Brodskiy
Gale Duality and the Neighborliness of Random Polytopes. II
Model. Anal. Inform. Sist., 2012, Volume 19:4,  87–109
D. O. Bytev, see L. V. Korolev
Model. Anal. Inform. Sist., 2012, Volume 19:2,  53–61
D. Yu. Chalyi, see M. A. Nikitinskiy
Model. Anal. Inform. Sist., 2012, Volume 19:4,  37–47
A. G. Chentsov, P. A. Chentsov
On a Nonstationary Route Problem with Constraints
Model. Anal. Inform. Sist., 2012, Volume 19:4,  5–24
P. A. Chentsov, see A. G. Chentsov
Model. Anal. Inform. Sist., 2012, Volume 19:4,  5–24
M. V. Demina, N. A. Kudryashov
Polynomial Method for Constructing Equilibrium Configurations of Point Vortices in the Plane
Model. Anal. Inform. Sist., 2012, Volume 19:5,  50–55
N. A. Demyankov, V. S. Klimov
About One Class of Operators Inclusions
Model. Anal. Inform. Sist., 2012, Volume 19:3,  63–72
V. M. Deundyak, J. V. Kosolapov
On the Firmness Code Noising to the Statistical Analysis of the Observable Data of Repeated Repetition
Model. Anal. Inform. Sist., 2012, Volume 19:4,  110–127
N. Dolbilin, H. Edelsbrunner, A. Ivanov, O. Musin
The First Yaroslavl Summer School on Discrete and Computational Geometry
Model. Anal. Inform. Sist., 2012, Volume 19:4,  168–173
N. Dolbilin, H. Edelsbrunner, A. Ivanov, O. Musin, M. Nevskii
Yaroslavl International Conference on Discrete Geometry (dedicated to the centenary of A. D. Alexandrov)
Model. Anal. Inform. Sist., 2012, Volume 19:6,  92–100
V. L. Dolnikov
On Some Corollaries of a Transversal Theorem
Model. Anal. Inform. Sist., 2012, Volume 19:6,  107–111
M. G. Dorrer, V. V. Kurokhtin
Optimization of Calculating Invariants in Petri Nets to Support the Creation of Integration Testing Scenarios
Model. Anal. Inform. Sist., 2012, Volume 19:4,  128–143
P. D. Drobintsev, see A. V. Kolchin
Model. Anal. Inform. Sist., 2012, Volume 19:6,  79–91
V. G. Durnev
On one A. I. Mal'cev's Question from the “Kourovskaya Notebook”
Model. Anal. Inform. Sist., 2012, Volume 19:4,  67–71
L. W. Dworzánski, I. A. Lomazova
CPN Tools-Assisted Simulation and Verification of Nested Petri Nets
Model. Anal. Inform. Sist., 2012, Volume 19:5,  115–130
N. F. Dyshkant
About Some Localization Problems in Delaunay Triangulations
Model. Anal. Inform. Sist., 2012, Volume 19:6,  112–126
H. Edelsbrunner, see N. P. Dolbilin
Model. Anal. Inform. Sist., 2012, Volume 19:4,  168–173
H. Edelsbrunner, A. Ivanov, R. Karasev
Current Open Problems in Discrete and Computational Geometry
Model. Anal. Inform. Sist., 2012, Volume 19:5,  5–17
H. Edelsbrunner, see O. R. Musin
Model. Anal. Inform. Sist., 2012, Volume 19:6,  152–160
H. Edelsbrunner, see N. P. Dolbilin
Model. Anal. Inform. Sist., 2012, Volume 19:6,  92–100
D. S. Glyzin, S. A. Kaschenko
Dynamics of a Complex Spatially Distributed Hutchinson Equation
Model. Anal. Inform. Sist., 2012, Volume 19:5,  35–39
S. D. Glyzin, E. A. Marushkina
Bursting Behavior in the System of Coupled Oscillators with Delay and its Statistical Analysis
Model. Anal. Inform. Sist., 2012, Volume 19:3,  82–96
S. D. Glyzin, see A. S. Bobok
Model. Anal. Inform. Sist., 2012, Volume 19:5,  56–68
M. A. Iordanskii
A Constructive Classification of Graphs
Model. Anal. Inform. Sist., 2012, Volume 19:4,  144–153
Jin-ichi Itoh, Chie Nara
Continuous Flattening of a Regular Tetrahedron with Explicit Mappings
Model. Anal. Inform. Sist., 2012, Volume 19:6,  127–136
V. M. Itsykson, see M. Kh. Akhin
Model. Anal. Inform. Sist., 2012, Volume 19:6,  69–78
A. O. Ivanov, see N. P. Dolbilin
Model. Anal. Inform. Sist., 2012, Volume 19:4,  168–173
A. O. Ivanov, see H. Edelsbrunner
Model. Anal. Inform. Sist., 2012, Volume 19:5,  5–17
A. O. Ivanov, see N. P. Dolbilin
Model. Anal. Inform. Sist., 2012, Volume 19:6,  92–100
R. N. Karasev, see H. Edelsbrunner
Model. Anal. Inform. Sist., 2012, Volume 19:5,  5–17
S. A. Kaschenko, see I. S. Kashchenko
Model. Anal. Inform. Sist., 2012, Volume 19:1,  24–35
S. A. Kashchenko, A. S. Polstyanov
The asymptotic of periodic solutions of autonomous parabolic equations with rapidly oscillating coefficients and equations with large diffusion coefficients
Model. Anal. Inform. Sist., 2012, Volume 19:1,  7–23
S. A. Kaschenko
Asymptotics of Solutions of the Generalized Hutchinson's Equation
Model. Anal. Inform. Sist., 2012, Volume 19:3,  32–61
S. A. Kaschenko
Stationary States of a Delay Differentional Equation of Insect Population's Dynamics
Model. Anal. Inform. Sist., 2012, Volume 19:5,  18–34
S. A. Kaschenko, see D. S. Glyzin
Model. Anal. Inform. Sist., 2012, Volume 19:5,  35–39
A. A. Kashchenko
Stability of the Simplest Periodic Solutions in the Stuart–Landau Equation with Large Delay
Model. Anal. Inform. Sist., 2012, Volume 19:3,  136–141
D. S. Kaschenko
Dynamics of the Simplest Piecewise Linear Discontinuous Mappings
Model. Anal. Inform. Sist., 2012, Volume 19:3,  73–81
I. S. Kashchenko, S. A. Kashchenko
The dynamics of Kuramoto equation with spatially-distributed control
Model. Anal. Inform. Sist., 2012, Volume 19:1,  24–35
O. A. Khrebtyugova, see E. P. Kubishkin
Model. Anal. Inform. Sist., 2012, Volume 19:1,  84–96
A. A. Khusainov, see E. S. Kudryashova
Model. Anal. Inform. Sist., 2012, Volume 19:4,  78–86
V. S. Klimov, see N. A. Dem'yankov
Model. Anal. Inform. Sist., 2012, Volume 19:3,  63–72
A. V. Kolchin, A. A. Letichevsky, V. S. Peschanenko, P. D. Drobintsev, V. P. Kotlyarov
An Approach to Concretization of Test Scenarios in Industrial Automation Testing of Software Projects
Model. Anal. Inform. Sist., 2012, Volume 19:6,  79–91
I. V. Konnov, see D. Yu. Volkanov
Model. Anal. Inform. Sist., 2012, Volume 19:6,  45–56
E. V. Konovalov
The problem of adaptation of the generalized neural element
Model. Anal. Inform. Sist., 2012, Volume 19:1,  69–83
L. V. Korolev, D. O. Bytev
Grinding kinetic equation with an arbitrary law of waiting time distribution
Model. Anal. Inform. Sist., 2012, Volume 19:2,  53–61
Yu. V. Kosolapov, see V. M. Deundyak
Model. Anal. Inform. Sist., 2012, Volume 19:4,  110–127
V. P. Kotlyarov, see A. V. Kolchin
Model. Anal. Inform. Sist., 2012, Volume 19:6,  79–91
M. A. Kozachok
Perfect Prismatoids and the Conjecture Concerning Face Numbers of Centrally Symmetric Polytopes
Model. Anal. Inform. Sist., 2012, Volume 19:6,  137–147
N. I. Kozhemyakin, see S. I. Balandin
Model. Anal. Inform. Sist., 2012, Volume 19:5,  131–141
M. S. Kropacheva, see A. I. Legalov
Model. Anal. Inform. Sist., 2012, Volume 19:4,  48–58
M. S. Kropacheva, A. I. Legalov
Formal Verification of Programs in Functional Dataflow Parallel Language
Model. Anal. Inform. Sist., 2012, Volume 19:5,  81–99
E. P. Kubishkin, O. A. Khrebtyugova
A generalized solution of an initial boundary value problem arising in the mechanics of discrete-continuous systems
Model. Anal. Inform. Sist., 2012, Volume 19:1,  84–96
N. A. Kudryashov, see M. V. Demina
Model. Anal. Inform. Sist., 2012, Volume 19:5,  50–55
E. S. Kudryashova, A. A. Khusainov
Generalized Asynchronous Systems
Model. Anal. Inform. Sist., 2012, Volume 19:4,  78–86
D. A. Kulikov, A. S. Rudy
Formation of a Warped Nanomodular Surface Under Ion Bombardment. A Nanoscale Model of Surface Erosion
Model. Anal. Inform. Sist., 2012, Volume 19:5,  40–49
V. V. Kurokhtin, see M. G. Dorrer
Model. Anal. Inform. Sist., 2012, Volume 19:4,  128–143
E. V. Kuz'min, V. A. Sokolov
On verification of PLC-programs written in the LD-language
Model. Anal. Inform. Sist., 2012, Volume 19:2,  138–144
E. V. Kuzmin, V. A. Sokolov
On Construction and Verification of PLC-Programs
Model. Anal. Inform. Sist., 2012, Volume 19:4,  25–36
E. V. Kuzmin, V. A. Sokolov
The Modeling of Counter Machines by Two-Head Finite Automata
Model. Anal. Inform. Sist., 2012, Volume 19:5,  69–73
D. A. Laure, see S. I. Balandin
Model. Anal. Inform. Sist., 2012, Volume 19:5,  131–141
P. V. Lebedev
Polynomial algorithm of verification for subset of PLTL logic
Model. Anal. Inform. Sist., 2012, Volume 19:2,  115–137
A. I. Legalov, O. V. Nepomnyaschy, I. V. Matkovsky, M. S. Kropacheva
Tail Recursion Transformation in Functional Dataflow Parallel Programs
Model. Anal. Inform. Sist., 2012, Volume 19:4,  48–58
A. I. Legalov, see M. S. Kropacheva
Model. Anal. Inform. Sist., 2012, Volume 19:5,  81–99
A. A. Letichevskii, see A. V. Kolchin
Model. Anal. Inform. Sist., 2012, Volume 19:6,  79–91
I. A. Lomazova, see L. V. Dvoryanskiy
Model. Anal. Inform. Sist., 2012, Volume 19:5,  115–130
A. Magazinov
A Uniform Asymptotical Upper Bound for the Variance of a Random Polytope in a Simple Polytope
Model. Anal. Inform. Sist., 2012, Volume 19:6,  148–151
G. G. Malinetsky
Synergetics – From Past to Future
Model. Anal. Inform. Sist., 2012, Volume 19:3,  5–31
E. A. Marushkina, see S. D. Glyzin
Model. Anal. Inform. Sist., 2012, Volume 19:3,  82–96
I. V. Matkovsky, see A. I. Legalov
Model. Anal. Inform. Sist., 2012, Volume 19:4,  48–58
A. E. Molchanov, see R. I. Podlovchenko
Model. Anal. Inform. Sist., 2012, Volume 19:5,  100–114
A. N. Morozov
On Smoothness in $L_p$, $0 < p < 1$
Model. Anal. Inform. Sist., 2012, Volume 19:3,  97–104
D. M. Murin
The Order in the Growth of the Injective and Super-Increasing Vectors Knapsacks Quantity
Model. Anal. Inform. Sist., 2012, Volume 19:3,  124–135
O. R. Musin, see N. P. Dolbilin
Model. Anal. Inform. Sist., 2012, Volume 19:4,  168–173
O. R. Musin, A. U. Ukhalov, H. Edelsbrunner, O. P. Yakimova
Fractal and Computational Geometry for Generalizing Cartographic Objects
Model. Anal. Inform. Sist., 2012, Volume 19:6,  152–160
O. R. Musin, see N. P. Dolbilin
Model. Anal. Inform. Sist., 2012, Volume 19:6,  92–100
Chie Nara, see Jin-ichi Itoh
Model. Anal. Inform. Sist., 2012, Volume 19:6,  127–136
V. A. Nepomnyashchii, see D. A. Shklyaev
Model. Anal. Inform. Sist., 2012, Volume 19:6,  57–68
O. V. Nepomnyaschy, see A. I. Legalov
Model. Anal. Inform. Sist., 2012, Volume 19:4,  48–58
M. V. Nevskii
On Some Results in the Geometry of Convex Bodies and their Applications
Model. Anal. Inform. Sist., 2012, Volume 19:3,  113–123
M. V. Nevskij, see N. P. Dolbilin
Model. Anal. Inform. Sist., 2012, Volume 19:6,  92–100
M. A. Nikitinskiy, D. Ju. Chalyy
Performance Analysis of the Transport Protocols Trickles and TCP under High-load Network Conditions
Model. Anal. Inform. Sist., 2012, Volume 19:4,  37–47
I. V. Paramonov, see S. I. Balandin
Model. Anal. Inform. Sist., 2012, Volume 19:5,  131–141
V. S. Peschanenko, see A. V. Kolchin
Model. Anal. Inform. Sist., 2012, Volume 19:6,  79–91
R. I. Podlovchenko, A. E. Molchanov
About Algebraic Program Models with Procedures
Model. Anal. Inform. Sist., 2012, Volume 19:5,  100–114
V. V. Podymov, see D. Yu. Volkanov
Model. Anal. Inform. Sist., 2012, Volume 19:6,  45–56
A. S. Polst'yanov, see S. A. Kaschenko
Model. Anal. Inform. Sist., 2012, Volume 19:1,  7–23
V. S. Rublev
Evolution of DBMS DIM database schemes
Model. Anal. Inform. Sist., 2012, Volume 19:2,  97–108
A. S. Rudyi, see D. A. Kulikov
Model. Anal. Inform. Sist., 2012, Volume 19:5,  40–49
D. I. Sabitov, I. Kh. Sabitov
Volume Polynomials for Some Polyhedra in Spaces of Constant Curvature
Model. Anal. Inform. Sist., 2012, Volume 19:6,  161–169
I. Kh. Sabitov, see D. I. Sabitov
Model. Anal. Inform. Sist., 2012, Volume 19:6,  161–169
A. V. Seliverstov
Some Notes about Arrangements of Points on Quadrics
Model. Anal. Inform. Sist., 2012, Volume 19:4,  72–77
L. N. Shchur, see L. Yu. Barash
Model. Anal. Inform. Sist., 2012, Volume 19:2,  145–161
D. A. Chkliaev, V. A. Nepomniaschy
Deductive Verification of the Sliding Window Protocol
Model. Anal. Inform. Sist., 2012, Volume 19:6,  57–68
M. I. Shtogrin
A New Proof of the Euler Formula
Model. Anal. Inform. Sist., 2012, Volume 19:6,  170–172
A. A. Sivov
TCP TIPS: Transport Protocol for Unreliable Networks with Latency-Sensitive Data
Model. Anal. Inform. Sist., 2012, Volume 19:5,  142–151
V. A. Skorokhodov
Flows in generalized nets with related arcs
Model. Anal. Inform. Sist., 2012, Volume 19:2,  41–52
V. A. Sokolov, see E. V. Kuz'min
Model. Anal. Inform. Sist., 2012, Volume 19:2,  138–144
V. A. Sokolov, see E. V. Kuz'min
Model. Anal. Inform. Sist., 2012, Volume 19:4,  25–36
V. A. Sokolov, see E. V. Kuz'min
Model. Anal. Inform. Sist., 2012, Volume 19:5,  69–73
S. V. Solodusha
Automatic control systems modeling by Volterra polynomials
Model. Anal. Inform. Sist., 2012, Volume 19:1,  60–68
B. I. Solon, V. V. Tikhov
About Not Countable Ideals in a Semi-Lattice of the Enumeration Degrees
Model. Anal. Inform. Sist., 2012, Volume 19:5,  74–80
A. V. Tatarinov, A. M. Tsirlin
The limiting degree of linear system aperiodic stability and the choice of industrial regulator parameters
Model. Anal. Inform. Sist., 2012, Volume 19:2,  87–96
V. V. Tikhov
Countable Ideals in a Semi-Lattice of the $\mathbf{D}_e$ Enumeration Degrees
Model. Anal. Inform. Sist., 2012, Volume 19:4,  59–66
V. V. Tikhov, see B. Ya. Solon
Model. Anal. Inform. Sist., 2012, Volume 19:5,  74–80
E. A. Timofeev
Balls in sequence spaces
Model. Anal. Inform. Sist., 2012, Volume 19:2,  109–114
N. V. Timofeeva
On an isomorphism of compactifications of moduli scheme of vector bundles
Model. Anal. Inform. Sist., 2012, Volume 19:1,  37–50
N. E. Timofeeva
Bias of the entropy estimator for symmetric Bernoulli measures and the weak metric
Model. Anal. Inform. Sist., 2012, Volume 19:1,  52–59
A. O. Tolbey
Local Dynamics of Three Coupled Oscillators with a Feedback Loop
Model. Anal. Inform. Sist., 2012, Volume 19:3,  105–112
A. M. Tsirlin, see A. V. Tatarinov
Model. Anal. Inform. Sist., 2012, Volume 19:2,  87–96
A. Yu. Ukhalov, see O. R. Musin
Model. Anal. Inform. Sist., 2012, Volume 19:6,  152–160
A. D. Uvarov
Stable sheave moduli of rank $2$ with Chern classes $c_1=-1$, $c_2=2$, $c_3=0$ on $Q_3$
Model. Anal. Inform. Sist., 2012, Volume 19:2,  19–39
A. M. Vasil'ev, see S. I. Balandin
Model. Anal. Inform. Sist., 2012, Volume 19:5,  131–141
D. Yu. Volkanov, V. A. Zakharov, D. A. Zorin, I. V. Konnov, V. V. Podymov
On the Designing of Model Checkers for Real-Time Distributed Systems
Model. Anal. Inform. Sist., 2012, Volume 19:6,  45–56
O. P. Yakimova, see O. R. Musin
Model. Anal. Inform. Sist., 2012, Volume 19:6,  152–160
D. A. Zaitsev
Verification of Computing Grids with Special Edge Conditions by Infinite Petri Nets
Model. Anal. Inform. Sist., 2012, Volume 19:6,  21–33
V. A. Zakharov, see D. Yu. Volkanov
Model. Anal. Inform. Sist., 2012, Volume 19:6,  45–56
M. A. Zavodсhikov
Some new components of the moduli scheme $\mathrm M_{\mathbb P^3}(2;-1,2,0)$ of stable coherent torsion free sheaves of rank 2 on $\mathbb P^3$
Model. Anal. Inform. Sist., 2012, Volume 19:2,  5–18
D. A. Zorin, see D. Yu. Volkanov
Model. Anal. Inform. Sist., 2012, Volume 19:6,  45–56
Моделирование и анализ информационных систем
 
Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2019