NN
N

Title

Published status

Publisher data

Pages

Joint Authors

1

Algebraic programming system APS, (user manual)

published.

Glushkov Inst. Of Cybernetics, Kiev

40стр

J.V. Kapitonova, A.A. Letichevsky, V.A. Volkov, V. Chomenko

2

The development of interactive algorithms for a mathematical environment.

published.

In Proc. Electronic Notes in Theoretical Computer Science. CALCULEMUS 99. Systems for Integrated Computation and Deduction. Trento, Italy, July 11-12, 1999

33—51

J.V. Kapitonova, A.A. Letichevsky, V.A. Volkov, V. Chomenko, D.R. Gilbert

3

Разработка инструментальных средств моделирования параллельных вычислений в системе алгебраического программирования.

published.

Кибернетика и Системный Анализ N 3, 1999

180-187

Л.Е. Матвеева

4

Использование инструментальных средств моделирования параллельных вычислений в системе APS для разработки эффективных программ.

published.

УДК 51:681

В материалах 1-й Международной конференции УкрПРОГ’98, Киев 2-4 сент. 1998г. Институт Кибернетики им. В.М.Глушкова.

252-256

Л.Е. Матвеева

5

О реализации алгоритмов проверки совместности систем линейных Диофантовых уравнений в области натуральных чисел.

published.

УДК 51.681.3
УСИМ N 3, 1999

26-33

С.Л. Кривой, А.В. Чугаенко, Н. Богак,
В. Бура

6

Models and Parallel Programming Facilities for Efficient Synchronization and Communication

published.

In Proc. HiPer'98, 1998

A.E. Doroshenko

7

О реализации TSS-алгоритма.

published

УДК 51.681.3
УСИМ N 4, 2007

14-18

8

О реализации алгоритма перевода набора MSC-диаграмм в сеть Петри.

in print

УДК 51.681.3
УСИМ N 6, 2007

17-23

9

Алгоритм перевода документов MSC в сети Петри.

published.

In Proc. of

4-th International Conference. "Theoretical and Applied Aspects of Program Systems Developement" (TAAPSD-2007)

Киев: Пульсары, 2007

84-86

10

Extension of Algorithm of Translation of MSC-specified System into Petri Net.

published.

In Proc. CS&P'2007.

"Extension of Algorithm of Translation of MSC-specified System into Petri Net"

v.2, Lagov, September 2007

376-388

Sergii Kryvyi, Lyudmila Matveeva

11

On Algorithm of Translation of MSC Documents to Petri Nets.

published.

УДК 51.681.3

Проблеми програмування. N 2-3, 2008

In proc. of 6-th International Conference UkrPROG'2008

27-29 May 2008. Ukraine, Kiev

587-595

Sergii Kryvyi

12

Extended Algorithm for Translation of MSC diagrams into Petri Nets.

published.

International book seriae "Information Science & Computing"

N1, vol.2., 2008

ISSN 1313-0455

68-75

Sergii Kryvyi

13

Formal methods of discreet system analisys with use of specification language

published.

Кибернетика и Системный Анализ N 4, 2009

31-48

S. Kryvyy