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

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

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

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

Науковий ступінь: кандидат

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


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

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

Публікації

Тип
Назва документу
Автори
Рік видання
Джерело
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
Тези
Задача розв'язності формул в теорії номінальних даних
Омельчук Людмила Леонідівна
Шишацька Олена Володимирівна
2019
Логіка та її застосування (UCLA): Українська наукова конференція
в.1 c.133-134
9
Наукова стаття
Семантичні властивості п’ятизначних логік
Нікітченко Микола Степанович
Шишацька Олена Володимирівна
2018
Проблеми програмування
т.1 c.22-35
10
Наукова стаття
П’ятизначні логіки: побудова та інтерпретація
Шишацька Олена Володимирівна
2017
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
в.4 c.147-151
11
Наукова стаття
Логики частичных предикатов, индуцированные трехзначными логиками Клини
Шишацька Олена Володимирівна
2016
Штучний інтелект
в.1 c.43-47
12
Наукова стаття
Рефлексивно-транзитивные замыкания бинарных отношений
Шишацька Олена Володимирівна
2016
Электротехнические и компьютерные системы
в.22(98)
13
Наукова стаття
Математические основания множественного наследования: рефлексивно-транзитивное замыкание
Шишацька Олена Володимирівна
2016
Вісник Харківського національного університету ім. В.Н. Каразіна
т.28
14
Наукова стаття
Mathematical Foundations of Multiple Inheritance: Reflexive-transitive Closure of the Binary Relations
Шишацька Олена Володимирівна
2016
Perspective technologies and methods in mems design: International conference
т.1
15
Наукова стаття
Математические основания множественного наследования: рефлексивно-транзитивное замыкание
Шишацька Олена Володимирівна
2016
Міжнародний науково-практичний семінар -"Комбінаторні конфігурації та їх застосування"
16
Наукова стаття
Логики частичных предикатов, индуцированные трехзначными логиками Клини
Шишацька Олена Володимирівна
2015
Штучний інтелект та інтелектуальні системи: Міжнародна науково-технічна конференція (AIIS)
c.67-72
17
Наукова стаття
Відношення конфіальності, передпорядки та порядки, семантика фрази ORDER BY запитів SQL-подібних мов
Шишацька Олена Володимирівна
2015
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.4 c.88-96
18
Наукова стаття
Деякі питання специфікацій обмежень при проектуванні програмних систем
Сільвейструк Людмила Миколаївна
Шишацька Олена Володимирівна
2013
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
т.1 c.148.0000
19
Наукова стаття
Обмеження атрибутів в моделях даних
Сільвейструк Людмила Миколаївна
Шишацька Олена Володимирівна
2013
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.1 c.288.0000
20
Наукова стаття
Класифікація моделей даних
Поляков Сергій Анатолійович
Сільвейструк Людмила Миколаївна
Шишацька Олена Володимирівна
2012
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.3 c.223.0000
21
Наукова стаття
Уніфікована модель даних на основі підходу «сутність-зв’язок»
Поляков Сергій Анатолійович
Сільвейструк Людмила Миколаївна
Шишацька Олена Володимирівна
2012
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.4 c.189.0000
22
Праці конференції
Використання парадигми «сутність-зв’язок» для задання моделей даних
Поляков Сергій Анатолійович
Сільвейструк Людмила Миколаївна
Шишацька Олена Володимирівна
2012
TAAPSD 2012
c.245.0000
23
Наукова стаття
Трьохзначні логіки Кліні та трьохелементні ланцюги
Шишацька Олена Володимирівна
2007
Вісник Київського національного університету імені Тараса Шевченка. Хімія
c.230.0000
24
Праці конференції
Three-valued Kleene logic and three-element chains. Proceedings of the CSE 2008
Шишацька Олена Володимирівна
2008
25
Тези
Класифікація мов та методів формальних специфікацій програмних систем. Abstracts of International Conference TAAPSD’2008
Нікітченко Микола Степанович
Омельчук Людмила Леонідівна
Шишацька Олена Володимирівна
2008
26
Тези
Трехзначные логики Клини и трехэлементные цепи
Шишацька Олена Володимирівна
2008
Intern. Book Series "Algorithmic and Mathematical Foundation of the Artificial Intelligence"
т.2 c.165.0000
27
Наукова стаття
UML – сучасна універсальна мова моделювання: історія, специфікація, бібліографія
Шишацька Олена Володимирівна
2007
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
c.122.0000
28
Наукова стаття
UML: історія, специфікація, бібліографія / http://it.ridne.net/compuscience
Шишацька Олена Володимирівна
2007
Електронний варіант
29
Праці конференції
UML: история, специфікация, бібліографія
Шишацька Олена Володимирівна
2007
Knowledge - Dialogue - Solution (KDS): International Conference
c.309.0000
30
Тези
UML – сучасна мова моделювання: історія, специфікація, бібліографія
Шишацька Олена Володимирівна
2007
Intern. Conf. "Dynamical system modelling and stability investigation". Kyiv
31
Тези
Три замечания о трехзначной логике Клини
Поляков Сергій Анатолійович
Шишацька Олена Володимирівна
2007
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.47.0000

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

Вгору