Geodesic

Tome 19 (2012) no. 6

Sommaire

On the Hereditary Properties of Modular Nets
p. 9-20
Verification of Computing Grids with Special Edge Conditions by Infinite Petri Nets
p. 21-33
Deductive Verification of Telecommunication Systems Written in C
p. 34-44
On the Designing of Model Checkers for Real-Time Distributed Systems
p. 45-56
Deductive Verification of the Sliding Window Protocol
p. 57-68
Tree Slicing in Clone Detection: Syntactic Analysis Made (Semi)-Semantic
p. 69-78
An Approach to Concretization of Test Scenarios in Industrial Automation Testing of Software Projects
p. 79-91
Yaroslavl International Conference on Discrete Geometry (dedicated to the centenary of A. D. Alexandrov)
p. 92-100
Polyhedral Graphs of GRAPH PARTITIONING and COMPLETE BIPARTITE SUBGRAPH Problems
p. 101-106
On Some Corollaries of a Transversal Theorem
p. 107-111
About Some Localization Problems in Delaunay Triangulations
p. 112-126
Continuous Flattening of a Regular Tetrahedron with Explicit Mappings
p. 127-136
Perfect Prismatoids and the Conjecture Concerning Face Numbers of Centrally Symmetric Polytopes
p. 137-147
A Uniform Asymptotical Upper Bound for the Variance of a Random Polytope in a Simple Polytope
p. 148-151
Fractal and Computational Geometry for Generalizing Cartographic Objects
p. 152-160
Volume Polynomials for Some Polyhedra in Spaces of Constant Curvature
p. 161-169
A New Proof of the Euler Formula
p. 170-172