| |
| 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 |
|
