|
On the Hereditary Properties of Modular Nets
V. A. Bashkin
|
9–20 |
|
|
Verification of Computing Grids with Special Edge Conditions by Infinite Petri Nets
D. A. Zaitsev
|
21–33 |
|
|
Deductive Verification of Telecommunication Systems Written in C
I. S. Anureev
|
34–44 |
|
|
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–56 |
|
|
Deductive Verification of the Sliding Window Protocol
D. A. Chkliaev, V. A. Nepomniaschy
|
57–68 |
|
|
Tree Slicing in Clone Detection: Syntactic Analysis Made (Semi)-Semantic
Marat Akhin, Vladimir Itsykson
|
69–78 |
|
|
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–91 |
|
|
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–100 |
|
|
Polyhedral Graphs of GRAPH PARTITIONING and COMPLETE BIPARTITE SUBGRAPH Problems
A. I. Antonov, V. A. Bondarenko
|
101–106 |
|
|
On Some Corollaries of a Transversal Theorem
V. L. Dolnikov
|
107–111 |
|
|
About Some Localization Problems in Delaunay Triangulations
N. F. Dyshkant
|
112–126 |
|
|
Continuous Flattening of a Regular Tetrahedron with Explicit Mappings
Jin-ichi Itoh, Chie Nara
|
127–136 |
|
|
Perfect Prismatoids and the Conjecture Concerning Face Numbers of Centrally Symmetric Polytopes
M. A. Kozachok
|
137–147 |
|
|
A Uniform Asymptotical Upper Bound for the Variance of a Random Polytope in a Simple Polytope
A. Magazinov
|
148–151 |
|
|
Fractal and Computational Geometry for Generalizing Cartographic Objects
O. R. Musin, A. U. Ukhalov, H. Edelsbrunner, O. P. Yakimova
|
152–160 |
|
|
Volume Polynomials for Some Polyhedra in Spaces of Constant Curvature
D. I. Sabitov, I. Kh. Sabitov
|
161–169 |
|
|
A New Proof of the Euler Formula
M. I. Shtogrin
|
170–172 |
Contact us: