| Issue | Title | |
| Vol 19, No 1 (2012) | Редакционная статья | Abstract PDF (Rus) |
| V. A. Sokolov | ||
| Vol 23, No 6 (2016) | От редактора специального выпуска | Abstract PDF (Rus) |
| Vol 24, No 6 (2017) | От редактора специального выпуска | Abstract PDF (Rus) |
| Vol 25, No 1 (2018) | От редактора специального выпуска | Abstract PDF (Rus) |
| Vol 16, No 4 (2009) | Дорогие коллеги! | Abstract PDF (Rus) |
| Valery A. Sokolov | ||
| Vol 20, No 2 (2013) | “Robots in Space” Multiagent Problem: Complexity, Information and Cryptographic Aspects | Abstract PDF (Rus) |
| A. Yu. Bernstein, N. V. Shilov | ||
| Vol 27, No 2 (2020) | “VTMine for Visio”: Graphical Tool for Modeling in Process Mining | Abstract PDF (Rus) |
| Sergey A. Shershakov | ||
| Vol 26, No 1 (2019) | ”Common Criteria” and Software Defined Network Security | Abstract PDF (Rus) |
| Andrey N. Petukhov, Paul L. Pilyugin | ||
| Vol 22, No 4 (2015) | 1-Skeletons of the Spanning Tree Problems with Additional Constraints | Abstract PDF (Rus) |
| V. A. Bondarenko, A. V. Nikolaev, D. A. Shovgenov | ||
| Vol 23, No 3 (2016) | A Caputo Two-Point Boundary Value Problem: Existence, Uniqueness and Regularity of a Solution | Abstract PDF (Eng) |
| M. Stynes | ||
| Vol 19, No 4 (2012) | A Constructive Classification of Graphs | Abstract PDF (Rus) |
| M. A. Iordanskii | ||
| Vol 19, No 4 (2012) | A Context-Free Grammar of One Rhythmic Model of Russian Verse | Abstract PDF (Rus) |
| V. N. Boykov | ||
| 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 16, No 4 (2009) | A Correction For The Latent Period Of Chemically Coupled Neurons | Abstract PDF (Rus) |
| O. A. Dunaeva | ||
| Vol 20, No 6 (2013) | A Definition of Type Domain of a Parallelotope | Abstract PDF (Rus) PDF (Eng) |
| V. P. Grishukhin | ||
| Vol 17, No 1 (2010) | A doublestep extragradient method for solving a resource management problem | Abstract PDF (Rus) |
| A. V. Zykina, N. V. Melenchuk | ||
| Vol 24, No 5 (2017) | A Family of Non-rough Cycles in a System of Two Coupled Delayed Generators | Abstract PDF (Rus) |
| Aleksandra A. Kashchenko | ||
| Vol 20, No 6 (2013) | A Formal Model and Verification Problems for Software Defined Networks | Abstract PDF (Rus) |
| V. A. Zakharov, R. L. Smelyansky, E. V. Chemeritsky | ||
| Vol 18, No 4 (2011) | A Formal Requirements Model, Used in the Process of Application Code and Test Code Generation | Abstract PDF (Rus) |
| S. N. Baranov, V. P. Kotlyarov | ||
| Vol 27, No 3 (2020) | A Generalization of the Inference Rules for Join Dependencies in Databases | Abstract PDF (Rus) |
| Sergey V. Zykin | ||
| Vol 19, No 1 (2012) | A Generalized Solution of an Initial Boundary Value Problem Arising in the Mechanics of Discrete-Continuous Systems | Abstract PDF (Rus) |
| E. P. Kubyshkin, O. A. Khrebtyugova | ||
| Vol 27, No 1 (2020) | A Markov Model of Non-Mutually Exclusive Cyber Threats and its Applications for Selecting an Optimal Set of Information Security Remedies | Abstract PDF (Rus) |
| Adil A. Kassenov, Alexey A. Magazev, Valeriya F. Tsyrulnik | ||
| Vol 17, No 1 (2010) | A mathematical model of an order management automated system within the process of production technological preparation in aviation enterprisers | Abstract PDF (Rus) |
| P. E. Efimova | ||
| Vol 28, No 4 (2021) | A Mathematical Model of Parallel Programs and an Approach Based on it to Verification of MPI Programs | Abstract PDF (Rus) |
| Andrew M. Mironov | ||
| Vol 22, No 4 (2015) | A Method of Sample Models of Program Construction in Terms of Petri Nets | Abstract PDF (Rus) |
| D. I. Kharitonov, E. A. Golenkov, G. V. Tarasov, D. V. Leontyev | ||
| Vol 29, No 4 (2022) | A Model for Automated Business Writing Assessment | Abstract PDF (Rus) |
| Daniil Dmitrievich Zafievsky, Nadezhda Stanislavona Lagutina, Oksana Andreyevna Melnikova, Anatoliy Yurievich Poletaev | ||
| Vol 25, No 3 (2018) | A New Approach for Detecting and Resolving Anomalies in Security Policy of the External Firewall Module of the Floodlight SDN Controller | Abstract PDF (Eng) |
| Sergey V. Morzhov, Mikhail A. Nikitinskiy | ||
| Vol 19, No 6 (2012) | A New Proof of the Euler Formula | Abstract PDF (Rus) |
| M. I. Shtogrin | ||
| Vol 24, No 3 (2017) | A Note on the Domain of Attraction for the Stationary Solution to a Singularly Perturbed Parabolic Equation | Abstract PDF (Rus) |
| Mikhail A. Terentyev | ||
| Vol 20, No 4 (2013) | A Novel Approach to Many-to-Many User Authentication in Different Information Systems | Abstract PDF (Rus) |
| Vitaly Petrov, Maria Komar, Yevgeny Koucheryavy | ||
| Vol 32, No 2 (2025) | A patterning algorithm for the dynamic bin packing problem with placement groups | Abstract PDF (Rus) |
| Evgeniy A. Brazhnikov, Artem A. Panin, Alexey V. Ratushnyi | ||
| Vol 28, No 4 (2021) | A Recursive Inclusion Checker for Recursively Defined Subtypes | Abstract PDF (Rus) |
| Hans De Nivelle | ||
| Vol 14, No 3 (2007) | A registration of age groups for the Hutchinson's equation | Abstract PDF (Rus) |
| S. D. Glyzin | ||
| Vol 28, No 3 (2021) | A Simple Algorithm for Finding a Non-negative Basic Solution of a System of Linear Algebraic Equations | Abstract PDF (Rus) |
| Gleb D. Stepanov | ||
| Vol 18, No 4 (2011) | A Simple Algorithm for Solving the Coverability Problem for Monotonic Counter Systems | Abstract PDF (Rus) |
| And. V. Klimov | ||
| Vol 23, No 1 (2016) | A Special Role of Boolean Quadratic Polytopes among Other Combinatorial Polytopes | Abstract PDF (Rus) |
| A. N. Maksimenko | ||
| Vol 18, No 4 (2011) | A SPIN-based Approach for Detecting Vulnerabilities in C Programs | Abstract PDF (Rus) |
| N. G. Kushik, A. . Mammar, A. . Cavalli, N. V. Yevtushenko, W. . Jimenez, E. . Montes De Oca | ||
| Vol 18, No 1 (2011) | A strategy for the execution of copy and delete operations in the tree of objects | Abstract PDF (Rus) |
| A. V. Mayorov | ||
| Vol 20, No 4 (2013) | A Substitution Algorithm for Dataflow Network Agents on Smart-M3 Platform | Abstract PDF (Rus) |
| A. M. Vasilev, I. V. Paramonov, N. S. Lagutina, E. I. Mamedov | ||
| Vol 32, No 1 (2025) | A survey of models for automatic assessment of similarity of student's answer to the reference answer | Abstract PDF (Rus) |
| Nadezhda S. Lagutina, Ksenia V. Lagutina | ||
| Vol 21, No 4 (2014) | A Translator with a Security Static Analysis Feature of an Information Flow for a Simple Programming Language | Abstract PDF (Rus) |
| E. Ju. Antoshina, A. N. Barakova, E. S. Nikitin, D. Ju. Chalyy | ||
| Vol 19, No 6 (2012) | A Uniform Asymptotical Upper Bound for the Variance of a Random Polytope in a Simple Polytope | Abstract PDF (Rus) PDF (Eng) |
| A. Magazinov | ||
| Vol 22, No 2 (2015) | About a Routing Problem of the Tool Motion on Sheet Cutting | Abstract PDF (Rus) |
| A. A. Petunin, A. G. Chentsov, P. A. Chentsov | ||
| Vol 19, No 5 (2012) | About Algebraic Program Models with Procedures | Abstract PDF (Rus) |
| R. I. Podlovchenko, A. E. Molchanov | ||
| Vol 24, No 2 (2017) | About Bifurcations at Small Perturbations in a Logistic Equation with Delay | Abstract PDF (Rus) |
| Sergey A. Kashchenko | ||
| Vol 26, No 2 (2019) | About Detection of Code Reuse Attacks | Abstract PDF (Rus) |
| Yury V. Kosolapov | ||
| Vol 19, No 3 (2012) | About Not Countable Ideals in a Semi-Lattice of the Enumeration Degrees | Abstract PDF (Rus) |
| B. I. Solon, V. V. Tikhov | ||
| Vol 19, No 5 (2012) | About Not Countable Ideals in a Semi-Lattice of the Enumeration Degrees | Abstract PDF (Rus) |
| B. I. Solon, V. V. Tikhov | ||
| Vol 19, No 3 (2012) | About One Class of Operators Inclusions | Abstract PDF (Rus) |
| N. A. Demyankov, V. S. Klimov | ||
| Vol 19, No 6 (2012) | About Some Localization Problems in Delaunay Triangulations | Abstract PDF (Rus) |
| N. F. Dyshkant | ||
| Vol 16, No 3 (2009) | About the spectral problem arising from robotic manipulator mechanics | Abstract PDF (Rus) |
| V. I. Voytitsky, M. Y. Zlobina, Y. P. Kubyshkin | ||
| Vol 16, No 3 (2009) | About the works by Yu.S. Kolesov on differential equations | Abstract PDF (Rus) |
| V. Sh. Burd | ||
| Vol 18, No 3 (2011) | About Two Finite-Dimensional Approximations of the Periodic Boundary Value Problem | Abstract PDF (Rus) |
| N. A. Demyankov | ||
| Vol 23, No 5 (2016) | Absence and Blow-Up of Solutions to Singular Perturbation Problems in the Case of Exchange of Stabilities | Abstract PDF (Rus) |
| M. A. Terentyev | ||
| Vol 22, No 2 (2015) | Access Efficiency to Data in DIM DBMS | Abstract PDF (Rus) PDF (Eng) |
| D. V. Antonov, V. S. Roublev | ||
| Vol 23, No 3 (2016) | Adelaida Borisovna Vasil’eva (on her 90-th birthday) | Abstract PDF (Rus) |
| V. F. Butusov, N. N. Nefedov | ||
| Vol 32, No 1 (2025) | Algorithm for constructing asymptotics of periodic solutions in laser models with a rapidly oscillating delay | Abstract PDF (Rus) |
| Elena V. Grigorieva, Dmitry V. Glazkov, Anna O. Tolbey | ||
| Vol 20, No 2 (2013) | Algorithm for Efficient Entropy Estimation | Abstract PDF (Rus) PDF (Eng) |
| E. A. Timofeev | ||
| Vol 28, No 3 (2021) | Algorithm for Finding Feedback in a Problem with Constraints for One Class of Nonlinear Control Systems | Abstract PDF (Rus) |
| Michail G. Dmitriev, Zainelkhriet N. Murzabekov, Gulbanu A. Mirzakhmedova | ||
| Vol 30, No 4 (2023) | Algorithm for link prediction in self-regulating network with adaptive topology based on graph theory and machine learning | Abstract PDF (Rus) |
| Evgeny Y. Pavlenko | ||
| Vol 26, No 1 (2019) | Algorithm for Reducing the Number of Forwarding Rules Created by SDN Applications | Abstract PDF (Rus) |
| Ivan S. Petrov | ||
| Vol 30, No 2 (2023) | Algorithms for asymptotic and numerical modeling of oscillatory modes in the simplest ring of generators with asymmetric nonlinearity | Abstract PDF (Rus) |
| Sergey D. Glyzin, Elena A. Marushkina | ||
| Vol 22, No 4 (2015) | Algorithms for Majority Decoding of Group Codes | Abstract PDF (Rus) |
| V. M. Deundyak, Y. V. Kosolapov | ||
| Vol 28, No 1 (2021) | An Algorithm for Correcting Levels of Useful Signals on Interpretation of Eddy-Current Defectograms | Abstract PDF (Rus) |
| Egor V. Kuzmin, Oleg E. Gorbunov, Petr O. Plotnikov, Vadim A. Tyukin, Vladimir A. Bashkin | ||
| Vol 28, No 4 (2021) | An Algorithm for Estimating the Signal Frequency at the Output of a Channel with a Controlled Information Flow under Phase Noise Conditions | Abstract PDF (Rus) |
| Leonid Nikolaevich Kazakov, Evgenii Pavlovich Kubyshkin, Ilya Victorovich Lukyanov | ||
| Vol 20, No 2 (2013) | An Algorithm for Parameters Estimation of Autoregressive Model of Basic Speech Units | Abstract PDF (Rus) |
| I. V. Gubochkin | ||
| Vol 14, No 4 (2007) | An Algorithm for the Recognition of Images | Abstract PDF (Rus) |
| I. A. Mikhailov | ||
| Vol 17, No 2 (2010) | An algorithm of converting business-process models into monochrome Petri nets on the basis of matrix formulas | Abstract PDF (Rus) |
| M. G. Dorrer | ||
| Vol 20, No 4 (2013) | An Algorithm of (n, t)-Threshold Proxy Signature with an Arbitrator | Abstract PDF (Rus) |
| E. A. Tolyupa | ||
| Vol 19, No 6 (2012) | An Approach to Concretization of Test Scenarios in Industrial Automation Testing of Software Projects | Abstract PDF (Rus) |
| A. V. Kolchin, A. A. Letichevsky, V. S. Peschanenko, P. D. Drobintsev, V. P. Kotlyarov | ||
| Vol 26, No 1 (2019) | An Approach to the Construction of a Network Processing Unit | Abstract PDF (Rus) |
| Stanislav O. Bezzubtsev, Vyacheslav V. Vasin, Dmitry Yu. Volkanov, Shynar R. Zhailauova, Vladislav A. Miroshnik, Yuliya A. Skobtsova, Ruslan L. Smeliansky | ||
| Vol 23, No 6 (2016) | An Approach to Verification of a Family of Multi- agent Systems for Conflict Resolution | Abstract PDF (Rus) |
| N. O. Garanina, E. A. Sidorova | ||
| Vol 26, No 1 (2019) | An Effective Algorithm for Collision Resolution in Security Policy Rules | Abstract PDF (Rus) |
| Sergey V. Morzhov, Valeriy A. Sokolov | ||
| Vol 25, No 4 (2018) | An Efficient Algorithm for Finding a Threshold of Useful Signals in the Analysis of Magnetic and Eddy Current Defectograms | Abstract PDF (Rus) |
| Egor V. Kuzmin, Oleg E. Gorbunov, Petr O. Plotnikov, Vadim A. Tyukin | ||
| Vol 31, No 4 (2024) | An Exact Schedulability Test for Real-Time Systems with Abstract Scheduler on Multiprocessor Platforms | Abstract PDF (Rus) |
| Natalia O. Garanina | ||
| 1 - 75 of 819 Items | 1 2 3 4 5 6 7 8 9 10 > >> | |
Browse Title Index
Popular articles
Vol 24, No 2 (2017)
Vol 24, No 2 (2017)
Vol 24, No 3 (2017)
Vol 24, No 2 (2017)
Vol 24, No 2 (2017)
Vol 24, No 2 (2017)
Keywords
Petri nets
SDN
asymptotic
asymptotics
bifurcation
boundary value problem
delay
delay differential equation
entropy
large parameter
model checking
natural language processing
norm
normal form
periodic solution
process mining
singular perturbation
small parameter
specification
stability
verification
Yaroslavl State University, MAIS
14 Sovetskaya str., Yaroslavl 150003, Russian Federation
E-mail: mais@uniyar.ac.ru
