|
On the Hereditary Properties of Modular Nets
V. A. Bashkin
|
9 |
|
|
Verification of Computing Grids with Special Edge Conditions by Infinite Petri Nets
D. A. Zaitsev
|
21 |
|
|
Deductive Verification of Telecommunication Systems Written in C
I. S. Anureev
|
34 |
|
|
On the Designing of Model Checkers for Real-Time Distributed Systems
D. Yu. Volkanov, V. A. Zakharov, D. A. Zorin, I. V. Konnov, V. V. Podymov
|
45 |
|
|
Deductive Verification of the Sliding Window Protocol
D. A. Chkliaev, V. A. Nepomniaschy
|
57 |
|
|
Tree Slicing in Clone Detection: Syntactic Analysis Made (Semi)-Semantic
Marat Akhin, Vladimir Itsykson
|
69 |
|
|
An Approach to Concretization of Test Scenarios in Industrial Automation Testing of Software Projects
A. V. Kolchin, A. A. Letichevsky, V. S. Peschanenko, P. D. Drobintsev, V. P. Kotlyarov
|
79 |
|
|
Yaroslavl International Conference on Discrete Geometry (dedicated to the centenary of A. D. Alexandrov)
N. Dolbilin, H. Edelsbrunner, A. Ivanov, O. Musin, M. Nevskii
|
92 |
|
|
Polyhedral Graphs of GRAPH PARTITIONING and COMPLETE BIPARTITE SUBGRAPH Problems
A. I. Antonov, V. A. Bondarenko
|
101 |
|
|
On Some Corollaries of a Transversal Theorem
V. L. Dolnikov
|
107 |
|
|
About Some Localization Problems in Delaunay Triangulations
N. F. Dyshkant
|
112 |
|
|
Continuous Flattening of a Regular Tetrahedron with Explicit Mappings
Jin-ichi Itoh, Chie Nara
|
127 |
|
|
Perfect Prismatoids and the Conjecture Concerning Face Numbers of Centrally Symmetric Polytopes
M. A. Kozachok
|
137 |
|
|
A Uniform Asymptotical Upper Bound for the Variance of a Random Polytope in a Simple Polytope
A. Magazinov
|
148 |
|
|
Fractal and Computational Geometry for Generalizing Cartographic Objects
O. R. Musin, A. U. Ukhalov, H. Edelsbrunner, O. P. Yakimova
|
152 |
|
|
Volume Polynomials for Some Polyhedra in Spaces of Constant Curvature
D. I. Sabitov, I. Kh. Sabitov
|
161 |
|
|
A New Proof of the Euler Formula
M. I. Shtogrin
|
170 |
Terms of Use