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

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

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

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

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

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


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

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

Публікації

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

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

Вгору