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

Шишацька Олена Володимирівна

Ідентифікатор автора: 43674
ResearcherID, Web of Science: H-9870-2018 →
Кількість пошукових запитів автора: 352

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

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


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

Публікації

Тип
Назва документу
Автори
Рік видання
Джерело
1
Автореферат
Формальні моделі баз даних та багатозначні логіки: автореферат дисертації на здобуття ступеня канд. фіз.-мат.наук
Шишацька Олена Володимирівна
2019
Київ
c.1-20
2
Праці конференції
Development of the ICT-standard of Higher Education in Ukraine within the Framework of European Requirements
Омельчук Людмила Леонідівна
Русіна Наталія Геннадіївна
Шишацька Олена Володимирівна
2019
ICT in Education, Research and Industrial Applications: Integration, Harmonization, and Knowledge Transfer (ICTERI): Міжнародна конференція
т.1 в.15 c.262-273
3
Праці конференції
Extending the SMT-Lib Standard with Theory of Nominative
Омельчук Людмила Леонідівна
Шишацька Олена Володимирівна
2019
ICT in Education, Research and Industrial Applications: Integration, Harmonization, and Knowledge Transfer (ICTERI): Міжнародна конференція
т.2 в.15 c.522-533
4
Праці конференції
Побудова п’ятизначних EU-логік
Шишацька Олена Володимирівна
2018
Dynamical Systems Modelling And Stability Investigation (DSMSI): Міжнародна конференція
т.1 в.19 c.379-381
5
Праці конференції
Compositional-Nominative Approach to the Client-Server Systems Properties Proofs within Different Formal Execution Models
Омельчук Людмила Леонідівна
Панченко Тарас Володимирович
Русіна Наталія Геннадіївна
Шишацька Олена Володимирівна
2019
Ukraine Conference on Electrical and Computer Engineering (UKRCON)
в.2 c.1127-1132
6
Тези
Semantic Properties of Five-Valued Logics
Нікітченко Микола Степанович
Шишацька Олена Володимирівна
2019
Logic and its Applications: The workshop [Електронний ресурс] - Режим доступу: http://logic.net.ua/sites/default/files/Book%20of%20Abstracts.pdf
в.1 c.8
7
Тези
Many-Valued Logics in the UML/OCL Model
Шишацька Олена Володимирівна
2019
Logic and its Applications: The workshop [Електронний ресурс] - Режим доступу: http://logic.net.ua/sites/default/files/Book%20of%20Abstracts.pdf
в.1 c.12-13
8
Наукова стаття
Семантичні властивості п’ятизначних логік
Нікітченко Микола Степанович
Шишацька Олена Володимирівна
2018
Проблеми програмування
т.1 c.22-35
9
Наукова стаття
П’ятизначні логіки: побудова та інтерпретація
Шишацька Олена Володимирівна
2017
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
в.4 c.147-151
10
Наукова стаття
Логики частичных предикатов, индуцированные трехзначными логиками Клини
Буй Дмитро Борисович
Шишацька Олена Володимирівна
2016
Штучний інтелект
в.1 c.43-47
11
Наукова стаття
Рефлексивно-транзитивные замыкания бинарных отношений
Буй Дмитро Борисович
Шишацька Олена Володимирівна
2016
Электротехнические и компьютерные системы
в.22(98)
12
Наукова стаття
Математические основания множественного наследования: рефлексивно-транзитивное замыкание
Буй Дмитро Борисович
Шишацька Олена Володимирівна
2016
Вісник Харківського національного університету ім. В.Н. Каразіна
т.28
13
Наукова стаття
Mathematical Foundations of Multiple Inheritance: Reflexive-transitive Closure of the Binary Relations
Буй Дмитро Борисович
Шишацька Олена Володимирівна
2016
Perspective technologies and methods in mems design: International conference
т.1
14
Наукова стаття
Математические основания множественного наследования: рефлексивно-транзитивное замыкание
Буй Дмитро Борисович
Шишацька Олена Володимирівна
2016
Міжнародний науково-практичний семінар -"Комбінаторні конфігурації та їх застосування"
15
Наукова стаття
Логики частичных предикатов, индуцированные трехзначными логиками Клини
Буй Дмитро Борисович
Шишацька Олена Володимирівна
2015
Міжнародна науково-технічна конференція Штучний інтелект та інтелектуальні системи
c.67-72
16
Наукова стаття
Відношення конфіальності, передпорядки та порядки, семантика фрази ORDER BY запитів SQL-подібних мов
Буй Дмитро Борисович
Шишацька Олена Володимирівна
2015
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.4 c.88-96
17
Наукова стаття
Деякі питання специфікацій обмежень при проектуванні програмних систем
Сільвейструк Людмила Миколаївна
Шишацька Олена Володимирівна
2013
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
т.1 c.148.0000
18
Наукова стаття
Обмеження атрибутів в моделях даних
Сільвейструк Людмила Миколаївна
Шишацька Олена Володимирівна
2013
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.1 c.288.0000
19
Наукова стаття
Класифікація моделей даних
Поляков Сергій Анатолійович
Сільвейструк Людмила Миколаївна
Шишацька Олена Володимирівна
2012
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.3 c.223.0000
20
Наукова стаття
Уніфікована модель даних на основі підходу «сутність-зв’язок»
Поляков Сергій Анатолійович
Сільвейструк Людмила Миколаївна
Шишацька Олена Володимирівна
2012
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.4 c.189.0000
21
Праці конференції
Використання парадигми «сутність-зв’язок» для задання моделей даних
Поляков Сергій Анатолійович
Сільвейструк Людмила Миколаївна
Шишацька Олена Володимирівна
2012
TAAPSD 2012
c.245.0000
22
Наукова стаття
Трьохзначні логіки Кліні та трьохелементні ланцюги
Шишацька Олена Володимирівна
2007
Вісник Київського національного університету імені Тараса Шевченка. Хімія
c.230.0000
23
Праці конференції
Three-valued Kleene logic and three-element chains. Proceedings of the CSE 2008
Буй Дмитро Борисович
Шишацька Олена Володимирівна
2008
24
Тези
Класифікація мов та методів формальних специфікацій програмних систем. Abstracts of International Conference TAAPSD’2008
Буй Дмитро Борисович
Нікітченко Микола Степанович
Омельчук Людмила Леонідівна
Редько Володимир Никифорович
Шишацька Олена Володимирівна
2008
25
Тези
Трехзначные логики Клини и трехэлементные цепи
Буй Дмитро Борисович
Шишацька Олена Володимирівна
2008
Intern. Book Series "Algorithmic and Mathematical Foundation of the Artificial Intelligence"
т.2 c.165.0000
26
Наукова стаття
UML – сучасна універсальна мова моделювання: історія, специфікація, бібліографія
Буй Дмитро Борисович
Шишацька Олена Володимирівна
2007
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
c.122.0000
27
Наукова стаття
UML: історія, специфікація, бібліографія / http://it.ridne.net/compuscience
Буй Дмитро Борисович
Шишацька Олена Володимирівна
2007
Електронний варіант
28
Праці конференції
UML: история, специфікация, бібліографія
Буй Дмитро Борисович
Шишацька Олена Володимирівна
2007
Knowledge - Dialogue - Solution (KDS): International Conference
c.309.0000
29
Тези
UML – сучасна мова моделювання: історія, специфікація, бібліографія
Буй Дмитро Борисович
Шишацька Олена Володимирівна
2007
Intern. Conf. "Dynamical system modelling and stability investigation". Kyiv
30
Тези
Три замечания о трехзначной логике Клини
Буй Дмитро Борисович
Поляков Сергій Анатолійович
Шишацька Олена Володимирівна
2007
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.47.0000

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

Вгору