|
Common Knowledge in Well-structured Perfect Recall Systems
N. O. Garanina
|
10 |
|
|
Defect Detection: Combining Bounded Model Checking and Code Contracts
Marat Akhin, Mikhail Belyaev, Vladimir Itsykson
|
22 |
|
|
A Formal Model and Verification Problems for Software Defined Networks
V. A. Zakharov, R. L. Smelyansky, E. V. Chemeritsky
|
36 |
|
|
Automatic C Program Verification Based on Mixed Axiomatic Semantics
I. V. Maryasov, V. A. Nepomnyaschy, A. V. Promsky, D. A. Kondratyev
|
52 |
|
|
The Guide-based Automatic Creation of Verified Test Scenarious
P. D. Drobintsev, V. P. Kotlyarov, A. A. Letichevsky
|
64 |
|
|
Construction and Verification of PLC LD-programs by LTL-specification
E. V. Kuzmin, V. A. Sokolov, D. A. Ryabukhin
|
78 |
|
|
International Conference “Geometry, Topology, and Applications”
A. Garber, H. Edelsbrunner, A. Ivanov, O. Musin, M. Nevskii
|
95 |
|
|
Regular Polygonal Complexes of Higher Ranks in $\mathbb{E}^3$
Egon Schulte
|
103 |
|
|
On the Bootstrap for Persistence Diagrams and Landscapes
F. Chazal, B. T. Fasy, F. Lecci, A. Rinaldo, A. Singh, L. Wasserman
|
111 |
|
|
Subword Complexes and Nil-Hecke Moves
M. A. Gorsky
|
121 |
|
|
A Definition of Type Domain of a Parallelotope
V. P. Grishukhin
|
129 |
|
|
On the Areal Random Packing
Masaharu Tanemura
|
135 |
|
|
On Homology Groups of a Subspace of Triangulations of the Two-Simplex with not More than 6 Subdivisional Boundary Vertices
S. I. Yablokova
|
142 |
|
|
Hyperbolic Tetrahedron: Volume Calculation with Application to the Proof of the Schläfli Formula
I. Kh. Sabitov
|
149 |
|
|
Segmentation of Clinical Endoscopic Images Based on the Classification of Topological Vector Features
O. A. Dunaeva, D. B. Malkova, M. L. Machin, H. Edelsbrunner
|
162 |
|
|
Construction of an Entropy Estimator with a Special Metrics and an Arbitrary Function
N. E. Timofeeva
|
174 |
|
|
Relaxation Cycles in a Generalized Neuron Model with Two Delays
S. D. Glyzin, E. A. Marushkina
|
179 |
