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, 2018, Volume 25

A B C D F G K L M N O P R S T U V Z Full List
M. M. Abbas, V. A. Zakharov
Even simple processes of $\pi$-calculus are hard for analysis
Model. Anal. Inform. Sist., 2018, Volume 25:6,  589–606
A. S. Adrianov, see N. S. Lagutina
Model. Anal. Inform. Sist., 2018, Volume 25:4,  435–458
A. M. Agalarov, T. A. Gadzhimuradov, A. A. Potapov, A. E. Rassadin
Edge states and chiral solitons in topological hall and Chern–Simons fields
Model. Anal. Inform. Sist., 2018, Volume 25:1,  133–139
A. M. Agalarov, A. A. Potapov, A. E. Rassadin, A. V. Stepanov
On the transfer of a number of concepts of statistical radiophysics to the theory of one-dimensional point mappings
Model. Anal. Inform. Sist., 2018, Volume 25:1,  7–17
I. V. Alekseev, see S. V. Morzhov
Model. Anal. Inform. Sist., 2018, Volume 25:2,  207–216
E. A. Antipov, N. T. Levashova, N. N. Nefedov
Asymptotic approximation of the solution of the reaction-diffusion-advection equation with a nonlinear advective term
Model. Anal. Inform. Sist., 2018, Volume 25:1,  18–32
I. S. Anureev, see N. O. Garanina
Model. Anal. Inform. Sist., 2018, Volume 25:6,  607–622
I. S. Anureev, see N. V. Shilov
Model. Anal. Inform. Sist., 2018, Volume 25:6,  637–666
T. Baar, S. Staroletov
A control flow graph based approach to make the verification of cyber-physical systems using KeYmaera easier
Model. Anal. Inform. Sist., 2018, Volume 25:5,  465–480
V. V. Balashov, see A. B. Glonina
Model. Anal. Inform. Sist., 2018, Volume 25:2,  174–192
V. A. Bashkin, see E. V. Kuz'min
Model. Anal. Inform. Sist., 2018, Volume 25:6,  667–679
E. V. Bodin, see N. V. Shilov
Model. Anal. Inform. Sist., 2018, Volume 25:6,  637–666
O. I. Borovikova, see N. O. Garanina
Model. Anal. Inform. Sist., 2018, Volume 25:6,  607–622
P. I. Braslavskii, see M. S. Karyaeva
Model. Anal. Inform. Sist., 2018, Volume 25:6,  726–733
S. V. Bytsyura, N. T. Levashova
Upper and lower solutions for the FitzHugh–Nagumo type system of equations
Model. Anal. Inform. Sist., 2018, Volume 25:1,  33–53
D. Yu. Chalyi, see V. G. Durnev
Model. Anal. Inform. Sist., 2018, Volume 25:4,  402–410
D. Yu. Chalyi, see D. R. Filonov
Model. Anal. Inform. Sist., 2018, Volume 25:4,  411–420
I. V. Danilova, see A. N. Kirillov
Model. Anal. Inform. Sist., 2018, Volume 25:3,  268–275
M. A. Davydova, S. A. Zakharova
On a singularly perturbed problem of the nonlinear thermal conductivity in the case of balanced nonlinearity
Model. Anal. Inform. Sist., 2018, Volume 25:1,  83–91
N. N. Deryugina, see A. A. Mel'nikova
Model. Anal. Inform. Sist., 2018, Volume 25:1,  112–124
V. M. Deundyak, see K. V. Vedenev
Model. Anal. Inform. Sist., 2018, Volume 25:2,  232–245
S. M. Dudakov
On safety of unary and non-unary IFP-operators
Model. Anal. Inform. Sist., 2018, Volume 25:5,  525–533
V. G. Durnev, D. M. Murin, V. A. Sokolov, D. Ju. Chalyy
On some approaches to the solution of the problem «Useful Proof-of-work for blockchains»
Model. Anal. Inform. Sist., 2018, Volume 25:4,  402–410
V. G. Durnev, see D. R. Filonov
Model. Anal. Inform. Sist., 2018, Volume 25:4,  411–420
D. R. Filonov, D. Ju. Chalyy, D. M. Murin, V. G. Durnev, V. A. Sokolov
Question answering system for applicant support by using modern messengers
Model. Anal. Inform. Sist., 2018, Volume 25:4,  411–420
T. A. Gadzhimuradov, see A. M.-Z. Agalarov
Model. Anal. Inform. Sist., 2018, Volume 25:1,  133–139
N. O. Garanina, I. S. Anureev, O. I. Borovikova
Verification oriented process ontology
Model. Anal. Inform. Sist., 2018, Volume 25:6,  607–622
D. V. Glazkov, see E. V. Grigoryeva
Model. Anal. Inform. Sist., 2018, Volume 25:1,  71–82
A. B. Glonina, V. V. Balashov
On the correctness of real-time modular computer systems modeling with stopwatch automata networks
Model. Anal. Inform. Sist., 2018, Volume 25:2,  174–192
S. D. Glyzin
From the editor of the special issue
Model. Anal. Inform. Sist., 2018, Volume 25:1,  5–6
S. D. Glyzin, M. V. Lokhanin, D. M. Sirotin
Invariant characteristics of forced oscillations of a beam with longitudinal compression
Model. Anal. Inform. Sist., 2018, Volume 25:1,  54–62
S. D. Glyzin, E. A. Marushkina
Disordered oscillations in a neural network of three oscillators with a delayed broadcast connection
Model. Anal. Inform. Sist., 2018, Volume 25:5,  572–583
A. R. Gnatenko, V. A. Zakharov
On the expressive power of some extensions of linear temporal logic
Model. Anal. Inform. Sist., 2018, Volume 25:5,  506–524
O. E. Gorbunov, see E. V. Kuz'min
Model. Anal. Inform. Sist., 2018, Volume 25:4,  382–387
O. E. Gorbunov, see E. V. Kuz'min
Model. Anal. Inform. Sist., 2018, Volume 25:6,  667–679
V. E. Goryunov
The Andronov–Hopf bifurcation in a biophysical model of the Belousov reaction
Model. Anal. Inform. Sist., 2018, Volume 25:1,  63–70
S. A. Grechanik
Polyprograms and polyprogram bisimulation
Model. Anal. Inform. Sist., 2018, Volume 25:5,  534–548
E. V. Grigoryeva, S. A. Kashchenko, D. V. Glazkov
Features of the local dynamics of the opto-electronic oscillator model with delay
Model. Anal. Inform. Sist., 2018, Volume 25:1,  71–82
A. A. Kalenkova, D. A. Kolesnikov
Application of genetic algorithms for finding edit distance between process models
Model. Anal. Inform. Sist., 2018, Volume 25:6,  711–725
M. S. Karyaeva, P. I. Braslavski, V. A. Sokolov
Word embedding for semantically relative words: an experimental study
Model. Anal. Inform. Sist., 2018, Volume 25:6,  726–733
S. A. Kaschenko, see E. V. Grigoryeva
Model. Anal. Inform. Sist., 2018, Volume 25:1,  71–82
E. V. Khvorostukhina, V. A. Molchanov
Universal hypergraphic automata representation by autonomous input symbols
Model. Anal. Inform. Sist., 2018, Volume 25:5,  561–571
A. N. Kirillov, I. V. Danilova
Dynamics of population patch distribution
Model. Anal. Inform. Sist., 2018, Volume 25:3,  268–275
Yauhen Klimiankou
Measuring overhead of concurrency and virtual memory
Model. Anal. Inform. Sist., 2018, Volume 25:2,  165–173
V. S. Klimov
Isoperimetric and functional inequalities
Model. Anal. Inform. Sist., 2018, Volume 25:3,  331–342
D. A. Kolesnikov, see A. A. Kalenkova
Model. Anal. Inform. Sist., 2018, Volume 25:6,  711–725
D. A. Kondratyev, I. V. Maryasov, V. A. Nepomnyaschy
The automation of C program verification by symbolic method of loop invariants elimination
Model. Anal. Inform. Sist., 2018, Volume 25:5,  491–505
D. A. Kondrat'ev, see N. V. Shilov
Model. Anal. Inform. Sist., 2018, Volume 25:6,  637–666
A. I. Kononova
Dynamic model of single torrent with file-sharing P2P network
Model. Anal. Inform. Sist., 2018, Volume 25:4,  421–434
K. S. Kornilov, see S. M. Terekhov
Model. Anal. Inform. Sist., 2018, Volume 25:2,  217–231
Yu. V. Kosolapov, A. N. Shigaev
The support splitting algorithm for induced codes
Model. Anal. Inform. Sist., 2018, Volume 25:3,  276–290
A. N. Kulikov, D. A. Kulikov
The Kuramoto–Sivashinsky equation. A local attractor filled with unstable periodic solutions
Model. Anal. Inform. Sist., 2018, Volume 25:1,  92–101
D. A. Kulikov, see A. N. Kulikov
Model. Anal. Inform. Sist., 2018, Volume 25:1,  92–101
E. V. Kuz'min, O. E. Gorbunov, P. O. Plotnikov, V. A. Tyukin
An efficient algorithm for finding a threshold of useful signals in the analysis of magnetic and eddy current defectograms
Model. Anal. Inform. Sist., 2018, Volume 25:4,  382–387
E. V. Kuzmin, O. E. Gorbunov, P. O. Plotnikov, V. A. Tyukin, V. A. Bashkin
Application of neural networks for recognizing rail structural elements in magnetic and eddy current defectograms
Model. Anal. Inform. Sist., 2018, Volume 25:6,  667–679
K. V. Lagutina, see N. S. Lagutina
Model. Anal. Inform. Sist., 2018, Volume 25:4,  435–458
N. S. Lagutina, K. V. Lagutina, A. S. Adrianov, I. V. Paramonov
Russianlanguage thesauri: automated construction and application for natural language processing tasks
Model. Anal. Inform. Sist., 2018, Volume 25:4,  435–458
J. Y. Lee, see S. V. Reznikova
Model. Anal. Inform. Sist., 2018, Volume 25:6,  623–636
A. I. Legalov, see V. S. Vasilyev
Model. Anal. Inform. Sist., 2018, Volume 25:4,  347–357
A. I. Legalov, see M. S. Ushakova
Model. Anal. Inform. Sist., 2018, Volume 25:4,  358–381
N. T. Levashova, see E. A. Antipov
Model. Anal. Inform. Sist., 2018, Volume 25:1,  18–32
N. T. Levashova, see S. V. Bytsyura
Model. Anal. Inform. Sist., 2018, Volume 25:1,  33–53
M. V. Lokhanin, see S. D. Glyzin
Model. Anal. Inform. Sist., 2018, Volume 25:1,  54–62
E. A. Marushkina
Periodic and quasiperiodic solutions in the system of three Hutchinson equations with a delayed broadcast connection
Model. Anal. Inform. Sist., 2018, Volume 25:1,  102–111
E. A. Marushkina, see S. D. Glyzin
Model. Anal. Inform. Sist., 2018, Volume 25:5,  572–583
I. V. Maryasov, see D. A. Kondrat'ev
Model. Anal. Inform. Sist., 2018, Volume 25:5,  491–505
M. Mazzara, see S. V. Reznikova
Model. Anal. Inform. Sist., 2018, Volume 25:6,  623–636
A. A. Melnikova, N. N. Deryugina
Periodic variations of an autowave structure in two-dimensional system of parabolic equations
Model. Anal. Inform. Sist., 2018, Volume 25:1,  112–124
V. Yu. Mikhailov, see J. L. Vega Vice
Model. Anal. Inform. Sist., 2018, Volume 25:5,  481–490
V. A. Molchanov, see E. V. Khvorostukhina
Model. Anal. Inform. Sist., 2018, Volume 25:5,  561–571
A. N. Morozov
On the Taylor differentiability in spaces $L_p, 0<p\leq \infty$
Model. Anal. Inform. Sist., 2018, Volume 25:3,  323–330
S. V. Morzhov, I. V. Alekseev, M. A. Nikitinskiy
Organization of multi-controller interaction in software defined networks
Model. Anal. Inform. Sist., 2018, Volume 25:2,  207–216
S. V. Morzhov, M. A. Nikitinskiy
A new approach for detecting and resolving anomalies in security policy of the external firewall module of the floodlight SDN controller
Model. Anal. Inform. Sist., 2018, Volume 25:3,  251–256
D. M. Murin, see V. G. Durnev
Model. Anal. Inform. Sist., 2018, Volume 25:4,  402–410
D. M. Murin, see D. R. Filonov
Model. Anal. Inform. Sist., 2018, Volume 25:4,  411–420
N. N. Nefedov, E. I. Nikulin
Existence and stability of the periodic solution with an interior transitional layer in the problem with a weak linear advection
Model. Anal. Inform. Sist., 2018, Volume 25:1,  125–132
N. N. Nefedov, see E. A. Antipov
Model. Anal. Inform. Sist., 2018, Volume 25:1,  18–32
V. A. Nemtinov, see S. M. Terekhov
Model. Anal. Inform. Sist., 2018, Volume 25:2,  217–231
V. A. Nepomnyashchii, see D. A. Kondrat'ev
Model. Anal. Inform. Sist., 2018, Volume 25:5,  491–505
M. V. Nevskii, A. Yu. Ukhalov
On minimal absorption index for an $n$-dimensional simplex
Model. Anal. Inform. Sist., 2018, Volume 25:1,  140–150
M. V. Nevskii, A. Yu. Ukhalov
On optimal interpolation by linear functions on an $n$-dimensional cube
Model. Anal. Inform. Sist., 2018, Volume 25:3,  291–311
M. V. Nevskii
On some problems for a simplex and a ball in ${\mathbb R}^n$
Model. Anal. Inform. Sist., 2018, Volume 25:6,  680–691
M. A. Nikitinskiy, see S. V. Morzhov
Model. Anal. Inform. Sist., 2018, Volume 25:2,  207–216
M. A. Nikitinskiy, see S. V. Morzhov
Model. Anal. Inform. Sist., 2018, Volume 25:3,  251–256
E. I. Nikulin, see N. N. Nefedov
Model. Anal. Inform. Sist., 2018, Volume 25:1,  125–132
O. V. Oreshkina (Nikol'skaya)
On the Hodge, Tate and Mumford–Tate conjectures for fibre products of families of regular surfaces with geometric genus 1
Model. Anal. Inform. Sist., 2018, Volume 25:3,  312–322
I. V. Paramonov, see N. S. Lagutina
Model. Anal. Inform. Sist., 2018, Volume 25:4,  435–458
P. O. Plotnikov, see E. V. Kuz'min
Model. Anal. Inform. Sist., 2018, Volume 25:4,  382–387
P. O. Plotnikov, see E. V. Kuz'min
Model. Anal. Inform. Sist., 2018, Volume 25:6,  667–679
A. A. Potapov, see A. M.-Z. Agalarov
Model. Anal. Inform. Sist., 2018, Volume 25:1,  133–139
A. A. Potapov, see A. M.-Z. Agalarov
Model. Anal. Inform. Sist., 2018, Volume 25:1,  7–17
A. V. Promskii, see N. V. Shilov
Model. Anal. Inform. Sist., 2018, Volume 25:6,  637–666
A. È. Rassadin, see A. M.-Z. Agalarov
Model. Anal. Inform. Sist., 2018, Volume 25:1,  133–139
A. È. Rassadin, see A. M.-Z. Agalarov
Model. Anal. Inform. Sist., 2018, Volume 25:1,  7–17
S. Reznikova, V. Rivera, J. Y. Lee, M. Mazzara
Translation from Event-B into Eiffel
Model. Anal. Inform. Sist., 2018, Volume 25:6,  623–636
V. Rivera, see S. V. Reznikova
Model. Anal. Inform. Sist., 2018, Volume 25:6,  623–636
L. I. Rodina, I. I. Tyuteev
On estimation of an average time profit in probabilistic environmental and economic models
Model. Anal. Inform. Sist., 2018, Volume 25:3,  257–267
A. N. Shigaev, see Yu. V. Kosolapov
Model. Anal. Inform. Sist., 2018, Volume 25:3,  276–290
N. V. Shilov, see V. A. Zakharov
Model. Anal. Inform. Sist., 2018, Volume 25:5,  463–464
N. V. Shilov
Etude on recursion elimination
Model. Anal. Inform. Sist., 2018, Volume 25:5,  549–560
N. V. Shilov, D. A. Kondratyev, I. S. Anureev, E. V. Bodin, A. V. Promsky
Platform-independent specification and verification of the standard mathematical square root function
Model. Anal. Inform. Sist., 2018, Volume 25:6,  637–666
T. R. Shmeleva
Comparative analysis of stability to induced deadlocks for computing grids with various node architectures
Model. Anal. Inform. Sist., 2018, Volume 25:2,  193–206
D. M. Sirotin, see S. D. Glyzin
Model. Anal. Inform. Sist., 2018, Volume 25:1,  54–62
A. V. Smirnov
The spanning tree of a divisible multiple graph
Model. Anal. Inform. Sist., 2018, Volume 25:4,  388–401
V. A. Sokolov, see V. G. Durnev
Model. Anal. Inform. Sist., 2018, Volume 25:4,  402–410
V. A. Sokolov, see D. R. Filonov
Model. Anal. Inform. Sist., 2018, Volume 25:4,  411–420
V. A. Sokolov, see M. S. Karyaeva
Model. Anal. Inform. Sist., 2018, Volume 25:6,  726–733
S. M. Staroletov, see T. Baar
Model. Anal. Inform. Sist., 2018, Volume 25:5,  465–480
A. V. Stepanov, see A. M.-Z. Agalarov
Model. Anal. Inform. Sist., 2018, Volume 25:1,  7–17
S. M. Terekhov, V. A. Nemtinov, K. S. Kornilov
Model of the connecting optimal number of heat consumers
Model. Anal. Inform. Sist., 2018, Volume 25:2,  217–231
V. A. Tyukin, see E. V. Kuz'min
Model. Anal. Inform. Sist., 2018, Volume 25:4,  382–387
V. A. Tyukin, see E. V. Kuz'min
Model. Anal. Inform. Sist., 2018, Volume 25:6,  667–679
I. I. Tyuteev, see L. I. Rodina
Model. Anal. Inform. Sist., 2018, Volume 25:3,  257–267
A. Yu. Ukhalov, see M. V. Nevskij
Model. Anal. Inform. Sist., 2018, Volume 25:1,  140–150
A. Yu. Ukhalov, see M. V. Nevskij
Model. Anal. Inform. Sist., 2018, Volume 25:3,  291–311
M. S. Ushakova, A. I. Legalov
Verification of programs with mutual recursion in the Pifagor language
Model. Anal. Inform. Sist., 2018, Volume 25:4,  358–381
A. D. Uvarov
Singular points of curves
Model. Anal. Inform. Sist., 2018, Volume 25:6,  692–710
V. V. Vasilchikov
On а recursive-parallel algorithm for solving the Knapsack Problem
Model. Anal. Inform. Sist., 2018, Volume 25:2,  155–164
V. S. Vasilyev, A. I. Legalov
Loop-invariant optimization in the Pifagor language
Model. Anal. Inform. Sist., 2018, Volume 25:4,  347–357
K. V. Vedenev, V. M. Deundyak
Codes in dihedral group algebra
Model. Anal. Inform. Sist., 2018, Volume 25:2,  232–245
J. Vega Vice, V. Yu. Mikhailov
On methods in the verification and elaboration of development programs for agricultural territories
Model. Anal. Inform. Sist., 2018, Volume 25:5,  481–490
V. A. Zakharov, N. V. Shilov
From the editors of the special issue
Model. Anal. Inform. Sist., 2018, Volume 25:5,  463–464
V. A. Zakharov, see A. R. Gnatenko
Model. Anal. Inform. Sist., 2018, Volume 25:5,  506–524
V. A. Zakharov, see M. M. Abbas
Model. Anal. Inform. Sist., 2018, Volume 25:6,  589–606
S. A. Zakharova, see M. A. Davydova
Model. Anal. Inform. Sist., 2018, Volume 25:1,  83–91
Моделирование и анализ информационных систем
 
Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2019