1. Properties of a predicate transformer of the VRS system

   • A. A. Letichevsky
   • A. B. Godlevsky
   • V. S. Peschanenko

   Cybernetics 03 August 2010 Pages: 521 - 532

2. On the complexity of analysis of automata over a finite ring

   • V. V. Skobelev
   • V. G. Skobelev

   OriginalPaper 03 August 2010 Pages: 533 - 545

3. Inclusion problems in trace monoids

   • K. V. Shahbazyan
   • Yu. H. Shoukourian

   OriginalPaper 03 August 2010 Pages: 546 - 553

4. Program equivalence checking by two-tape automata

   • V. A. Zakharov

   OriginalPaper 03 August 2010 Pages: 554 - 562

5. Fast hybrid matrix multiplication algorithms

   • L. D. Jelfimova

   OriginalPaper 03 August 2010 Pages: 563 - 573

6. Transformation of a language L* specification of an FSM into an automata equivalent specification in the language L

   • A. N. Chebotarev

   OriginalPaper 03 August 2010 Pages: 574 - 582

7. An automatic method for the dynamic construction of abstractions of states of a formal model

   • A. V. Kolchin

   OriginalPaper 03 August 2010 Pages: 583 - 601

8. Predicate transformers in the context of symbolic modeling of transition systems

   • A. B. Godlevsky

   OriginalPaper 03 August 2010 Pages: 602 - 608

9. Domain science and engineering from computer science to the sciences of informatics. Part I: Engineering

   • D. Bjørner

   Systems Analysis 06 August 2010 Pages: 609 - 623

10. Extension of scala language by distributed and parallel computing tools with Linda coordination system

    • M. M. Glybovets
    • S. S. Gorohovskiy
    • M. S. Stukalo

    OriginalPaper 03 August 2010 Pages: 624 - 629

11. Solving linear constraints over real and rational fields

    • V. N. German

    OriginalPaper 03 August 2010 Pages: 630 - 638

12. Formal fundamentals of component interoperability in programming

    • K. M. Lavrischeva

    Software–Hardware Systems 03 August 2010 Pages: 639 - 652

13. Development of algorithmic algebra tools to design parallel programs using heuristics

    • A. E. Doroshenko
    • N. V. Kotyuk
    • E. A. Yatsenko

    OriginalPaper 03 August 2010 Pages: 653 - 659

14. Polynomial invariants for linear loops

    • M. S. Lvov

    OriginalPaper 03 August 2010 Pages: 660 - 668

15. Parallel inference search in logical calculus based on the algebraic programming system

    • A. A. Letichevsky
    • V. N. German
    • N. N. Shchogoleva

    OriginalPaper 03 August 2010 Pages: 669 - 678

16. International workshop “automata, algorithms, and information technologies”

    • M. K. Morokhovets

    Scientific Information 03 August 2010 Pages: 679 - 680

17. A. Z. Melikov, L. A. Ponomarenko, and V. V. Paladyuk, The Teletraffic: Models, Methods, and Optimization [in Russian], IPK “Politekhnika,” Kyiv (2007).

    • I. N. Kovalenko
    • Academician National Academy of Sciences of Ukraine

    Reviews of New Books 03 August 2010 Pages: 681 - 682