Кафедра Математичної Інформатики

ava@unicyb.kiev.ua
(044)259-04-27

СПИСОК наукових та навчально-методичних праць професора Анісімова Анатолія Васильовича

 

СПИСОК

наукових та навчально-методичних праць

професора Анісімова Анатолія Васильовича

 

 

п/п

 

 

Назва

Друко-вана або на пра-вах рукопису Видавництво, журнал (назва, номер, рік) або номер авторського свідоцтва

 

 

К-ть друк. листів

 

Прізвища співавторів

 

1. 0 группе автоморфизмов связных автоматов

 

Друк. Сб. «Теория авто­матов» вып. 5,  Киев, 1969  

0,4

2. Об уравнении над свобод­ными группами Друк. Сб. «Теоретичес­кая кибернетика», вып. 1, Киев, 1970 0,3
3. Некоторые свойства групп с конечным числом классов сопряжённых элементов Друк. П’ята наукова конференция молодих математиків України, тези доповідей, Київ, 1970 0,1
4. Задание групп языками Хомского Друк. XI Всесоюзный алгебраический коллоквиум, резю­ме сообщений и докладов, Кишинев, 1971 0,1
5. О групповых языках Друк. Журн. «Кибернети­ка», 4, 1971 0.3
6. О некоторых алгоритмических  вопросах для групп и контекстно-свободных языков Друк. Журн. «Кибернети­ка», 2, 1972
7. 0 языках Дика ранга 1 Друк. Доклады АН УССР, 6, серия А, 1972 0,3
8. Некоторые алгоритмические вопросы для языка Дика

 

Друк. Доклады АН УССР, 3, т.211, 1973 0,3
9. Некоторые вопросы детер­минированных контекстно-свободных языков Друк. Журн. «Кибернети­ка», 4, 1973 0,5
10. Беспереборнный анализ язы­ков программирования ме­тодом развёртки Друк. Mathematical Foundations of Computer Science, Proceedings of Symp. and Summer Sch.,Czech., 1973 0,5
11. Формальные грамматики, учитывающие внешние тер­минальные контексты Друк. Журн. «Кибернети­ка», 3, 1974 0.2  

 

 

 

 

 

12. Международный симпозиум MECS-73 Друк. Журн. «Кибернети­ка», 6, 1974 0,4 Нагорный H.M.

 

13. Методы синтаксического анализа с регулярным уп­равлением

 

Друк. Сб. «Теория языков и процессоров», Киев, 1974 1  

 

 

14. Об аппарате управления в синтаксических анали­заторах Друк. Журн. «Кибернети­ка», 6, 1974 0,2
15. Zur algebraischen Charak-teristil der durch kontext-freie Sprachen definierten Gruppen Друк. Elektronische  Informationsve-rarbeitung und Kybernetik, b.ll, 1975 0,2 Зайферт Ф.Д.

 

 

 

16. Languages over Free Groups Друк. Lecture Notes 0 in Computer Sci., v.32, 1975, Springer Verlag 0,3
17. Автоматная характеристика методов синтаксического ана­лиза с регулярным управлением Друк. Журн. «Кибернети­ка», 1, 1976 0,2
18. Об оптимальной упаковке деревьев Друк. Журн. «Кибернетика», 3, 1976 0,3
19. Синтаксические свойства ре­курсивных схем программ Друк. Журн. «Кибернетика», 3, 1977 0,3
20. Проблемы эквивалентности конечно-автоматных отобра­жений в свободную и комутативную полугруппу Друк. Журн. «Кибернети­ка», 3, 1978 0,3 Лисовик Л.П.
21. Рецензия на книгу Б.Рафаэля «Разумный компьютер: Разум внутри материи» Друк. Журн. «Кибернетика», 6, 1978 0,2
22. Рекурсивные преобразователи над памятью Друк. Журн. «Кибернетика», 6, 1978 0,3
23. Об адекватности математичес­кого моделирования сложной информационно-измерительной системы Друк. Доклады АН СССР, т.240, 1978 0,3 Белов Ю.А.

Ляшко И.И., Макаров В.Л.

24. Неоднородная сортировка Друк. Журн. «Программи­рование», 1,1979 1,0 Кнут Д.Е.
25. Диалог с ЭВМ на естественном языке Рукоп. Деп. в ВИНИТИ
1979 г.
1,0
26. Некоторые вопросы теории унарных рекурсивных схем Друк. Тезисы 1 междуна­родной конферен­ции «Проблемы про-грамирования диск­ретных систем в управлении», Минск, 1977 0,3 Романовский В.Ю.
27. Inhomogeneous Sorting Друк. “International Journal of Compu­ter and System Sci. v.8, n.4, 1979 1 Knuth D.E.

 

 

 

28. Отмечающие преобразователи Черча-Россера и разрешимые свойства обработки деревьев Друк. Доклады АН СССР, 5, т.249, 1979 0,3  

 

 

29. Преобразователи Черча-Рос­сера Друк. Журн. «Кибернети­ка», 5, 1979 1,2  

 

30. 0 свойствах одного представ­ления упорядоченных деревьев Друк. Тезисы докладов 1 Всесоюзной кон­ференции «Техноло­гия программирова­ния «,ИК АН УССР, Киев, 1979 0,3 Карпенко И. В. Крижановский В.В.
31. Алгоритмы неоднородной сор­тировки

 

Друк. Препринт 79-12 1, ИК АН УССР, К., 1979 2 Проценко B.C. Айрапетян Л.Р.

 

32. Дискретные преобразователи с возвратами Друк. Журн. «Кибернети­ка», 6, 1979 0,2  

 

33. Очереди с лексикографичес­кими приоритетами Друк. Сб. «Вопросы построения систем программирования», вып. 1, Киев, 1979 0,3 Айрапетян Л.Р.
34. Преобразователи Черча-Россера и разрешимые свойства обработки деревьев Друк. В кн. Труды Между­народной конферен­ции «Алгоритмы в современной матема­тике и компьютерной науке», Ургенч,1970 Изд-во ВЦ СОАН СССР 1970 0,5
35. Алфавитно-топологическая сортировка и её применения Друк. В кн. «Тезисы док­ладов и сообщений к Всесоюзной кон­ференции «Методы математической ло­гики в проблемах искусственного ин­теллекта и система­тическое программи­рование» , Паланга, 11 0,8
36. Проверка правильности ма­тематических моделей слож­ных информационно-измери­тельных систем Друк. Известия АН СССР, серия «Техническая кибернетика», 5, 1980 0,1 Белов Ю.А.

Ляшко И. И. Макаров В.Л.

37. Представление упорядочен­ных деревьев Друк. Журн. «Кибернети­ка», 3, 1980 0,3 Карпенко И. В. Крижановский В.В.
38. Полугрупповые конечно-ав­томатные отображения Друк. Журн. «Кибернети­ка», 5, 1981 0,3
39. О верификации асинхронных параллельных вычислений Друк. В кн. «Тезисы док­ладов Всесоюзной конференции «Син­тез, тестирование и отладка программ’ Рига, 1981 0,2 Глибовец Н.Н. Борейша Ю.Е.

 

 

 

 

40. Средства взаимодействия процессов в системе моде­лирования и программирова­ния параллельных процессов Друк. В кн. «Тезисы Все­союзной конферен­ции «Программное обеспечение вычис­лительных сетей и систем реального времени», Киев, 1981 0,1 Николаев М.В. Борейша Ю.Е.

 

 

 

 

 

41. Управляющие пространства в асинхронных параллельных вычислениях Друк. Журн. «Кибернети­ка», 5, 1981 0,3 Глушков В.М.
42. Реализация управляющих пространств Друк. Журн. «Кибернети­ка», 3, 1981 0,3 Редько С.Е. Проценко B.C.
43. Church-Rosser Transfor­mers and Decidable Proper­ties of Tree Processing Друк. Lecture Notes in Computer Science, v.122, 1981 0,5  

 

 

44. Некоторые вопросы проекти-

рования и верификации пара­ллельных систем с динамически  изменяющимися связями

Рукопис. Деп. в ВИНИТИ 8 июня 1982 г., ном. 2913-82 1,2 Борейша Ю.Е.

 

 

 

 

45. Разработка и анализ архитектуры распределенной системы программирования ПАРУС Рукоп. Деп. в ВИНИТИ
1982 г.
1,0
46. Стековые и локально-конеч­ные вычисления над структу­рами с обратимыми переходами Друк. Журн. «Кибернети­ка», 1, 1983 0,2
47. Взаимодействие параллельных процессов посредством обмена сообщениями Друк. Сб. «Модели и сис­темы обработки ин­формации», Киев, вып.1, 1982 0,6 Николаев M.B. Борейша Ю.Е.
48. 0 моделировании естествен­ного диалога человека с ЭВМ Друк. В кн. «Тезисы док­ладов и сообщений четвёртой школы-семинара «Интерак­тивные системы», Сухуми, 1982 0,3 Белецкая И.П.
49. 0 верификации сложных систем обработки информа­ции Друк. Журн. «Электронное моделирование», 2, 1983 0,5 Глибовець Н.Н.
50. Обратное преобразование Фибоначчи Друк. Журн. «Кибернети­ка», 3, 1982 0,5 Рындин Я. П. Редько С.Е.
51. Система автоматизирован­ного моделирования парал­лельных динамических систем Друк. РФАП, программный фонд, 6047, 1983 3 Борейша Ю.Е. Николаев M.B.
52. Проблематика диалога чело­века с ЭВМ и лингвистика текста Друк. В кн. «Материалы школы-семинара «Интерактивные си­стемы», Кутаиси, 1983 0,3 Андрусенко Т.Б.
53. Проектирование сложных сис­тем посредством параллельных взаимодействующих про­цессов в режиме имитацион­ного моделирования Друк. Препринт 83-4 ПК А1-УССР, Киев, 1983 1,3 Борейша Ю.Е.
54. Абстрактные типы данных и верификация асинхронных па­раллельных вычислений в уп­равляющих пространствах

 

Друк. Сб. «Модели и сис­темы обработки ин­формации «, Киев, «Вища школа, вып. 2, 1983 0,6 Глибовец Н.Н. Борейша Ю.Е.
55. Требования к средствам уп­равления параллельными про­цессами в распределённых базах данных Друк. Сб. «Модели и сис­темы обработки ин­формации», Киев, «Вища школа», вып. 2, 1983 0,4 Вышинская М.М.
56. Реализация симплекс-метода в управляющих прост­ранствах Друк. В кн. «Четвёртая  Всесоюзная школа-семинар «Распарал­леливание обработ­ки информации», те­зисы докладов и сообщений, Львов, 1983 0, 1 Кравченко И. В.
57. Локально-конечные свойства структур данных и их вычисления Друк. Журн. «Кибернетика», 6, 1983 0,4
58. Моделирование среды и ис­полнительных систем робо­тов-манипуляторов Друк. Сб. «Модели и системы обработки ин­формации», Киев, «Вища школа «, вып. 3, 1984 0,5 Васюков А.Н.

 

 

 

59. Некоторые аспекты построе­ния распределённых баз данных на основе реляцион­ных моделей Друк. Сб. «Модели и сис­темы обработки ин­формации «, Киев, «Вища школа», вып. 3, 1984 0,5 Басараб И.A. Вышинская М.М.
60. Представление знаний в диалоге и о диалоге •Под­ходы с точки зрения праг­матики предметной области и языка Рукопис. Депонировано в УкрНИИНТИ, ном. 1149 от 3.07.84 1,5 Андрусенко Т. Б.

 

61. К построению малых баз данных с диалогом на ес­тественном языке Друк. Сб. «Научно-техническая информа­ция», серия 2. Ин­формационные про­цессы и системы», М., 5,1984,С. 1-4 0,9 Белецкий М.И. Себво И.П.
62. Информатика Друк. Журн. «Знания та праця», Киев, «Мо­лодь», 6, 1984 0,5
63. Программирование парал­лельных процессов в управ­ляющих пространствах Друк. Журн. «Кибернети­ка»,3,1984,С. 79-88 0,5 Кулябко П.П.

 

 

 

 

64. Управляющие пространства -модель асинхронного рекур­сивного параллелизма Друк. В кн. «Труды между­народной научно-технической конфе­ренции «Программное обеспечение ЭВМ», секция 2: Техноло­гия разработки программного обеспече­ния, Калинин 0,3  

 

 

 

 

 

 

65. Диалог на естественном языке с базой данных ре­ляционного типа Друк. В кн. «Тезисы док­ладов и сообщений международной кон­ференции «Проблемы искусственного ин­теллекта и распозна­вания образов», сек­ция 1: Искусственных интеллект, Киев, 1984,
С. 9-11
0,2 Белецкая И.П.
66. На черзі п’яте покоління Друк. Журн. «Знания та праця»,7,1985, С.3-4 0,5  

 

 

67. 0 трансформационной маши­не и преобразованиях ал­горитмов Друк. Сб. «Модели и сис­темы обработки ин­формации», Киев, «Вища школа», вып. 4, 1985, С.3-8 0,3  

 

 

 

68. Об одном способе раскрас­ки графов Друк. Сб. «Модели и сис­темы обработки ин­формации», Киев, вып. 4,1985,С.9-16 0,3 Глибовець Н.Н.

 

 

69. Эвристические алгоритмы раскраски графов Друк. В кн. «Тезисы докладов УП Все­союзной конфе­ренции «Пробле­мы теоретической кибернетики», Иркутск, 1985, С. 10-11 0,1  

 

 

 

 

 

70. Типы диалогов «Человек ЭВМ» на ограниченном ес­тественном языке Друк. В кн. «Тезисы докладов V Все­союзной конфе­ренции «Диалог: человек-ЭВМ», Киев, 1985 0,1 Белецкая И.П.
71. 0 моделировании рекурсии итеративными алгоритмами Друк. Журн. «Програм­мирование», 3, 1986,
С.38-50
0,6 Сафронюк С. В.
72. Реализация систем ПАРУС на транспьютерном комплексе Друк. Сб. «Модели и системы обработки информации», №5, 1986, С.12-21 0,5
73. Локальный алгоритм для за­дачи о кратчайшем пути из одного источника Друк. Журн. «Кибернети­ка», 3, 1986, с. 57-60 0,2
74. 0 локальной оптимизации раскраски графов Друк. Журн. «Кибернети­ка», 6,1986, С. 1-8 0,3
75. 0 классической и приклад­ной теориях алгоритмов Друк. Сб. «Модели и си­стемы обработки информации», Киев, «Вища школа», вып. 5, 1986, С.3-7 0,4  

 

 

 

76. 0 сложности вычислений на деревьях с ограниченным чис­лом листьев Друк. Сб. «Модели и си­стемы обработки информации», Киев, «Вища школа», вып. 5, 1986, С.13-16 0,4 Семенюк С. В.

 

 

 

77. Технология рекурсивного па­раллельного программирова­ния Друк. В кн. «Тезисы док­ладов Всесоюзной конференции «Тех­нология программи­рования» , Киев, 1986 0,1 Борейша Ю.Е. Кулябко П.П.

 

 

78. Об устойчивости конечно-ав­томатных систем управления относительно расстояния Хэмминга Друк. В кн. «Тезисы док­ладов Х Всесоюз­ного совещания по проблемам управле­ния, М., 1986 0,1 Карапетян А. Т.

 

 

 

 

79. Системы Черча-Россера отно­сительно отношений Друк. В кн. «Тезисы док­ладов Всесоюзной конференции «Про­блемы совершенст­вования синтеза тестирования и от­ладки программ», Рига, 1986 0,2 Олещук В. А.

 

 

 

 

 

80. Технология программирования ПАРУС Друк. Сб. «Разработка ЭВМ нового поко­ления : архитектура, программирование, интеллектуализация» Новосибирск, 1986,
С.104-109
0,5  

 

 

 

 

 

 

81. Функциональная мощность схем программ с рекурсией по управлению Друк. Доклады АН УССР сер. А, Физ.-мат. и техн. науки, 1986, N2, С.55-57 0,5 Вышинская М.М.
82. О локальных вычислениях Друк. Сб. «Модели и сис­темы обработки

информации», Киев, «Вища школа», вып. 6, 1987, С.3-7

0,4
83. Исследование жизненных циклов сложных технических систем Друк. Журн. «Автоматика и телемеханика»,№2, 1987, С.90-101 0,5 Борейша Ю.Е.
84. Рекурсивные преобразова­тели информации Друк. «Вища школа», Киев, 1987, – 231 с. 10
85. Stable Finite Automata Mapping and Church-Rosser Systems Друк. Lecture Notes in Computer Scienc, Springer Verlag, v.278,Р.30-33 0,2 Олещук В. A.
86. Системы Черча-Россера по модулю эквивалентности Друк. Доклады АН УССР, 9, 1987, С.71-74 0,2 Олещук В. А.

 

 

87. Параллельные асинхронные рекурсивно-управляемые системы Друк. В кн. «Тезисы док­ладов 11 Всесоюз­ной конференции по актуальным проб­лемам информатики и вычислительной техники «Информа­тика-87», Ереван, 1987, С.94-96 0,2 Борейша Ю.Е.
88. Система программирования ПАРУС и логическая струк­тура ПАРУС-машины Друк. В кн. «Тезисы док­ладов 1 Всесоюзной конференции «Проб­лемы создания су­пер-ЭВМ, супер-сис­тем и эффективность их применения», Минск 1987, С.101-103 0,2 Борейша Ю.Е.

 

 

 

 

 

 

89. Системы Черча-Россера относительно формальных языков Друк. Журн. «Кибернети­ка», N5, 1987,С.19-26 0,3 Олещук В.А.

 

 

90. Устойчивые конечно-авто­матные отображения и системы Черча-Россера Друк. В сб. «Тезисы док­ладов 6-ой Между­народной конферен­ции «Основы теории вычислений», Казань, 1987, С.3-5 0,1 Олещук В.А.

 

 

 

 

91. Информатика. Творчество. Рекурсия Друк. Киев, «Наукова дум­ка»,1988,224 с. 10,0
92. Система программирования ПАРУС-С Друк. Сб. «Модели и системы обработки информации», вып.7, С.38-45, 1988 0,5
93. Недетерминированные стековые и бэктрекинговые вычисления Друк. Сб. «Модели и сис­темы обработки ин­формации, «Вища шко­ла», вып. 7, 1988,С.3-8 0,25 Олещук В.А.

 

 

 

94. Алгоритмический подход к анализу процесса фор­мообразования в музыке Друк. Сб. «Модели и систе­мы обработки инфор­мации», «Вища школа», віп.7, 1988. 0,8 Дыс Л. И.

Зарицкий Д.Н.

 

 

95. Статистический и дина­мический параллелизм в языках и системах параллельного программи­рования Друк. В сб. «Тезисы док­ладов VIII Всесо­юзного семинара «Параллельное про­граммирование и вы­сокопроизводитель­ные структуры», Киев, 1988 0,3 Борейша Ю.Е. Кулябко П.П.
96. Свойства Черча-Россера

по модулю отношений

Друк. Тезисы докладов

VIII Всесоюзной конференции «Про­блемы теоретичес­кой кибернетики», Горький 4.1,1988

0,1 Олещук В.А.

 

 

 

 

 

 

 

97. Программирование парал­лельных систем с динами­чески изменяющейся струк­турой Друк. Журн. «Судострои­тельная промышленность» серия «Вычислительная техника», вып. 12,1988,-
С. 20-25
0,8 Борейша Ю.Б. Кулябко П.П.

 

 

 

98. Диалоговая система ана­лиза рекурсивного строения сложных пред­ложений естественного языка Друк. Межотраслевой сбо­рник АН СССР и Минвуза РСФСР «Ди­алоговые системы», вып. 1,1989 1 Яременко Ю.А.
99. Моделирование операций реляционной модели СУБД в среде управляющего пространства Друк. Сб. «Модели и сис­темы обработки ин­формации»  Киев, «Вища школа», вып. 8, 1989, С.3-9 0,3 Борейша Ю.Е. Кулябко П.П.
100. Рекурсивное строение сложных предложений естественного языка Друк. Сб. «Модели и сис­темы обработки информации «, Киев, «Вища школа», вып. 8, 1989, с.70-75 0,4 Яременко Ю.А.

 

 

 

101. Коммуникационные сети -автоматный способ зада­ния модели параллельных вычислений с динамически изменяющимися связями Друк. Сб. «Методы и сред­ства программной инженерии» ИК АН УССР,Киев, 1989, С. 63-72 0,3 Глибовец Н.Н.
102. Параллельное программиро­вание распределённых эко­номических систем Друк. В кн. «Всесоюзный семинар «Распозна­вание и оптималь­ное управление развитием систем», Львов, 1989 0,2 Борейша Ю.Е. Карапетян М.С.

 

 

 

103. Рекурсивные преобразователи информации Друк. Журн. «Дискретная математика «, Мос­ква, N3, 1989, С. 1-17 0,8
104. Методы распараллеливания словарной задачи: обзор

 

Друк. Журн. «Кибернети­ка «, N3, 1989, С. 2 9-35 0,25 Шидловский Б.Е
105. Параллельное программиро­вание распределенных экономических систем Друк. Всесоюзный семинар «Распознавание и оптимальное развитие систем», 1989 г. 0,2 Карапетян М.С.

 

 

 

106. Система управления Дополнительное авторское свидетельство № 317545

к авторскому свидетельству

№ 1252792

Самоха В.А.

Допира Р.В.

Жуков В.Л.

107. Алгоритм распределения ресурсов в системе с централизованным управ­лением Друк. Сб. «Модели и сис­темы обработки информации», Киев, «Вища школа», вып. 9, 1990 0,5 Борейша Ю.Е. Кулябко П.П.

 

 

 

 

108. Рекурсивная модель структур естествен­ного языка Друк. Сб. «Модели и сис­темы обработки ин­формации», Киев, «Вища школа», вып. 9, 1990 0,4
109. Модели экономического взаимодействия и методы

параллельных вычислений

 

Друк. Киев,1990-26 с. препринт. ИК АНУ. 2 Карапетян М.С.
110. Технология программиро­вания «Парус» Друк. Журн. «Автоматика и телемеханика « , М. , N6,1990, С.153-160 1,3 Борейша Ю.Е., Кулябко П.П.
111. Параллельное программи­рование распределенных экономических систем на основе декомпозиционных методов Друк. Журн. «Кибернетика», N3, 1990, С. 105-110. 0,4 Борейша Ю.Е., Карапетян М.С.
112. Управляющее пространство структур естественного языка Друк. Журн. «Кибернетика», N3,1990, С.11-17 0,4
113. Технология рекурсивно-параллельного програм­мирования Друк. Журн.»Программирование N6, 1991, С. 91-102 0,5 Борейша Ю.Е., Кулябко П.П.
114. Компьютерная лингвистика для всех Друк. Монография. К. Наукова думка, 1991,205 с.

 

9,0
115. Моделирование ассоциатив­ного мышления методом динамического программи­рования Друк. сб. «Модели и системы обработки информации», віп.IO, К, 1991, С.34-39

 

0,25
116. Параллельная реализация метода динамического программирования на сетях Петри Друк. сб. «Модели и системы обработки информации», віп.10, К, 1991, С 3-7

 

0,25 Карапетян М.С.
117. Программирование параллельных систем с динамически изменя­ющейся структурой на транс­пьютерных комплексах Друк. Журн. «Кибернетика»,

N 5, 1991, С.76-82

 

0,25
118. Основи інформатики та обчис-лювальної техніки (Методич. розробка) Друк. Видавничий центр «Ки-ївський університет» 1992 4 Кулябко П.П.

Борейша Ю.Е.

0лещук В.А.

 

119. Методичні вказівки до курсу “ Основи інформатики та обчислювальної техніки»3 Друк. Видавничий центр «Ки-ївський університет» 1992 4 Кулябко П.П.
120. Особенности ПАРУС-технологии программирования Друк. Журн. «Кибернетика»

N 3, 1993, С.128-137

0,4  

 

 

121. Шагопед Патент Украины 15.04.93 NB3402652

 

Осадчий Е.А
122. Дж.Атанасов – основатель вы­числительной техники Друк. В: «Энциклопедия компьютерных наук» М. «Наука», 1994 0,2
123. Транспьютер Друк. В: «Энциклопедия компьютерных наук» М. «Наука», 1994 0,3
124. Линейные формы Фибоначчи и параллельные алгоритмы большой размерности Друк. «Кибернетика и сис­темный анализ»     N 3, 1995, С.106 -115. 0,2
125. Linear Fibonacci Forms and Parallel Algorythms for High Dimension Arithmetic Друк. Lecture Note in Com­puter Science, Sprin­ger Verlag, 1995, Р. 64-69. 0,2
126. Про властивость Хаусона для контекстно-вільних групп Друк. Bicник Київського університету, N 4, 1995, С.2-10. 0,3
127. Сложение без единиц переноса Друк. «Кибернетика и сис­темный анализ»      N 2, 1996, С.3-16. 0,5
128. Алгоритмы быстрой модулярной редукции Друк. Журн. “Защита информации”, № 2, 1996 0,2
129. Ситуаційне керування: розпливчаті моделі Друк. Bicник Київського університету, N 1, 1996, С.152-160. 0,2 Прокопенко В.В.
130. Рекурсивный гиперкуб Друк. «Кибернетика и сис­темный анализ»     N 3, 1997, С.112-121. 0,3
131. Рекурсивные гиперструктуры

 

Друк. Журн.»Кибернетика и сис­темный анализ»     N 3, 1997, С.148-157. 0,3
132. Складові глобальної інформаційної мережі як засоби моделювання Друк. Bicник Київського університету, N 1, 1997, С.151-160. 0,3 Нужний Є.О.
133. Мережі Петрі та засоби ПАРКС Друк. Bicник Київського університету, N 2, 1997, с.113-121. 0,3 Кулябко П.П.
134. Fibonacci Hypercube Друк. International Journal of Computer Mathematics, 1997, v.69, N4, С.1-10. 0,4
135. Ускоренное вычисление модулярной редукции Друк. Кибернетика и системный анализ, 1997, № 6 С. 180-191 0,4
136. Віртуальний паралельний простір на основі ПАРКС-технології Друк. Перша міжнародна науково-практична конференція з програмування, Київ, 1998, с.233-234 0,2 Вєтров А.М., Гриценко Д.В., Кулябко П.П.
137. Рекурсивные преобразователи информации. Модели вычислений. Друк. «Кибернетика и системный анализ», 1998, № 4 С. 30-47 0,7
138. Multilinguality in the Cyberspase Друк. report on the 5-th Conference UNESCO

“Multilingual Environment in the Cyberspase”, Monte-Carlo, 9-13 September, 1998

0,7 Гриценко В.І.
139. New information technologies and society safety: feedback links. Друк. AFCEA Europe Kiev Seminar, Kiev,Ukraine,

May 28-29, 1998

0,5
140. Алгоритм модулярной редукции Друк. Проблемы программирования,

1999, №1

1,2
141. Быстрое прямое вычисление модулярной редукции Друк. «Кибернетика и системный анализ»,

1999, №4, С. 3-12

0,4
142. Паралельні алгоритми дослідження неперервних систем Друк. Видавничий центр “Київський університет”

1999,

1 Кулябко П.П.

Терещенко В.М.

143. Інформаційно-довідкова система “Уран” Друк. Вісник Київського Університету, 1999, №4 0,8 Суховаров-Жорновий Я.Б.

Кулябко П.П.

Марченко О.О.

144. Алгоритм автоматичного представлення та розпізнавання зображень об’єктів за допомогою аналізу послідовного коду друк Вісник Київського університету серія: Фіз.-мат. науки. вип.№ 2. 1999. -С. 228-236. 0,4 Дерев’янченко О.В

 

145. Квантовая модель вычислений. Основные достижения

 

Друк. Кибернетика и системный анализ, 2000, № 1,С. 58-76 0,75 Данильченко С.В.
146. Встановлення двосторонніх зв’язків і посилення степені захисту інформації з ключами загального доступу.

 

 

Друк. Міжнародна науково-практична конференція “Проблеми впровадження  інформаційних технологій в економіці та бізнесі “. Тези доповіді: Видавництво ДПА України, Академия ДПС України, НЕУ – 2000, м.Ірпінь 0,3
147. Accelerating Public-key Cryptosystems Друк. Міжнародний симпозіум „TechNet Europe 2000”, Прага 0,2
148. Системи штучного інтелекту Друк. Навчальний посібник

„Київський університет”

2000, 99 с.

10,0 Глибовець М.М.,

Кравченко І.В.,

Олецький О.В., Терещенко В.М., Кулябко П.П.

149. Коалиционные схемы с ключами общего доступа Друк. Кибернетика и системный анализ, 2001, №1, С.3-18 0,6
150.    . Алгоритмічна теорія великих чисел Друк. Видавничий дім

«Академперіодика», 2001, 153 с.

6,4
151. Побудова керуючого простору семантико-синтаксичних структур речень природної мови. Друк. Київ. Міжнародна конференція „Моделювання та оптимізація складних систем-2001”.т.3, с.60 0,3 Марченко О.О.
152. Побудова керуючого простору семантико-синтаксичних структур речень природної мови. Друк. Київ. Вісник Київського університету., 2002, №1, -С. 159-169.

 

0,4 Марченко О.О.
153. Основні алгоритми обчислювальної геометрії Друк. ВПЦ “Київський університет”, 2002, C.81 5,0 Терещенко В.М., Кравченко І.В.
154. Побудова багатоагентних систем на основі керуючого простору Друк. Міжнародна конференція „Моделювання та оптимізація складних систем”.-т.3 –Київ:
Видавничо-поліграфічнийцентр „Київський університет”- 2001. -С.62-63
0,05 Нагорний В.А.
155. Система обработки текстов на естественном языке Друк. „Искусственный интеллект” №4. 2002
С. 157-164
0,3 Марченко А.А.
156. Один алгоритм керування задачами в мультизадачній системі Друк. Збірка тез Міжнародної конференції „Обчислювальна та прикладна математика”- Київ. – 2002. – С.8 0,05 Нагорний В.А.
157. Кодирование данных линейными формами числовых последовательностей Печатн.  «Кибернетика и системный анализ».-

2003.- № 1. C. 3-15

0,5

 

158. Эвристические алгоритмы для определения канонических форм и грамматических характеристик слов Друк.  «Кибернетика и системный анализ» .-  2004 р.- № 2, C.3-14 0,5 Романик А.Н,

Тарануха В.Ю.

159. On the average redundancy rate of adaptive block codes under mixed sources Друк. Proceedings of the Data Compression Conference, 25-27 March, 2003, Snowbird, utah, USA, Р. 447 Yuriy Reznik

 

 

 

 

160. On the excess entropy of a mixture of sources and the average redundancy rate of adaptive block codes. Друк. Proceedings of the Seventh International Symposium on Communications Theory and Applications, 13-18 July 2003,
Ambleside, United Kingdom, pp.118-124
Yuriy Reznik

 

161. Построение виртуального параллельного пространства с использованием технологии ПАРУС-JAVA Друк

 

Материалы Международной научно-технической конференции  ИМС-2003, ИИ- 2003, 22-27.09.2003,

с.Дивноморское, Россия, Т2 – С.18-19.

Деревянченко А.В.

 

 

162. Застосування асоціативної
пам’яті для побудови моделі пошукової системи в мережі Інтернет
друк Вісник Київського університету

серія: Фіз.-мат. науки. вип. № 1, 2003.- С.159-165

0,4 Дерев’янченко О.В

Медведєв М. Г.

 

163. Розробити інформаційну технологію синтезу, аналізу, реферування, пошуку і смислової інтерпретації текстової інформації та смислового перекладу текстової інформації з однієї мови на іншу

 

Рук. Звіт про НДР,

Державний обліковий
№ 0204U000372

4.0 Колектив авторів
164.

Евристичні алгоритми визначення граматичних характеристик слів у задачах автоматичної обробки текстів

Друк. Київ. Вісник Київського університету., 2004, №2, – C. 3-14

 

0,4 Тарануха В.Ю, Романік А.М.
165.

Ітеративний алгоритм обчислення медулярної редукції

Друк. Київ. Вісник Київського університету., 2004, №2, -С. 179-183.

 

0,3 Мекуш О.Г.
166.

Система ПАРКС-JAVA як засіб вирішення паралельних алгоритмів на комп’ютерній мережі

Друк. Материалы четвертой международной научно-практической конфе-ренции УкрПРОГ’2004, «Проблемы программ-мирования», №2-3, 2004. – C.282-284 Деревянченко А.В.

 

 

 

 

 

 

 

167.    x

Дистанционное обучение на базе Spread

 

Друк. Управляющие системы и машины. -2004. – №3. – C.71-80. 1,0 Зубенко А.В.
168.

Кодування даних лінійними формами числових послідовностей

Друк. Київ, Наукові записки Київського університету, том VІІ, C.15-26
169.

Using Tries for Universal Data Compression

Друк. Mathematics and Computer Science III

Algorithms, Trees, Combinatorics and Probabiliies, Verlag 2004. – Р.348-350

1.0 Yuriy A. Reznik
170.

Архитектура системы для параллельных вычислений ПАРУС-JAVA

Друк. Материалы Международной научно-технической конференции

Интеллектуальные и многопроцессорные системы – 2004

0,4 Деревянченко А.В.,

Литвинов Д.В.

171. Керування довірчими відносинами в динамічних коаліційних середовищах.

 

Теоретичні та прикладні аспекти побудови прикладних програмних систем. Міжнародна науково-практична конференція. Київ, 2004. – С. 330-333. 0,5 Зубенко А.В.
172. Динамические коалиции – новая парадигма в области распределенных компьютерно-коммуникационных систем. Ч.1. Основные алгоритмы криптографической защиты Друк. Проблемы программирования. -2004. – №4. – C. 48-63. 0,9 Зубенко А.В.
173. Дослідження та розробка технології захисту інформації в комунікаційно-інформаційних системах, що динамічно змінюються Рук. Звіт про НДР  державний обліковий №0205U004536 3,5 Колектив авторів
174. Ітеративний алгоритм обчислення модулярної редукції Друк. Матеріали ІІІ Міжнародної науково-практичної конференції
”Динаміка наукових досліджень” – 2004м. Дніпропетровськ 21-30 червня 2004 р.
0,1 Мекуш О.Г.
175. Побудова паралельних програм за допомогою системи  ПАРКС-JAVA Друк. Матеріали Міжнародної конференції Теоретичні та прикладні аспекти  побудови

програмних систем, Київ, 5-8 жовтня 2004 р. – С.313-320.

0,2 Дерев’янченко О.В.

 

176. Динамические коалиции – новая парадигма в области распределенных компьютерно-коммуникационных систем. Ч.2. Обзор и сравнительная характеристика практических методов построения динамических коалиционных сред. Друк. Проблемы программирования. -2005. – №1. – C. 51-68. 0,7 Зубенко А.В.
177. Система ПАРУС-JAVA для параллельных вычислений

на компьютерных сетях

 

Друк.  «Кибернетика и системный анализ». –  2005 р. . – №1.-C.25-36. 0,5 Деревянченко А.В.

 

178. Атрибуция анонимных текстов

Друк.

Тезисы докладов международной конференции «Стилистика и теория языковой коммуникации» г. Москва 20-21 апреля 2005 г.
С.65-67
0,1 Порхун Е.В., Мурзина Л.А.
179. Моделирование движения совокупности твердых тел с учетом столкновений и сочленений Друк.  «Кибернетика и системный анализ».-
№ 4, 2005 г., C. 29-38
0,4 Забарянский  С.Ф.
180. Optimal Source Coding based on (mis)Observation Друк. IEEE Trans. Inform. Theory.- 2004 submitted Reznik Yu. A.
181. Автоматична класифікація текстів з допомогою нейронної мережі Кохонена Друк. Вісник Київського університету № 1. –  2005

С.4-12

Порхун Е.В
182. Construction of Prefix Codes Using Linear Forms of Numerical Sequences Друк. Proc. 26th Symposium on Information Theory in the Benelux.- Brussels, Belgium, May 19-20, 2005 Reznik Yu. A.
183. Construction of Prefix Codes of Natural Numbers Using Linear Forms of Numerical Sequences Друк. Proc. 9th  Canadian Workshop on Information Theory  (CWIT 2005).- Montreal, Quebec, Canada, June 5-8, 2005 Reznik Yu. A.
184. Групова верифікація цифрових підписів Друк. Вісник Київського університету. Сер. фіз.-мат. науки. – 2005. – Вип. 2.- С.281-285. 0,2 Мекуш О.Г.
185. Исследование эффективности использования оптической элементной базы в синхронной арифметике

 

Друк. УСИМ, 2006, Вип.1 11 Марченко О.О.

Завадский И.А.

186. Синхронные оптические умножители Друк «Кибернетика и системный анализ»,
2006 . – № 4,
С. 102-116
0,5 Завадський І.А.
187. Алгоритмы, рекурсия и литература Друк Журнал «Русcкий язык, литература, культура в школе и вузе», 2006.-
№3(9), С.13-27
0,5
188. Основи інформаційної безпеки та захисту інформації у контексті євроатлантичної інтеграції України Друк Науково-методологічний посібник, – 2006.- 103 с. 4,3 Заславський В.А.,

Фаль О.М.

189. The SAD System in Three Dimensions Друк Proceedings, SYNASC 2006, IEEE

8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.- Timisoara, Romania 26-29 September 2006 – P.85-88

Alexander Lyaletski
190. Про розподілену обробку інформації в системах автоматизації міркувань

 

Друк Керуючі системи й машини, 2006, № 6 (Вибрані  праці 1- ої міжнародної конференції  “Нові інформаційні технології в освіті для всіх”,  травень 2006, Київ, Україна). 0,1 Лялецький О. В.
191.    1 О распределенной обработке информации в системах автоматизации рассуждений Друк Управляющие системы и машины. – 2006 – №6. –
С. 38-42
Лялецкий О. В.
192.    1 Ассоциативное реферирование естественно-языковых текстов Тези Матеріали міжнародної конференції

“Искусственный интеллект. Интеллектуальные и многопроцессорные системы ИИ-ИМС 2006 ”, Кацевели, 2006

4 Марченко О.О.

 

193. Алгоритмы ассоциативного

реферирования естественно-языковых текстов

Друк. “Искусственный интеллект НАНУ и ИПИИ”, №3, 2006.-

С. 165-170

6 Марченко О.О.

 

 

 

194. Метод ассоциативного реферирования естественно-языковых текстов Друк. Вестник

НИИ МВС ТРТУ, Россия, 2007.  – №1.

5 Марченко О.О.

 

195. Алгоритм формирования параметрического вектора для решения задач классификации нейронной сетью прямого распространения Друк. «Кибернетика и системный анализ».  – 2007.  –  №2.  –  С. 3-14 11 Порхун Е.В., Тарануха В.Ю.
196. Оптимизация архитектуры цифрового оптического умножителя Друк.  «Кибернетика и системный анализ».  –  №5.  –  2007.  –  C. 164–176 13 Завадский И.А.
197. Reasoning inside a formula and ontological correctness of a formal mathematical text Друк. Calculemus/MKM 2007 Work in Progress

Hagenberg , Austria, June 27-30.  –  2007.  –  PP.77-91

14 Andrei Paskevich, Konstantin Verchinine, Alxander Lyaletski.
198. The SAD System in Three Dimensions. Друк. Proceedings of the 8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing Timisoara
(SYNASC 2006)September 26 – 29, 2006,
85-88.
3 Alexander Lyaletski
199. Технология интелектуальной обработки текста. Алгоритмы ассоциативно-семантического анализа на основе онтологий. Друк. Міжнародна наукова конференція

«MegaLing’ 2007: Горизонти прикладної лінгвістики та лінгвістичних технологій.» Україна, Крим, Партеніт 24.09.07-28.09.07. –
C. 247-248.

2 Марченко А.А.
200. Інформаційна безпека та організація технічного захисту інформації у контексті євроатлантичної інтеграції Друк. Журн. «Україна-НАТО»,- №4(20), 2007, С. 20-27 8 Заславський В.А.,

Фаль О.В.

 

201.    І Information security and Organization of Technical Protection of Information in the Context of Euro-Atlantic Integration Друк. Scientific Magazine, – №4(20), 2007, P. 20-27 8 Volodymyr Zaslavsky, Oleksiy Phal.

 

202. Медичне спостереження хворих з поразкою хребта і великих суглобів при застосуванні нового вітчизняного апарату «Екзоскелетон»

 

Друк. Методичні рекомендації.

Академія медичних наук України

Український центр наукової медичної інформації і

патентно-ліцензійної роботи

Інститут травматології та ортопедії.-

Київ, 2008, 34 с.

34 Осадчий Є.О.
203. Застосування

нового вітчизняного апарату “Екзоскелетон”

при лікуванні хворих з ураженням хребта

і крупних суглобів

 

Друк. Методичні Рекомендації.

Академія медичних наук України

Український центр наукової медичної інформації й

патентно-ліцензійної роботи.

Інститут травматології та ортопедії. – Київ, 2008,
23 с.

23 Осадчий Є.О.
204. Параллельные алгоритмы выполнения массовых вычислений в нейронных сетях Проблеми програмування.   – 2008.  – № 1   – С.1-15 15 Яджак М. С.
205. Алгоритмічна модель асоціативно-семантичного контекстного аналізу текстів природною мовою Друк.  «Проблеми програмуванняз», №2-3.  – -2008.  –  С.279-285 6 Марченко О.О., Никоненко А.О.

 

 

206. Построение оптимальних алгоритмов массовых вычислений в задачах цифровой фильтрации Друк.  «Кибернетика и системный анализ» , 2008.  –  №  4. – С. 3-15 13 Яджак М. С.
207. On Correctness of Mathematical Texts from a Logical and Practical Point of view Друк. Intelligent Computer Mathematics.

9th Snternational Conference, AISC 2008;

15thh Symposium, Caculemus 2008; 7th International Conference, MKM 2008; Birmingham, UK, July/August 2008, Proceedings.- С. 583-598

15 Andrei Paskevich, Konstantin Verchinine, Alexander Lyaletski ,

Andrei Paskevich

208. Реализация инжиниринга программных legacy-систем Друк. УСиМ, -№ 6,  ноябрь-декабрь 2008,

– С.40-48

8 Белодед, В.В., Пашковец Н.Д.
209. Представление чисел в смешанном базисе (2,3) Друк.  «Кибернетика и системный анализ», 2009.  –  №  4. – С. 3-18 15
210.

 

 

 

Автоматизация построения бизнес-правил в процессе реинжиринга legacy-систем на этапе анализа их функциональных структур Друк. УСиМ, № 3.  –  май-июнь 2009.  –  С.56-65 11 Гриценко В.И., Пашковец Н.Д., Бабак О.В.
211. Построение бизнес-правил для SQO-вложений и JCL-заданий Друк. УСиМ.  –  № 4, июль-август,  2009 .  –

– С.26-34

8 Гриценко В.И., Пашковец Н.Д., Бабак О.В.
212.

 

Анализ  программных legacy-систем на предмет рапределения объектов-кандидатов в бизнес-термины Друк. УСиМ.  –  № 5.  –  сентябрь-октябрь 2009 .  – – С.69-75 6 Гриценко В.И., Пашковец Н.Д., Бабак О.В.
213. Общая теория построения бизнес-правил при реинжиниринге программных legacy-систем Друк. УСиМ, № 6, ноябрь-декабрь, 2009.  –  С.3-11 10 Гриценко В.И., Пашковец Н.Д., Бабак О.В.
214 Оптимізація запитів при конвертації DL/1 ( IMS ) в SQL Друк.  «Проблеми програмування»,2010.  –  №2-3.  –  С 376-381 6 Кулябко О.П.,

Кулябко П.П.,

Марченко О.О.

215 Розробка методів автоматизованого розширення та побудови онтологічних баз знань. Друк. Наукові записки, комп’ютерні  науки .  – т.99, 2009.  – С 50-53 Глибовець М.М.,

Кулябко. П.П.,

Марченко О.О.,

Лиман К.С.

216 Рекурсия и параллельные алгоритмы з задачах геометрического моделирования Друк.  «Кибернетика и системный анализ» ,  2010. – № 2. – С. 10-21 12 Терещенко В.М.
217 ПАТЕНТ України

На корисну модель № 56185 від 10.01.2011

«Інерційний лічильник»

Друк. Зареєстровано в Державному реєстрі патентів України на корисні моделі 10.01.2011 Гриценко В.І.,

Осадчий Є.О.,

Осадчий О.Є.,

Осадчий В.Є.

218 Метод вычисления семантической близости-связности между словами естественного языка.

 

A method for the computation of the semantic similarity and relatedness between natural language words

 

Друк.  «Кибернетика и системный анализ», -2011- №  4. – С. 18-26

 

 

(translated into English by Springer Cybernetics & Systems Analysis;Jul 2011, Vol. 47 Issue 4, p 515

Марченко А.А., Кисенко В.К.

 

 

 

Marchenko, O.,

Kysenko, V. K.:

219 UWN: Універсальна онтологічна база знань української мови Друк.  «Проблеми програмування» .  – 2012,

№2-3.  – С. 348-355

7 Марченко А.А.,

Никоненко А.О.

 

220 GPU-Accelerated Non-negative Matrix Factorization for Text Mining.

 

Друк. Proceeding of the Conference “Natural Language Processing and Information Systems”

 

Lecture Notes in Computer Science, Vol. №7337, Springer, Heidelberg, 2012.  –  pp. 158-163

6 Kysenko V., Rupp K., Marchenko, O., Selberherr S.
221 “Prefix Encoding by Means of the (2,3)-Representation of Numbers “ Друк. IEEE Transactions on Information Theory. – 2013. – vol. 59. – №4. – pp. 2359-2374 16
222 Представление чисел в двухбазисных системах Друк. «Кибернетика и системный анализ». – 2013. – №4. – С. 1-14 . 14
223 1.      About the issue of algorithms formalized design for parallel computer architectures Друк. Appl. Comput. Math., V.12.  –  № 2.  –  2013, pp. 140-151 11 Pogorilyy S.D.
224 Определение семантических валентностей концептов онтологий  с помощью неотрицательной факторизации тензоров больших текстовых корпусов Друк. «Кибернетика и системный аналіз». – 2014. – №3. – С. 3-16. 13 Марченко А.А., Вознюк Т.Г.
225 Помехоустойчивое префексное кодирование с помощью нижнего (2,3) – представления чисел . Друк. «Кибернетика и системный аналіз» .  –  2014. – №2. – С.1-15. 15 Завадский И.А.

 

226 Перспективи використання вітчизняної технології «ЕКЗОСКЕЛЕТОН» в протезуванні. Друк. Тези доповідей ІІ міжнародного медичного конгресу «Впровадження сучасних досягнень медичної науки в практику охорони здоров’я України» .  –  16-19 квітня 2013.  – Київ: ВЦ «КиївЕкспоПлаза»

 

Осадчий Є. О.,Горбунов О. А.,

Осадчий В. Є.

227 Патент України № 102530 МКИ6 A61 H 3/00, A 62 D 7/00 Xодунок. Опубл.25.07.13.- Бюл. №.- 5с. Друк. Патент України на винахід

№ 102530 МКИ6 A61 H 3/00, A 62 D 7/00 Xодунок. Опубл.25.07.13.  –
Бюл. № 22.- 5 с.

Осадчий Є. О.,

Горбунов О. А.,

та ін.

228 Ukrainian WordNet: Creation and Filling. // Flexible Query Answering Systems, Lecture Notes in Computer Science Volume

 

 

Друк. Lecture Notes in Computer Science, springer Verlag,

V. 8132.  –  2013.  –  pp. 649-660

 

11
Nikonenko А.A.,

Porhun E. V.,

Taranuxa V.U.,

Marchenko, O.

229 Forward error correcting codes by means of the two-base (2,3)-numeration system Друк. 2014 IEEE International Black Sea Conference on Communications and Networking (BlackSeaCom) took place 27-30 May 2014 in Odessa, Ukraine.

 

5 Igor O. Zavadskyi
230 Програмування числових методів мовою  Python Друк. ВПЦ “Київський університет”, – 2015

(1 квартал)

 

Дорошенко А.Ю.,

Погорілий С.Д.,

Дорогий Я.Ю.

 

231 Пошук інформації Подана до друку Монографія

Національний університет «Києво-Могилянська академія». – 283 с.

12 Глибовець М.М., Глибовець А.М.,

Шабінський А.С.

 

 

 

 

Автор

доктор фіз.-мат. наук, професор                                        А.В. Анісімов

 

 

 

 

Вчений секретар Вченої ради                                              С.І. Дяченко