Region analysis for deductive verification of C programs M. U. MandrykinA. V. Khoroshilov OriginalPaper 16 September 2016 Pages: 257 - 278
A survey of methods for the extraction of information from Web resources M. I. VarlamovD. Yu. Turdakov OriginalPaper 16 September 2016 Pages: 279 - 291
Automatic construction of systems of distributed components from nested Petri nets models L. W. DworzanskiI. A. Lomazova OriginalPaper 16 September 2016 Pages: 292 - 306
Synchronous incremental update of materialized views for PostgreSQL Nguyen Tran Quoc Vinh OriginalPaper 16 September 2016 Pages: 307 - 315
Data representation model for in-depth analysis of network traffic I. Get’manV. P. IvannikovA. Yu. Tikhonov OriginalPaper 16 September 2016 Pages: 316 - 323
Towards deductive verification of C programs with shared data M. U. MandrykinA. V. Khoroshilov OriginalPaper 16 September 2016 Pages: 324 - 332