Preview

Modeling and Analysis of Information Systems

Advanced search

Section Details


Conference Papers

 
Issue Title
 
Vol 25, No 1 (2018) Edge States and Chiral Solitons in Topological Hall and Chern–Simons Fields Abstract   PDF (Eng)
Agalar M. Agalarov, Telman A. Gadzhimuradov, Alexander A. Potapov, Alexander E. Rassadin,
 
Vol 25, No 5 (2018) On Methods in the Verification and Elaboration of Development Programs for Agricultural Territories Abstract   PDF (Rus)
Jorge Vega Vice, Valery Mikhailov
 
Vol 25, No 5 (2018) The Automation of C Program Verification by Symbolic Method of Loop Invariants Elimination Abstract   PDF (Rus)
Dmitry Kondratyev, Ilya Maryasov, Valery Nepomniaschy
 
Vol 25, No 5 (2018) On the Expressive Power of Some Extensions of Linear Temporal Logic Abstract   PDF (Rus)
Anton Gnatenko, Vladimir Zakharov
 
Vol 25, No 5 (2018) On Safety of Unary and Non-unary IFP-operators Abstract   PDF (Rus)
Sergey Dudakov
 
Vol 25, No 1 (2018) On the Transfer of a Number of Concepts of Statistical Radiophysics to the Theory of One-dimensional Point Mappings Abstract   PDF (Rus)
Agalar M. Agalarov, Alexander A. Potapov, Alexander E. Rassadin, Anton V. Stepanov
 
Vol 25, No 5 (2018) A Control Flow Graph Based Approach to Make the Verification of Cyber-Physical Systems Using KeYmaera Easier Abstract   PDF (Eng)
Thomas Baar, Sergey Staroletov
 
Vol 25, No 1 (2018) Asymptotic Approximation of the Solution of the Reaction-Diffusion-Advection Equation with a Nonlinear Advective Term Abstract   PDF (Rus)
Evgeny A. Antipov, Natalia T. Levashova, Nikolay N. Nefedov
 
Vol 25, No 5 (2018) Polyprograms and Polyprogram Bisimulation Abstract   PDF (Eng)
Sergei Grechanik
 
Vol 25, No 1 (2018) Upper and Lower Solutions for the FitzHugh– Nagumo Type System of Equations Abstract   PDF (Rus)
Svetlana V. Bytsyura, Natalia T. Levashova
 
Vol 25, No 1 (2018) Invariant Characteristics of Forced Oscillations of a Beam with Longitudinal Compression Abstract   PDF (Rus)
Sergey D. Glyzin, Mikhail Vladimirovich Lokhanin, Dmitry Mikhailovich Sirotin
 
Vol 25, No 1 (2018) The Andronov–Hopf Bifurcation in a Biophysical Model of the Belousov Reaction Abstract   PDF (Rus)
Vladimir E. Goryunov
 
Vol 25, No 1 (2018) Features of the Local Dynamics of the Opto-Electronic Oscillator Model with Delay Abstract   PDF (Rus)
Elena V. Grigorieva, Sergey A. Kashchenko, Dmitry V. Glazkov
 
Vol 25, No 1 (2018) On a Singularly Perturbed Problem of the Nonlinear Thermal Conductivity in the Case of Balanced Nonlinearity Abstract   PDF (Rus)
Marina A. Davydova, Svetlana A. Zakharova
 
Vol 25, No 1 (2018) The Kuramoto–Sivashinsky equation. A Local Attractor Filled with Unstable Periodic Solutions Abstract   PDF (Rus)
Anatoli N. Kulikov, Dmitri A. Kulikov
 
Vol 25, No 1 (2018) Periodic and Quasiperiodic Solutions in the System of Three Hutchinson Equations with a Delayed Broadcast Connection Abstract   PDF (Rus)
Elena A. Marushkina
 
Vol 25, No 1 (2018) Periodic Variations of an Autowave Structure in Two-dimensional System of Parabolic Equations Abstract   PDF (Rus)
Alina A. Melnikova, Natalia N. Deryugina
 
Vol 25, No 1 (2018) Existence and Stability of the Periodic Solution with an Interior Transitional Layer in the Problem with a Weak Linear Advection Abstract   PDF (Rus)
Nikolay N. Nefedov, Egor Ig. Nikulin
 
1 - 18 of 18 Items