Properties of a predicate transformer of the VRS system A. A. LetichevskyA. B. GodlevskyV. S. Peschanenko Cybernetics 03 August 2010 Pages: 521 - 532
On the complexity of analysis of automata over a finite ring V. V. SkobelevV. G. Skobelev OriginalPaper 03 August 2010 Pages: 533 - 545
Inclusion problems in trace monoids K. V. ShahbazyanYu. H. Shoukourian OriginalPaper 03 August 2010 Pages: 546 - 553
Program equivalence checking by two-tape automata V. A. Zakharov OriginalPaper 03 August 2010 Pages: 554 - 562
Fast hybrid matrix multiplication algorithms L. D. Jelfimova OriginalPaper 03 August 2010 Pages: 563 - 573
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
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
Predicate transformers in the context of symbolic modeling of transition systems A. B. Godlevsky OriginalPaper 03 August 2010 Pages: 602 - 608
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
Extension of scala language by distributed and parallel computing tools with Linda coordination system M. M. GlybovetsS. S. GorohovskiyM. S. Stukalo OriginalPaper 03 August 2010 Pages: 624 - 629
Solving linear constraints over real and rational fields V. N. German OriginalPaper 03 August 2010 Pages: 630 - 638
Formal fundamentals of component interoperability in programming K. M. Lavrischeva Software–Hardware Systems 03 August 2010 Pages: 639 - 652
Development of algorithmic algebra tools to design parallel programs using heuristics A. E. DoroshenkoN. V. KotyukE. A. Yatsenko OriginalPaper 03 August 2010 Pages: 653 - 659
Parallel inference search in logical calculus based on the algebraic programming system A. A. LetichevskyV. N. GermanN. N. Shchogoleva OriginalPaper 03 August 2010 Pages: 669 - 678
International workshop “automata, algorithms, and information technologies” M. K. Morokhovets Scientific Information 03 August 2010 Pages: 679 - 680
A. Z. Melikov, L. A. Ponomarenko, and V. V. Paladyuk, The Teletraffic: Models, Methods, and Optimization [in Russian], IPK “Politekhnika,” Kyiv (2007). I. N. KovalenkoAcademician National Academy of Sciences of Ukraine Reviews of New Books 03 August 2010 Pages: 681 - 682