Articles 
The articles are available in Russian only as PDF document

Informatics in research and educationEdited by prof. V.N. Kasyanov

Kasyanov V.N. Graph ML language for graph presentation: basic means 
Kasyanov V.N. Graph ML language for graph presentation: additional functionalities 
Kasyanov V.N., Kasyanova E.V. Tools for graph application support in informatics and programming 
Idrisov R.I. Cloud service for research computing and education 
Idrisov R.I. Parallelism in JavaScript 
Nesgovorova G.P. Bioinformatics: development and prospects 
Nesgovorova G.P. Information technologies in humanities research and education 
Stasenko A.P. Testing of changes in a software system on the basis of source code coverage 
Shmanina T.V. Information system for the support of research based on literary sources 
Zolotukhin T.A. Graph visualization using the program tool Visual Graph 
Gordeev D.S. Graph algorithm visualization: interpretation of an algorithm as a program 
Malinina Yu.V. Automated identification of a document’s topic map 
The articles are available in Russian only as PDF document
The volume contains the papers presented by postgraduates and young researchers of A.P. Ershov Institute of Informatics Systems which concern the following research areas: theoretical aspects of programming, information technologies and systems, system software and application software.
Baram E.G. Expert system determining diseases by means of analysis of blood serum chromatogram 
Bushin D.I. Trace equivalences of temporal Petri nets 
Zverev N.B., Poletaev S.A. On realization of hierarchical cluster analysis algorithm on GPU using CUDA technology 
Platonov Yu.G. Employment of CQRS technology in development of corporate applications 
Ryaskina N.A. Stripetransformation of signals and some computational experiments 
Khairulin S.S. Simulation of biological neural networks with NeuroML technology 
Shmanina T.V. On method of synonymous constructions of natural language revelation and its application to the problem of information retrieval 
Shmanina T.V. Review of methods of text semantics representation and extraction of knowledge from them 
The articles are available in Russian only as PDF document
This volume is the sixteenth in the series on the problems of program construction and optimization, published by the A.P. Ershov Institute of Informatics Systems. The volume is devoted to problems dealing with methods and tools of parallel system and program construction and optimization.
It may be of interest to system programmers, students and postrgraduates specializing in the area of system and theoretical programming, as well as all those interested in modern informatics and programming.
The articles are available in Russian only as PDF document
This volume is the fifteenth one in a series of books published in A.P. Ershov Institute of Informatics Systems. This volume is devoted to the tools and techniques of program construction and optimization.
The volume is of interest for system programmers, students and postgraduates working in the field of system and theoretical programming.
The articles are available in Russian only as PDF document
The volume contains the papers presented by postgraduates and young researchers of A.P. Ershov Institute of Informatics Systems which concern the following research areas: theoretical aspects of programming, information technologies and systems, system software and application software.
Andreeva M.V. Timed configuration structures: equivalence notions and action refinement 
Batura Ya.N. Humanmachine model of language of thinking 
Beloglazov D.M. Detection of feature interaction in telephone networks using colored Petri nets 
Botoeva E.Yu. 2D and 3Dvisualization of a solution set in the UniCalc system 
Brazhnik S.A. Formal model of the UML class diagram 
Veretnov S.A. Translation of a language of executable specifications of distributed systems SDL into a language of executable specifications REAL 
Vol'khina N.K. Automatic recovery of program business logic 
Gribovskaya N.S. Open maps and timed testing equivalence for timed automata models 
Demin A.V., Vityaev E.E. The model of adaptive behavior based on the semantic probabilistic inference 
Kal'chenko V.V. XML algebra for XQuery 
Pyatkov A.B. Formal model of the basic concepts of the programming language C# 
The articles are available in Russian only as PDF document
This volume is the thirteenth one in a series of books published in A.P. Ershov Institute of Informatics Systems. This volume is devoted to the tools and techniques of program construction and optimization.
The volume is of interest for system programmers, students and postgraduates working in the field of system and theoretical programming.
The articles are available in Russian only as PDF document
The volume contains the papers presented by postgraduates and young researchers of A.P. Ershov Institute of Informatics Systems which concern the following research areas: theoretical aspects of programming, informational technologies and information systems, system software and applied software.
Borovikova O., Bulgakov S., Sidorova E. The knowledge system of informational Internetportal on scientific subjects 
Gluhankov M.P. Integrated environment SFP for visual functional programming 
Dubranovsky I.V. Exception handling elimination while translating from C#light into C#kernel 
Kanius S.S., Nikitin A.G. Implementation of a Closed Set of Boolean Operations over Polygonal Regions on a Discrete Grid 
Koldakov V.V., Panov N.V., Shary S.P. Visual representation of running the algorithms of global interval optimization 
Mashukov M.Yu. Translation of SDLspecifications with dynamic constructions to Coloured Petri Nets by Jensen 
Petrov V.P. Survey of Methods of Application of Ontology and Data Schemes to Integration of Distributed Heterogeneous Information Resources 
Plavenchuk E.A. Extension of capabilities of the FinPlan system using structure models 
Rinskaya N.M. Analysis of timed Petri Nets based on testing equivalences 
СSidorova E.A. Document processing methods based on expert knowledge 
Stasenko A.P. Graphical metalanguage for translator specification 
Shkurko D.V. Graph rewriting systems: leader selection and topology recognition in anonymous nets 
The articles are available in Russian only as PDF document
This volume is the twelfth one in a series of books published in A.P. Ershov Institute of Informatics Systems. This volume is devoted to the tools and techniques of program construction and optimization.
The volume is of interest for system programmers, students and postgraduates working in the field of system and theoretical programming.
The articles are available in Russian only as PDF document
This volume is the eleventh one in a series of books published in A.P. Ershov Institute of Informatics Systems on the problems of program construction and optimization. This volume is devoted to a decision of actual problems connected with software tools and mathematical foundations of informatics.
The volume is of interest for system programmers, students and postgraduates working in the field of system and theoretical programming.
The articles are available in Russian only as PDF document
The volume contains the papers presented by postgraduates and young researchers of A.P. Ershov Institute of Informatics Systems at the schoolandcontest "Novel approaches and solutions" which concern the following research areas: theoretical aspects of programming, informational technologies and information systems, system software and applied software.
Antontseva M.F. Coalgebraic investigation of bisimulation parallel processes 
Argirov V.S. Automatic constructing the net models of SDL specifications 
Vinokurov A.A., Ilyin I.V., Lobiv I.V., Murzin F.A., Polovinko O.N., Semich D.F. The program complex for nuclear oilwells carotage results processing 
Gribovskaya N.S. The category theoretical characterization of the language equivalence for timed concurrent models 
Zhdanova A.V., Mankevich P.V. Statistical Approach to Semantic Structuring of Hierarchical Subject Domain for Natural Language Queries 
Lobiv I.V., Mekhontsev D.Yu., Murzin F.A. Rigid body tracking for realtime system of object’s motion analyses, data obtains from onedimension optical detectors 
Ryzhov V.S. Design and implementation of distributed objectoriented integrated information systems for providing building security 
The articles are available in Russian only as PDF document
This volume includes papers on predicate programming. The predicate programming concept and some part of the predicate programming language P is introduced. The predicate programming technology is demonstrated for some concrete problems. An algorithm of variable replacement used in transformation of a predicate program to effective imperative one is described.
The volume may be of interest for researchers in computer science, programmers and students.
The articles are available in Russian only as PDF document
This volume is the tenth one in a series of books published in A.P. Ershov Institute of Informatics Systems on the problems of program construction and optimization. This volume is devoted to a decision of actual problems connected with using of new information technologies in science and education.
The volume is of interest for system programmers, students and postgraduates working in the field of system and theoretical programming.
The articles are available in Russian only as PDF document
This volume is the ninth one in a series of books published in A.P. Ershov Institute of Informatics Systems on the problems of program construction and optimization. It describes solutions to actual problems of constructing efficient and reliable programs and software systems based on graphtheory methods, functional programming, network processing and visualizing tools.
The volume is of interest for system programmers, students and postgraduates working in the field of system and theoretical programming.
The articles are available in Russian only as PDF document
This volume is the seventh one among volumes published in A.P. Ershov Institute of Informatics Systems on problems of programs construction and optimization. The decision of actual problems of methods and tools elaboration increasing efficiency of supercomputers and telecommunication nets is described.
The volume is of interest for system programmers, students and postgratuate students working in the field of system and theoretical programming.
The articles are available in Russian only as PDF document