назад

Список публикаций:

NN
п/п

Название

Печатный или на правах рукописи

Издательство, журнал (название, номер, год или номер авторского свидетельства)

Количество печатных листов или страниц

Фамилии соавторов

1

Algebraic programming system APS, (user manual)

печ.

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.

печ

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

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

печ.

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

180-187

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

4

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

печ.

УДК 51:681

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

252-256

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

5

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

печ.

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

26-33

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

6

Models and Parallel Programming Facilities for Efficient Synchronization and Communication

печ.

In Proc. HiPer'98, 1998


A.E. Doroshenko

7

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

печ.

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

14-18

8

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

печ.

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

17-23

9

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

печ.

Тезисы конференции.

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.

печ.

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

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

печ.

УДК 51.681.3

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

Матеріали шостої міжнародної науково-практичної конференції х програмування УкрПРОГ'2008

27-29 травня 2008р. Украіна, Київ

587-595

С.Л. Крывый

12

Extended Algorithm for Translation of MSC diagrams into Petri Nets.

печ.

International book seriae "Information Science & Computing"

N1, vol.2., 2008

ISSN 1313-0455

68-75

С.Л. Крывый

13

Формальные методы анализа дискретных систем с использованием языка спецификаций.

печ.

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

31-48

С.Л. Крывый