Online Scientific Journal published by the Ailamazyan Program Systems Institute of the Russian Academy of Sciences

2014 Issue 1
2014 Issue 2
2014 Issue 3
2014 Issue 4
2014 Issue 5

Papers are accepted in the form of a PDF file

To view the PDF files, you will need Adobe Acrobat Reader


2014 Volume 5
Issue 3

Clicking on a menu header directs you to the abstracts of papers. Each abstract is preceded by an assigned number, submission date, and the number of A5 pages contained in the paper.
Please use the PDF icon to open the PDF version of the paper.

Healthcare Information Systems

  • Belyshev D.V., Vakhrina A.Y., Vlasova E.A., Guliev Ya.I., Kadyrmaeva R.R, Kochurov E.V., Vogt O.A. «Virtual hospital» as a way of business processes organization of the inter-agency integration for medical and diagnostic resource, effective methods of data presentation about patients, doctors and cooperating organizations

Mathematical Foundations of Programming

  • Meshveliani S.D. On dependent types and intuitionism in programming mathematics

Adress: Ailamazyan Program Systems Institute of the Russian Academy of Sciences, PSTA Online Journal, 4 a Peter the First Street,
Veskovo village, Pereslavl area, Yaroslavl region, 152021 Russia
Phone: +7-4852-695-228.       E-mail:      Website:

© Electronic Scientific Journal "Program Systems: Theory and Applications" 2010-2017
© Ailamazyan Program System Institute of RAS 2010-2018