Автори, співробітники Університету

Буй Дмитро Борисович

Ідентифікатор автора: 29642
Author Identifier Number Scopus: 56529677200 →
Кількість пошукових запитів автора: 1044

Підрозділ: Факультет комп'ютерних наук та кібернетики
Кафедра/Відділ: НДС Проблем програмування / Теорії та технології програмування /
Посада: професор

Науковий ступінь: доктор
Наукове звання: професор

Публікаційна активність


Всього публікацій у базі - 95, з них наукових статей (наукові публікації) - 41, монографій - 1, підручників - 0, навчальних посібників - 1, тез (наукові публікації) - 31, матеріалів конференцій (наукові публікації)- 9

Всього публікацій у Scopus (affiliation - Taras Shevchenko National University of Kyiv) - 5

Публікації

Тип
Назва документу
Автори
Рік видання
Джерело
1
Наукова стаття
Точные оценки временной сложности реализации алгоритмов теоретико-множественных операций в табличных алгебрах
Буй Дмитро Борисович
Редько Володимир Никифорович
Сенченко Олексій Сергійович
Канарська Ірина Сергіївна
2017
Кібернетика і системний аналіз
т.53 в.1 c.3-15
2
Навчальний посібник
Теоретико-множинні основи табличних баз даних
Буй Дмитро Борисович
Редько Володимир Никифорович
Сільвейструк Людмила Миколаївна
2016
К.: Видавничо-поліграфічний центр «Київський університет» (навчальний посібник)
c.1-135
3
Наукова стаття
Development of computational techniques to solve problems external and internal ballistics
Буй Дмитро Борисович
Потапенко Леонід Іванович
Сіренко Ігор Павлович
Стеля Олег Борисович
2016
Science. Business. Society
т.1 в.4 c.3-6
4
Наукова стаття
Development of computational techniques to solve problems external and internal ballistics
Буй Дмитро Борисович
Потапенко Леонід Іванович
Сіренко Ігор Павлович
Стеля Олег Борисович
2016
Научни известия на НТСМ
т.24 в.9 c.3-6
5
Наукова стаття
Логики частичных предикатов, индуцированные трехзначными логиками Клини
Буй Дмитро Борисович
Шишацька Олена Володимирівна
2016
Штучний інтелект
в.1 c.43-47
6
Наукова стаття
Рефлексивно-транзитивные замыкания бинарных отношений
Буй Дмитро Борисович
Шишацька Олена Володимирівна
2016
Электротехнические и компьютерные системы
в.22(98)
7
Наукова стаття
Математические основания множественного наследования: рефлексивно-транзитивное замыкание
Буй Дмитро Борисович
Шишацька Олена Володимирівна
2016
Вісник Харківського національного університету ім. В.Н. Каразіна
т.28
8
Наукова стаття
Mathematical Foundations of Multiple Inheritance: Reflexive-transitive Closure of the Binary Relations
Буй Дмитро Борисович
Шишацька Олена Володимирівна
2016
Perspective technologies and methods in mems design: International conference
т.1
9
Наукова стаття
Математические основания множественного наследования: рефлексивно-транзитивное замыкание
Буй Дмитро Борисович
Шишацька Олена Володимирівна
2016
Міжнародний науково-практичний семінар -"Комбінаторні конфігурації та їх застосування"
10
Наукова стаття
Об инвариантности ключей относительно операций табличных алгебр
Буй Дмитро Борисович
Редько Володимир Никифорович
Сенченко Олексій Сергійович
2015
Кибернетика и системный анализ (КиСА)
т.51 в.5 c.3-13
11
Матеріали конференції
Огляд типів рекомендаційних систем та використання баз даних для підвищення їх продуктивності
Буй Дмитро Борисович
Поляков Сергій Анатолійович
2014
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.29-34
12
Наукова стаття
Критерії збереження активного домену сигнатурними операціями табличних алгебр
Буй Дмитро Борисович
Сенченко Олексій Сергійович
2015
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.2 c.94-98
13
Наукова стаття
Axiomaticsformultivalueddependenciesintabledatabases:correctness,completeness, completeness criteria
Буй Дмитро Борисович
2015
Springer International Publishing Switzerland Brunów, Poland.
c.45-55
14
Наукова стаття
Современное состояние теории мультимножеств с сущностной точки зрения
Буй Дмитро Борисович
Гришко Юлія Олександрівна
Редько Володимир Никифорович
2015
15
Наукова стаття
Аксiоматика багатозначних залежностей табличних баз даних
Буй Дмитро Борисович
Редько Володимир Никифорович
2015
Доповіді НАН України
т.6 c.24-29
16
Наукова стаття
Логики частичных предикатов, индуцированные трехзначными логиками Клини
Буй Дмитро Борисович
Шишацька Олена Володимирівна
2015
Міжнародна науково-технічна конференція Штучний інтелект та інтелектуальні системи
c.67-72
17
Наукова стаття
Linearization algorithms CLOS and LOOPS of the classes in programming languages: the formal definitions
Буй Дмитро Борисович
Поляков Сергій Анатолійович
2015
International Scientific Conference on Informatics . INFORMATICS'2015, November 18th – 20h, 2015 in Poprad , Slovakia
c.176-185
18
Наукова стаття
Алгоритми CLOS та LOOPS лінеаризації класів в мовах програмування: формальна побудова
Буй Дмитро Борисович
Поляков Сергій Анатолійович
2015
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.2 c.99-103
19
Наукова стаття
Відношення конфіальності, передпорядки та порядки, семантика фрази ORDER BY запитів SQL-подібних мов
Буй Дмитро Борисович
Шишацька Олена Володимирівна
2015
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.4 c.88-96
20
Наукова стаття
Формальні методи розробки програмного забезпечення Z, B, VDM: порівняльний аналіз
Буй Дмитро Борисович
2015
Міжнародна науково-практична конференція
c.19-25
21
Наукова стаття
Linearization algoritmhms CLOS and LOOPS of the classes in programming languages: the formal definitions
Буй Дмитро Борисович
Поляков Сергій Анатолійович
2015
International Scientific Conference on Informatics . INFORMATICS'2015, November 18th – 20h, 2015 in Poprad , Slovakia
c.63-66
22
Праці конференції
Композиційна семантика базових правил підстановки B методу
Буй Дмитро Борисович
2015
Інтелектуальні технології в системному програмуванні. Всеукраїнська науково-практична конференція молодих учених та студентів
c.90
23
Праці конференції
Документо-орієнтовані СУБД класу NOSQL: модель даних та семантика методу Find()
Буй Дмитро Борисович
2015
Інтелектуальні технології в системному програмуванні. Всеукраїнська науково-практична конференція молодих учених та студентів
c.54-56
24
Праці конференції
Информационная система «Поступление в Киевский университет»: ER-модель предметной области, схема базы данных, интерфейсные решения
Буй Дмитро Борисович
2014
Knowledge - Dialogue - Solution (KDS): International Conference
c.54-62
25
Праці конференції
О языке запросов информационной системы «Поступление в Киевский университет»
Буй Дмитро Борисович
2014
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.61-66
26
Тези
DSS: state of art and points of growth
Буй Дмитро Борисович
Донченко Володимир Степанович
Зінько Петро Миколайович
Наконечний Олександр Григорович
2015
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
т.2 c.30
27
Тези
Системы поддержки принятия решений: ретроспективы и перспективы
Буй Дмитро Борисович
Донченко Володимир Степанович
Зінько Петро Миколайович
Наконечний Олександр Григорович
2015
Наука и бизнес. Экономика знаний. Международный научно-практический форум.
т.2 c.196-200
28
Тези
Ситемы поддержки принеятия решений: ретроспективы и перспективы
Буй Дмитро Борисович
Донченко Володимир Степанович
Зінько Петро Миколайович
Наконечний Олександр Григорович
2015
Международный научно-практический форум «Наука и бизнес»
c.196-200
29
Тези
Математичесие основания современных реляционных СУБД
Буй Дмитро Борисович
2015
Международный научно-практический форум «Наука и бизнес»
c.52-55
30
Тези
Модель даннях документо-ориентированной системы управления базами даннях MONGODB
Буй Дмитро Борисович
2014
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.44-7
31
Тези
Аксіоматика багатозначних залежностей табличних баз даних: повнота та її критерії
Буй Дмитро Борисович
2014
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.35-43
32
Тези
Огляд типів рекомендаційних систем та використання баз даних для підвищеня їх продуктивності
Буй Дмитро Борисович
Поляков Сергій Анатолійович
2014
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.29-34
33
Тези
Загальна модель успадкування
Буй Дмитро Борисович
2014
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.25-28
34
Тези
Формальна модель даних та семантика запитів для документо-орієнтованих СУБД
Буй Дмитро Борисович
2015
Матеріали міжнародної науково-практичної конференції
c.58-59
35
Тези
Математические основания современных реляционных СУБД
Буй Дмитро Борисович
2015
Международный научно-практический форум «Наука и бизнес»
c.128-132
36
Тези
Реалізація роботи нестандартних типів даних у Framework Django на прикладі типу даних ltree
Буй Дмитро Борисович
Поляков Сергій Анатолійович
2015
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.-
37
Матеріали конференції
Обзор современной теории нормализации в реляционных базах данных
Буй Дмитро Борисович
2014
Проблемы теоретической кибернетики
т.17 c.39-44
38
Наукова стаття
Formal Specification of the NoSQL Document-Oriented Data Model
Буй Дмитро Борисович
Поляков Сергій Анатолійович
2013
Acta Electrotechnoce et Informatica
т.4 c.26-31
39
Наукова стаття
Реализация работы нестандартных типов данных в Framework Django типа данных tree
Буй Дмитро Борисович
Поляков Сергій Анатолійович
2015
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.26-32
40
Праці конференції
Модели и методы обеспечения безопасности программных средств
Буй Дмитро Борисович
2014
Соблюдение стандартов справедливого судопроизводства в условиях реформирования законодательства Республики Казахстан
т.1 c.44-47
41
Матеріали конференції
Уточнення множинного успадкування у вигляді операції накладанняФормальное определение модели данных, используемой в NoSQL базах данных
Буй Дмитро Борисович
Гришко Юлія Олександрівна
Поляков Сергій Анатолійович
2013
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
т.1 c.29-33
42
Наукова стаття
Диаграммы классов ООП: формализация и анализ
Буй Дмитро Борисович
2013
Tools & Methods of Program Analysis
т.1 c.313.0000
43
Наукова стаття
Застосування теорії мультимножин
Буй Дмитро Борисович
Гришко Юлія Олександрівна
2013
Радіоелектронні і комп'ютерні системи
c.204.0000
44
Наукова стаття
Модель операции пересечения спецификаций классов объектно-ориентированного программирования
Буй Дмитро Борисович
2013
Radioelectronics and Communications Systems
т.5 c.210-213
45
Наукова стаття
Models of Class Specification Junction and Intersection in Object-Oriented Paradigm
Буй Дмитро Борисович
2013
INFORMATICS - International Conference
т.12 c.134-145
46
Праці конференції
Models of Class Specification Intersection of Object-Oriented Programming
Буй Дмитро Борисович
2013
International Conference ICTERI
т.9 c.590-594
47
Праці конференції
Критерии совместности функций
Буй Дмитро Борисович
2013
Dynamical System Modeling and Stability Investigation: International Conference
т.9 c.145
48
Матеріали конференції
Уточнення множинного успадкування у вигляді операції накладання
Буй Дмитро Борисович
2012
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
т.1 c.69-72
49
Матеріали конференції
Уточнення множинного успадкування у вигляді операції накладанняФормальное определение модели данных, используемой в NoSQL базах данных
Буй Дмитро Борисович
2012
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
т.1 c.69-72
50
Матеріали конференції
Розширення табличної алгебри: мультимножинна таблична алгебра
Буй Дмитро Борисович
2012
51
Матеріали конференції
Операційна та денотаційна семантика рекурсивних запитів в табличних базах даних
Буй Дмитро Борисович
Поляков Сергій Анатолійович
2011
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.204-209
52
Наукова стаття
Уточнення множинного успадкування у вигляді операції накладання
Буй Дмитро Борисович
2012
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.1 c.90.0000
53
Наукова стаття
Операции объединения и пересечения спецификаций классов в многосортной алгебраической системе для объектно-ориентированного программирования
Буй Дмитро Борисович
2012
SWorld
т.3 c.45.0000
54
Наукова стаття
Теорія мультимножин та її застосування
Буй Дмитро Борисович
Гришко Юлія Олександрівна
2012
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
т.1 c.54-68
55
Наукова стаття
Розширена мультимножинна таблична алгебра
Буй Дмитро Борисович
2011
56
Тези
Теорія мультимножин та її застосування
Буй Дмитро Борисович
2012
57
Наукова стаття
Формалізація поняття об’єкта, класу, успадкування класів, життєвий цикл об’єкта в об’єктно-орієнтованих базах даних
Буй Дмитро Борисович
2011
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.1 c.111.0000
58
Праці конференції
Загальнозначні теоретико-множинні конструкції повного образу, обмеження, сумісності: властивості та застосування
Буй Дмитро Борисович
Сільвейструк Людмила Миколаївна
2010
Международная научно-практическая конференция по программированию (УкрПрог)
т.1 c.80.0000
59
Тези
Використання технології CSP для доступу до об'єктів бази даних в постреляційній СУБД САСНЕ
Буй Дмитро Борисович
2010
60
Тези
Узагальнена таблична алгебра та узагальнене реляційне числення
Буй Дмитро Борисович
2010
61
Наукова стаття
Уточнення обмежень min та max простої кардинальності в моделі «сутність-зв'язок»
Буй Дмитро Борисович
Сільвейструк Людмила Миколаївна
2009
Математичні машини і системи
т.4 c.67.0000
62
Тези
Решітка мультимножин
Буй Дмитро Борисович
2009
63
Тези
Мультимножини як модель експертних оцінок
Буй Дмитро Борисович
2009
64
Тези
Решетка мультимножеств
Буй Дмитро Борисович
2009
65
Тези
Повний образ, обмеження, проекція, відношення сумісності
Буй Дмитро Борисович
2009
66
Наукова стаття
Расширенная модель „сущность-связь”: типы сущностей суперкласс и подкласс, тип связи суперкласс/подкласс
Буй Дмитро Борисович
Сільвейструк Людмила Миколаївна
2008
Intern. Book Series "Algorithmic and Mathematical Foundation of the Artificial Intelligence"
c.149.0000
67
Праці конференції
Three-valued Kleene logic and three-element chains. Proceedings of the CSE 2008
Буй Дмитро Борисович
Шишацька Олена Володимирівна
2008
68
Тези
Класифікація мов та методів формальних специфікацій програмних систем. Abstracts of International Conference TAAPSD’2008
Буй Дмитро Борисович
Нікітченко Микола Степанович
Омельчук Людмила Леонідівна
Редько Володимир Никифорович
Шишацька Олена Володимирівна
2008
69
Тези
Трехзначные логики Клини и трехэлементные цепи
Буй Дмитро Борисович
Шишацька Олена Володимирівна
2008
Intern. Book Series "Algorithmic and Mathematical Foundation of the Artificial Intelligence"
т.2 c.165.0000
70
Тези
Типи даних в стандарті SQL: 2003. Abstracts of International Conference TAAPSD’2008
Буй Дмитро Борисович
Поляков Сергій Анатолійович
2008
71
Тези
Уточнення обмежень кардинальності типу зв‘язку у моделі “сутність-зв‘язок”. Abstracts of International Conference TAAPSD’2008
Буй Дмитро Борисович
Сільвейструк Людмила Миколаївна
2008
72
Тези
Мультимножини: означення, операції, основні властивості. Abstracts of International Conference TAAPSD’2008
Буй Дмитро Борисович
2008
73
Наукова стаття
Метод нерухомої точки в програмології: загальна теорія
Буй Дмитро Борисович
2007
Вибрані питання програмології. Праці наукового семінару "Програмологія та її застосування"
c.64.0000
74
Наукова стаття
UML – сучасна універсальна мова моделювання: історія, специфікація, бібліографія
Буй Дмитро Борисович
Шишацька Олена Володимирівна
2007
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
c.122.0000
75
Наукова стаття
Модель “сутність-зв’язок”: ролі, сильні та слабкі типи сутностей і типи зв’язків
Буй Дмитро Борисович
Сільвейструк Людмила Миколаївна
2007
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
c.129.0000
76
Наукова стаття
UML: історія, специфікація, бібліографія / http://it.ridne.net/compuscience
Буй Дмитро Борисович
Шишацька Олена Володимирівна
2007
Електронний варіант
77
Праці конференції
UML: история, специфікация, бібліографія
Буй Дмитро Борисович
Шишацька Олена Володимирівна
2007
Knowledge - Dialogue - Solution (KDS): International Conference
c.309.0000
78
Праці конференції
Модель "сущность-связи": роли, сильные и слабые типы сушностей и типы связей
Буй Дмитро Борисович
Сільвейструк Людмила Миколаївна
2007
Knowledge - Dialogue - Solution (KDS): International Conference
c.316.0000
79
Тези
UML – сучасна мова моделювання: історія, специфікація, бібліографія
Буй Дмитро Борисович
Шишацька Олена Володимирівна
2007
Intern. Conf. "Dynamical system modelling and stability investigation". Kyiv
80
Тези
Формалізація моделі “сутність-зв’язок”
Буй Дмитро Борисович
Сільвейструк Людмила Миколаївна
2007
International Conference Dynamical system modelling and stability investigation. Kyiv
c.364.0000
81
Тези
Три замечания о трехзначной логике Клини
Буй Дмитро Борисович
Поляков Сергій Анатолійович
Шишацька Олена Володимирівна
2007
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.47.0000
82
Властивості відношення конфінальності та устрій множини часткових функцій
Буй Дмитро Борисович
2006
Вісник Луганського університету ім.Тараса Шевченка "Гуманітарні студії"
83
Наукова стаття
Модель „сутність-зв’язок”: формалізація сутностей та зв’язків
Буй Дмитро Борисович
2006
Вісник Луганського університету ім.Тараса Шевченка "Гуманітарні студії"
84
Тези
Формализация структурных ограничений в модели “сущность-связь” // Proceedings of the XII-th International Conference “Knowledge-Dialogue-Solution” (June 20-25, 2006, Varna, Bulgaria)
Буй Дмитро Борисович
Сільвейструк Людмила Миколаївна
2006
Науч.-практ. конф. "Современные направления теоретических и прикладных исследований"
85
Тези
Теоретико-множественные конструкции полного образа, ограничения, конфинальности и совместности в основаниях реляционных баз данных // Труды IX международной конференции "Интеллектуальные системы и компьютерные науки", Москва, МГУ, 23-27 октября 2006 г
Буй Дмитро Борисович
2006
Науч.-практ. конф. "Современные направления теоретических и прикладных исследований"
86
Тези
Формализация структурных ограничений связей в модели „сущность-связь” // Труды IX международной конференции "Интеллектуальные системы и компьютерные науки", Москва, МГУ, 23-27 октября 2006 г.
Буй Дмитро Борисович
Сільвейструк Людмила Миколаївна
2006
Науч.-практ. конф. "Современные направления теоретических и прикладных исследований"
87
Тези
Властивості теоретико-множинних конструкцій повного образу, обмеження, конфінальності, сумісності // Тези доповідей XIII Всеукраїнської наукової конференції "Сучасні проблеми прикладної математики та інформатики", Львів, ЛНУ, 3-5 жовтня 2006 р.
Буй Дмитро Борисович
2006
Науч.-практ. конф. "Современные направления теоретических и прикладных исследований"
88
Тези
Formalization of structural constraints of relationships in model „entity-relationship” // Proceedings of the Seventh International Scientific Conference “Electronic Computers and Informatics’2006” (September 20-22, 2006, Kosice – Herlany, Slovakia)
Буй Дмитро Борисович
2006
Науч.-практ. конф. "Современные направления теоретических и прикладных исследований"
89
Монографія
Реляційні бази даних: табличні алгебри та SQL-подібні мови
Буй Дмитро Борисович
Поляков Сергій Анатолійович
Редько Володимир Никифорович
2001
Академперіодика
c.1-198
90
Наукова стаття
Compositional Approach to the Semantisc of SQL
Буй Дмитро Борисович
Поляков Сергій Анатолійович
2001
Information Theories & Applications
c.133-142
91
Матеріали конференції
Compositional Approach to the Semantisc of SQL
Буй Дмитро Борисович
Поляков Сергій Анатолійович
2000
Fifth International Conference "Information Theories & Applications" (September, 1-15, 2000,Bulgaria) Abstracts, Sofia: FOI-COMMERE
c.33-34
92
Матеріали конференції
Compositional Semantisc of SQL
Буй Дмитро Борисович
Поляков Сергій Анатолійович
2000
Proc. of the Fourth International Scientific Conference "Electronic Computers and Informations’2000"
c.287-292
93
Наукова стаття
Композиційна семантика SQL-подібних мов: агрегатні функції
Буй Дмитро Борисович
Поляков Сергій Анатолійович
2000
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.1 c.178-192
94
Наукова стаття
Композиційна семантика SQL-подібних мов: групування, маніпулювання даними, приклади
Буй Дмитро Борисович
Поляков Сергій Анатолійович
2000
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.2 c.177-185
95
Наукова стаття
Композиційна семантика агрегатних функцій SQL-подібних мов
Буй Дмитро Борисович
Поляков Сергій Анатолійович
2000
Проблеми програмування
т.1 c.554-565

Повернення до списку

Вгору