Algorithms for the boundedness problem for Minsky counter machines E. V. KuzminD. J. Chalyy OriginalPaper 15 January 2011 Pages: 365 - 373
Verification of synchronous-automaton programs with the use of LTL S. V. Kubasov OriginalPaper 15 January 2011 Pages: 374 - 377
On application of weaker simulations to parameterized model checking by network invariants technique I. V. Konnov OriginalPaper 15 January 2011 Pages: 378 - 386
Decidability of boundedness problems for Minsky counter machines E. V. KuzminD. J. Chalyy OriginalPaper 15 January 2011 Pages: 387 - 397
On a class of high-level finite-state automata R. A. VinogradovV. A. Sokolov OriginalPaper 15 January 2011 Pages: 398 - 406
Relationships between the clique number, chromatic number, and the degree for some graphs S. L. Berlov OriginalPaper 15 January 2011 Pages: 407 - 414
On a reachability set of automation 3-counter machines E. V. KuzminD. J. Chalyy OriginalPaper 15 January 2011 Pages: 415 - 419
On 2-neighborly polytopes and the gale construction A. G. Brodskiy OriginalPaper 15 January 2011 Pages: 434 - 446
On one class of counter machines E. V. KuzminD. J. Chalyy OriginalPaper 15 January 2011 Pages: 447 - 451
Properties of e-degrees of the bounded total sets S. V. Rozhkov OriginalPaper 15 January 2011 Pages: 452 - 454
Boundedness problem for lossy counter machines E. V. Kuzmin OriginalPaper 15 January 2011 Pages: 455 - 466
Asymptotic form of the bias of entropy estimator for Bernoulli measures E. A. Timofeev OriginalPaper 15 January 2011 Pages: 467 - 475