|
А |
Об изоморфизме и кодировании абстрактных автоматов |
1965 |
Капитонова Ю. В. |
|
|
|
|
20.05.1965 |
|
А |
Вопросы проектирования вычислительных машин и специальных систем математического обеспечения |
1974 |
Капитонова Ю. В. |
|
|
|
|
02.06.1974 |
|
П |
ПРОЕКТ-ЕС. Базовый инструментальный язык программирования |
1979 |
Глушков В. М., Бублик В. В., Гороховский С. С., Капитонова Ю. В., Летичевский А. А., Чуйкевич В. С. |
|
|
ИК АН УССР |
|
29.05.1999 |
|
М |
Математическая теория проектирования вычислительных систем |
1988 |
Капитонова Ю. В., Летичевский А. А. |
|
|
|
|
16.05.1989 |
|
СТ |
Система алгебраического программирования АПС-1 |
1989 |
Капитонова Ю. В., Летичевский А. А., Конозенко С. В. |
|
|
|
Адаптируемые средства программирования. Методы оценки трансляторов. (Матер.шк.-семин. 5-10 июня 1989 г.) |
23.03.1991 |
|
СТ |
Методы и средства алгебраического программирования |
1993 |
Капитонова Ю. В., Летичевский А. А. |
|
|
|
Кибернетика и системный анализ |
24.12.1993 |
|
СТ |
Инструментальный комплекс сетевых семантических баз данных и знаний |
1993 |
Гречко В. О., Капитонова Ю. В., Погребинский С. Б. |
|
|
|
Управляю ие системы и машины |
23.10.1993 |
|
СТ |
Особенности реализации оптимизирую его транслятора процедурного подмножества языка алгебраического программирования системы APS |
1995 |
Валькевич Т. А., Капитонова Ю. В., Летичевский А. А., Мищенко Н. М. |
|
|
|
Кибернетика и системный анализ |
07.03.1996 |
|
СТ |
Оптимизирую ий транслятор процедурного подмножества языка алгебраического программирования системы APS |
1995 |
Валькевич Т. А., Капитонова Ю. В., Летичевский А. А. |
|
|
|
Кибернетика и системный анализ |
07.03.1996 |
|
СТ |
Методы и средства моделирования хардвера распределенных вычислительных систем |
1995 |
Гребнев В. А., Капитонова Ю. В., Летичевский А. А. |
|
|
|
Кибернетика и системный анализ |
07.09.1995 |
|
СТ |
О некоторых задачах оценки качества устройств и программ вычислительных машин |
1995 |
Капитонова Ю. В., Погребинский С. Б. |
|
|
|
Кибернетика и системный анализ |
10.01.1996 |
|
СТ |
Концепция словарей программных компонентов и ее использование в процессе разработки программных продуктов |
1996 |
Валькевич Т. А., Капитонова Ю. В., Летичевский А. А., Мищенко Н. М. |
|
|
|
Кибернетика и системный анализ |
18.02.1997 |
|
СТ |
О зарождении и развитии кибернетических средств в Украине |
1997 |
Сергиенко И. В., Капитонова Ю. В., Летичевский А. А., Малиновский Б. Н., Рабинович З. Л., Стогний А. А. |
|
|
|
Управляю ие системы и машины |
21.10.1998 |
|
СТ |
Об автоматизации проектирования и моделирования компонентов компьютерных систем |
1997 |
Капитонова Ю. В., Марьянович Т. П., Мищенко А. А. |
|
|
|
Кибернетика и системный анализ |
15.10.1998 |
|
СТ |
Доказательство теорем в математической информационной среде |
1998 |
Капитонова Ю. В., Летичевский А. А. |
|
|
|
Кибернетика и системный анализ |
23.09.1998 |
|
СТ |
О применении метода формализованных технических заданий к проектированию программ обработки структур данных |
1999 |
Глушков В. М., Капитонова Ю. В., Летичевский А. А. |
|
|
|
Программирование |
25.12.1999 |
|
СТ |
Индуктивный синтез автомата по спецификации в логическом языке |
2000 |
Капитонова Ю. В., Чеботарев А. Н. |
|
|
|
Кибернетика и системный анализ |
07.03.2001 |
|
СТ |
Дедуктивные средства системы алгебраического программирования |
2000 |
Капитонова Ю. В., Летичевский А. А., Волков В. А. |
|
|
|
Кибернетика и системный анализ |
22.04.2000 |
|
СТ |
Вычислительные эксперименты в арифметической геометрии над конечными полями и их компьютерная поддержка |
2000 |
Глазунов Н. М., Капитонова Ю. В. |
|
|
|
Кибернетика и системный анализ |
20.10.2000 |
|
СТ |
Быстрый алгоритм для умножения матриц и его эффективная реализация на систолических массивах |
2001 |
Елфимова Л. Д., Капитонова Ю. В. |
|
|
|
Кибернетика и системный анализ |
28.04.2001 |
|
СТ |
Интегрированный подход к проектированию процессорных массивов с систолической организацией вычислений |
2002 |
Елфимова Л. Д., Капитонова Ю. В. |
|
|
|
Кибернетика и системный анализ |
19.02.2003 |
|
СТ |
Проверка корректности требований к программным системам, представленным атрибутными транзиционными системами |
2003 |
Баранов С. Н., Волков В. А., Годлевский А. Б., Капитонова Ю. В., Летичевский А. А. |
|
|
|
Кибернетика и системный анализ |
13.02.2004 |
|
СТ |
Об использовании Байесовых сетей для мониторинга пользователей компбютеров |
2004 |
Капитонова Ю. В., Мищенко Н. М., Фелижанко О. Д., Щеголева Н. Н. |
|
|
|
Кибернетика и системный анализ |
30.04.2005 |
|
СТ |
Спецификация систем с помо ью базовых протоколов |
2005 |
Летичевский А. Ад., Капитонова Ю. В., Волков В. А., Летичевский А. А., Баранов С. Н., Котляров В. П., Вейгерт Т. |
|
|
|
Кибернетика и системный анализ |
20.12.2005 |
|
СТ |
Оптимальность систем одинаково распределенных конкурирую их процессов |
2005 |
Капитонова Ю. В., Коваленко Н. С., Павлов П. А. |
|
|
|
Кибернетика и системный анализ |
29.04.2006 |
|
СТ |
Теория автоматов, автоматизация проектирования и некоторые проблемы информатики |
2007 |
Капитонова Ю. В., Летичевский А. А. |
|
|
|
Кибернетика и системный анализ |
20.11.2007 |
