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

Кривий Сергій Лук'янович
Sergii L. Krivyi

Ідентифікатор автора: 35013
Author Identifier Number Scopus: 6507364579 →
Кількість пошукових запитів автора: 1306
Інформація про автора в енциклопедії університету (eu.univ.kiev.ua) →

Підрозділ: Факультет комп'ютерних наук та кібернетики
Кафедра/Відділ: Інформаційних систем
Посада: професор

Науковий ступінь: доктор
Наукове звання: професор
Наукові інтереси: теорія автоматів / теорія мереж Петрі / верифікація програмного забезпечення / дискретна математика / теорія складності обчислень / технології створення програмних продуктів / прикладна математична логіка / теорія графів / криптографія /

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


Всього публікацій у базі - 85, з них наукових статей (наукові публікації) - 51, монографій - 4, підручників - 3, навчальних посібників - 2, тез (наукові публікації) - 2, матеріалів конференцій (наукові публікації) - 2

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

Публікації

Тип
Назва документу
Автори
Рік видання
Джерело
1
Матеріали конференції
A Formalized Approach to Verify GPGPU Applications. Part 1
Кривий Сергій Лук'янович
Погорілий Сергій Дем'янович
Слинько Максим Сергійович
2018
Proceedings of the 6th International Conference on Control and Optimization with Industrial Applications, Volume 1, July 11-13, 2018, Baku, Azerbaijan
т.1 в.2018 c.303-305
2
Матеріали конференції
A Formalized Approach to Verify GPGPU Applications. Part 2
Кривий Сергій Лук'янович
Погорілий Сергій Дем'янович
Слинько Максим Сергійович
2018
Proceedings of the 6th International Conference on Control and Optimization with Industrial Applications, Volume 1, July 11-13, 2018, Baku, Azerbaijan
т.1 в.2018 c.306-308
3
Монографія
Алгебраїчні аспекти інформаційних технологій
Кривий Сергій Лук'янович
Провотар Олександр Іванович
2018
Інтерсервіс
в.2
4
Навчальний посібник
Збірник задач з дискретної математики
Кривий Сергій Лук'янович
2018
Букрек
5
Навчальний посібник
Вступ до методів створення програмних продуктів
Кривий Сергій Лук'янович
2018
Видавничий дім «Києво-Могилянська академія»
6
Наукова стаття
Онтологоподібні системи аналізу природномовних текстів
Дарчук Наталія Петрівна
Кривий Сергій Лук'янович
Провотар Олександр Іванович
2018
Проблеми програмування
в.2-3 c.132-139
7
Наукова стаття
Формалізований метод проектування застосувань в технології GPGPU
Кривий Сергій Лук'янович
Погорілий Сергій Дем'янович
Слинько Максим
2018
Проблеми програмування
т.2 в.2018 c.12-20
8
Наукова стаття
Проектирование ИТ-инфраструктуры
Бойко Юрій Володимирович
Кривий Сергій Лук'янович
Погорілий Сергій Дем'янович
2018
Кибернетика и системный анализ (КиСА)
т.54 в.6 c.141-158
9
Наукова стаття
Разделение множества векторов с целыми неотрицательными координатами с использованием логических аппаратных средств
Кривий Сергій Лук'янович
2018
Кибернетика и системный анализ (КиСА)
т.54 в.2 c.150-159
10
Наукова стаття
Реализация алгоритма решения систем линейных уравнений над конечными кольцами
Кривий Сергій Лук'янович
Антонюк Василь Тарасович
2017
Управляющие системы и машины (УСиМ)
в.6 c. 55-64
11
Наукова стаття
Формирование обучающих выборок для синтеза адаптивной логической сети типа "Трапецеидальная матрица"
Кривий Сергій Лук'янович
2018
Information Technologies and Knowledge
т.12 в.1 c.56-71
12
Тези
Композиційний метод проектування ІТ-інфраструктур з використанням розмічених транзиційних систем
Кривий Сергій Лук'янович
Погорілий Сергій Дем'янович
2017
Сучасна інформатика: проблеми, досягнення та перспективи розвитку. Тези доповідей Міжнародної наукової конференції, присвяченої 60-річчю заснування Інституту кібернетики імені В.М. Глушкова НАН України. Україна, Київ, 13–15 грудня 2017 р.
т.1 в.2017 c.211-213
13
Тези
Методологія проектування застосувань в технології GPGPU
Кривий Сергій Лук'янович
Погорілий Сергій Дем'янович
2018
System Analysis and Information Technology: International Conference
c.11-12
14
Наукова стаття
Формализованные онтологические модели: представление и операции
Кривий Сергій Лук'янович
Головіна Олександра Леонідівна
Соляр Ганна Сергіївна
2016
Журнал "Інженерія програмного забезпечення"
т.25 в.1 c.5-16
15
Наукова стаття
Методы и средства представления знаний
Дарчук Наталія Петрівна
Кривий Сергій Лук'янович
Головіна Олександра Леонідівна
Соляр Ганна Сергіївна
2017
International journal “Information Content and Processing”
т.4 в.1 c.62-99
16
Наукова стаття
Синтез нейроподобных сетей на основе преобразований циклических кодов Хемминга
Кривий Сергій Лук'янович
2017
Кібернетика і системний аналіз
т.53 в.4 c.627-635
17
Наукова стаття
Проектування грід-структур на основі транзиційних систем з обгрунтуванням правильності їх функціонування
Бойко Юрій Володимирович
Борецький Олександр Францович
Глибовець Микола Миколайович
Кривий Сергій Лук'янович
Погорілий Сергій Дем'янович
2017
Кібернетика і системний аналіз
т.53 в.1 c.122-133
18
Наукова стаття
Design Grid services for running virtual machines as computer task based on transition systems
Бойко Юрій Володимирович
Борецький Олександр Францович
Глибовець Микола Миколайович
Кривий Сергій Лук'янович
Погорілий Сергій Дем'янович
2017
Scientific Journal “Proceeding of İnstitute of Applied Mathematics"
т.6 в.1 c.54-73
19
Наукова стаття
Resource and Energy Optimization Oriented Development of FPGA-Based Adaptive Logical Networks for Classification Problem
Кривий Сергій Лук'янович
2017
Studies in Systems, Decision and Control
т.105 c.195-218
20
Наукова стаття
Design of Grid Structures on the Basis of Transition Systems with the Substantiation of the Correctness of Their Operation
Бойко Юрій Володимирович
Борецький Олександр Францович
Глибовець Микола Миколайович
Кривий Сергій Лук'янович
Погорілий Сергій Дем'янович
2017
Cybernetics and Systems Analysis
т.53 в.1 c.105-114
21
Наукова стаття
Design of GRID services for running virtual machines as computing task based on transition systems
Бойко Юрій Володимирович
Борецький Олександр Францович
Глибовець Микола Миколайович
Кривий Сергій Лук'янович
Погорілий Сергій Дем'янович
2017
Proceedings of IAM
т.6 в.1 c.54-73
22
Підручник
Дискретна математика 2-ге видання
Кривий Сергій Лук'янович
2017
Букрек
23
Наукова стаття
Синтез многоуровневых структур со многими выходами
Кривий Сергій Лук'янович
2016
Проблеми програмування
в.2-3 c.3-13
24
Наукова стаття
Алгоритмы решения систем линейных уравнений в кольце вычетов
Кривий Сергій Лук'янович
2016
Кібернетика і системний аналіз
в.5 c.149-160
25
Наукова стаття
Линейные ограничения и методы их решения
Кривий Сергій Лук'янович
2016
Information Theories & Applications
т.23 в.2 c.103-199
26
Наукова стаття
Формализованные онтологические модели в научных исследованиях
Кривий Сергій Лук'янович
2016
Управляющие системы и машины (УСиМ)
в.4 c.3-16
27
Наукова стаття
Method synthesis of the configurable logical blocks on basis of universal logical elements
Кривий Сергій Лук'янович
2016
Радіоелектронні і комп'ютерні системи
в.5 c.93-97
28
Праці конференції
Algorithms Synthesis of the Adaptive Logical Network on Basis of Universal Logical Elements
Кривий Сергій Лук'янович
2016
13th International Conference Pattern Recognition and Information Processing
c.16-20
29
Монографія
Лінійні діофантові обмеження та їх застосування
Кривий Сергій Лук'янович
2015
Букрек
c.1-222
30
Монографія
Методи та новітні підходи до проектування, управління і застосування високопродуктивних ІТ-інфраструктур
Бойко Юрій Володимирович
Волохов Віктор Миколайович
Глибовець Микола Миколайович
Єршов Сергій Володимирович
Кривий Сергій Лук'янович
2015
ВПЦ "Київський університет"
c.1-376
31
Монографія
Методи та новітні підходи до проектування, управління і застосування високопродуктивних ІТ-інфраструктур
Бойко Юрій Володимирович
Волохов Віктор Миколайович
Глибовець Микола Миколайович
Єршов Сергій Володимирович
Кривий Сергій Лук'янович
Погорілий Сергій Дем'янович
2015
ВПЦ "Київський університет"
c.448
32
Наукова стаття
К вопросу построения знание-ориентированных компьютерных систем для научных исследований
Кривий Сергій Лук'янович
2015
Управляющие системы и машины (УСиМ)
т.2 c.64-73
33
Наукова стаття
Методы исследования свойств высокопроизводительных инфраструктур. Обзор
Бойко Юрій Володимирович
Глибовець Микола Миколайович
Єршов Сергій Володимирович
Крак Юрій Васильович
Кривий Сергій Лук'янович
Погорілий Сергій Дем'янович
2015
Управляющие системы и машины (УСиМ)
т.1 c.3-13
34
Наукова стаття
Управління високопродуктивними ІТ-інфраструктурами
Бойко Юрій Володимирович
Глибовець Микола Миколайович
Єршов Сергій Володимирович
Кривий Сергій Лук'янович
Погорілий Сергій Дем'янович
2015
Вісник Національного технічного університету України “КПІ”. Серія “Інформатика, управління та обчислювальна техніка”
c.121-141
35
Наукова стаття
Разработка, исследование и представление функций и операций на онтологиях
Кривий Сергій Лук'янович
2015
Information Theories & Applications
т.22 c.1030114
36
Наукова стаття
Синтез адаптивних логических сетей на основе полиномов Жегалкина
Кривий Сергій Лук'янович
2015
37
Наукова стаття
Моделювання компонентів базового програмного забезпечення розподілених середовищ
Бойко Юрій Володимирович
Волохов Віктор Миколайович
Глибовець Микола Миколайович
Єршов Сергій Володимирович
Кривий Сергій Лук'янович
2015
Наукові праці: Науково-методичний журнал.Комп’ютерні технології. – Миколаїв : Вид-во ЧДУ ім. Петра Могили
т.250 c.6-14
38
Наукова стаття
Управління високопродуктивними ІТ інфраструктурами
Бойко Юрій Володимирович
Волохов Віктор Миколайович
Глибовець Микола Миколайович
Єршов Сергій Володимирович
Кривий Сергій Лук'янович
2015
Вісник Національного технічного університету України “КПІ”. Серія “Інформатика, управління та обчислювальна техніка”
т.61 c.120-1
39
Тези
Онтологический поход к выполнению научных и прикладных исследований
Кривий Сергій Лук'янович
2015
Международный научно-практический форум «Наука и бизнес»
c.155-161
40
Наукова стаття
Разработка и обоснование алгоритмов на основе семантических свойств
Кривий Сергій Лук'янович
Максимець Олександр Миколайович
2014
Проблеми програмування
т.2 c.151-159
41
Наукова стаття
Метод синтеза структур для преобразований циклического кода на основе FPGA
Кривий Сергій Лук'янович
2014
Электронное моделирование
т.36 c.1-22
42
Наукова стаття
Analysis and processing of the text information aimed at extracting basis knowledge
Кривий Сергій Лук'янович
Шевченко Володимир Петрович
2014
International journal “Information Content and Processing”
т.1 c.28-36
43
Наукова стаття
Комбинаторный метод решения систем линейных ограничений
Кривий Сергій Лук'янович
2014
44
Наукова стаття
Алгоритмы решения систем линейных диофантовых уравнений 2
Кривий Сергій Лук'янович
2014
Журнал "Інженерія програмного забезпечення"
т.2 c.1-14
45
Наукова стаття
Прямая задача синтеза логических сетей
Кривий Сергій Лук'янович
2014
Decision Making and Business Intelligence Strategies and Techniques. Supplement to International Journal "Information Technologies and Knowledge"
т.8 c.3-13
46
Підручник
Дискретна математика
Кривий Сергій Лук'янович
2014
Букрек
c.1-568
47
Підручник
Дискретна математика
Кривий Сергій Лук'янович
Ченцов Олексій Ілліч
Шевченко Володимир Петрович
2014
Букрек
c.1-568
48
Program Invariants Generation over Polynomial Ring using Iterative Methods.
Кривий Сергій Лук'янович
Максимець Олександр Миколайович
2013
International Journal Information Theories and Applications 2013
т.20 c.113.0000
49
Формальные методы верфикикации на основе сетей Петри.
Кривий Сергій Лук'янович
Максимець Олександр Миколайович
2013
TAAPSD 2012
т.1 c.75.0000
50
Наукова стаття
Аналіз властивостей мереж Петрі.
Кривий Сергій Лук'янович
Максимець Олександр Миколайович
2013
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.1 c.121.0000
51
Наукова стаття
Архитектурно-структурные особенности средств автоматизации процесса извлечения знаний из естественно-языковых текстов
Кривий Сергій Лук'янович
2013
Intern. Journal “Information Technologies & Knowledge”
т.7 c.261.0000
52
Наукова стаття
Верификация программ: состояние, проблемы, результаты II
Кривий Сергій Лук'янович
Максимець Олександр Миколайович
2014
53
Праці конференції
Аппаратная реализация преобразований циклического кола Хэмминга на базе FPGA.Труды 15-й Всерос-сийской научно-тех-нической конф. «Нейроинформатика-2013».-Москва
Кривий Сергій Лук'янович
2013
Current problems in information and computational technologies
т.3 c.203.0000
54
Праці конференції
Комбинаторный метод решения систем линейных ограничений в дискретных и непрерывных областях. Труды межд. конф. «Соврем. информатика: проблемы, достижения и перспект. развития». Киев. – ИК НАНУ.- 2013
Кривий Сергій Лук'янович
2013
Current problems in information and computational technologies
c.31.0000
55
Праці конференції
Analysis and processing of the text information aimed at extracting basis knowledge. Inern. conf. “Natural Infiormation Technologies (NIT)”. – Spain. - Madrid. – 2013.
Кривий Сергій Лук'янович
2013
Current problems in information and computational technologies
c.1.0000
56
Тези
К вопросу проектирования знание-ориентированной информационной системы (онтологический аспект). Межд. Конф. «Современ. информ. и электрон. технол. (СИЭТ -2013)», Одесса, 2013 (май 27-31)
Кривий Сергій Лук'янович
2013
Current problems in information and computational technologies
c.87.0000
57
Наукова стаття
Разделение полного множества значений булевых функций на основе заданного порога и порогового отношения
Кривий Сергій Лук'янович
2012
58
Наукова стаття
Итеративный подход к анализу естественно-языковых текстов: логический аспект
Кривий Сергій Лук'янович
2012
Проблеми програмування
c.0.0000
59
Наукова стаття
Формализация проблемы извлечения знаний из естественно-языковых текстов
Кривий Сергій Лук'янович
2012
Невідоме
т.6 c.203.0000
60
Наукова стаття
ФОРМАЛИЗАЦИЯ ПРОБЛЕМЫ ИЗВЛЕЧЕНИЯ ЗНАНИЙ ИЗ ЕСТЕСТВЕННО-ЯЗЫКОВЫХ ТЕКСТОВ,Міжнародна конференція «Information-Interaction-Intellect», Варна, Болгарія
Кривий Сергій Лук'янович
2012
Information Models & Analyses
т.1 c.0.0000
61
Тези
Проблемы подготовки специалистов в области IT и компьютерных наук, Меж. науч.-техн. Конф. «Компьютерные науки: образование, наука, практика», г. Николаев14–16 июня. –2012.
Кривий Сергій Лук'янович
2012
62
Наукова стаття
Абстрактні типи даних як многоосновні алгебраїчні системи
Кривий Сергій Лук'янович
2010
63
Наукова стаття
Абстрактні типи даних як многоосновні алгебраїчні системи I
Кривий Сергій Лук'янович
2010
64
Наукова стаття
Теория автоматов в информационных технологиях
Кривий Сергій Лук'янович
2011
65
Наукова стаття
Многоосновные алгебры, абстрактные типы данных и трансфинитная рекурсия
Кривий Сергій Лук'янович
2011
66
Наукова стаття
Розробка методів та засобів онтолого-лінгвістичного аналізу природомовних об’єктів - Препринт 2009-2, НАН України, Інститут кібе-рнетики ім.. В.М. Глу-шкова. Київ. -2009.-36с.
Величко Віталій Юрійович
Кривий Сергій Лук'янович
2009
67
Праці конференції
Алгебро-логічний підхід до аналізу та обробки текстової інформації - Тр. 7-й межд.конф. «УКРПРОГ-2010», 2010, Киев, 25-27 мая
Кривий Сергій Лук'янович
2010
Проблеми програмування
c.318.0000
68
Наукова стаття
Алгоритм построения базиса множеств решений системы линейных диофантовых уравнений в кольце целых чисел
Кривий Сергій Лук'янович
2009
69
Наукова стаття
Знание-ориентированные информационные системы с обработкой естественно-языковых объектов: основы методологии и архитектурно-структурная организация
Кривий Сергій Лук'янович
2009
Управляющие системы и машины (УСиМ)
c.42.0000
70
Наукова стаття
Исследование свойств документов MSC при помощи преобразования их в сети Петри
Кривий Сергій Лук'янович
2009
71
Наукова стаття
Обработка предложений естественного языка с использованием словарей и частоты появления слов
Кривий Сергій Лук'янович
2009
Information Science & Computing. Intern. Book Series. – Intelligent Processing. – ITHEA
c.44.0000
72
Наукова стаття
К анализу естественно-языковых объектов
Величко Віталій Юрійович
Кривий Сергій Лук'янович
2009
Information Science & Computing. Intern. Book Series. – Intelligent Processing. – ITHEA
c.36.0000
73
Наукова стаття
Концептуальные графы и семантические сети в системах обработки естественно-языковой информации
Величко Віталій Юрійович
Кривий Сергій Лук'янович
2009
Математические машины и системы
c.67.0000
74
Наукова стаття
Алгоритмы построения предбазиса множества решений систем линейных диофантовых ограничений в дискретных областях.
Кривий Сергій Лук'янович
2009
Известия РАН. Серия: Математика
т.2 c.82.0000
75
Праці конференції
Проверка совместности систем линейных неоднородных диофантовых уравнений в множестве натуральных чисел. - Праці Міжн. Сим поз. «Питання оптим. Oбч. (ПОО-ХХХV)», Україна, Крим, Велика Ялта, смт. Кацивелі. 24-29 вересня 2009 р.
Кривий Сергій Лук'янович
2009
76
Праці конференції
Необходимые условия существования решений уравнения в множестве натуральных чисел . - Праці угаїнк. Симпозіуму «Питання оптим. Oбч. (ПОО-ХХХV)», Україна, Крим, Велика Ялта, смт. Кацивелі. 24-29 вересня 2009 р., С. 287-293
Кривий Сергій Лук'янович
2009
77
Праці конференції
Модель системи аналізу та обробки текстової інфор-мації силогістичного харак-теру, Теорія прийняття рі-шень. 4 Міжн. школа-семінар. Ужгород, (29.09-04.10). 2008.
Кривий Сергій Лук'янович
2008
78
Праці конференції
Алгоритм проверки противоречивости множества дизъюнктов в исчислении высказываний
Кривий Сергій Лук'янович
2008
Проблеми програмування
c.25.0000
79
Праці конференції
О алгоритме перевода документов MSC в сети Петри
Кривий Сергій Лук'янович
2008
Проблеми програмування
c.587.0000
80
Праці конференції
Ontology View on Automata Theory
Кривий Сергій Лук'янович
2008
Information Theories & Applications
т.15 c.337.0000
81
Праці конференції
Extended of Algorithm of translation of MSC-specified System into Petri Net - Slovakia, Koshice,Technical university of Koshice.-2008
Кривий Сергій Лук'янович
2008
82
Праці конференції
Converting of MSC documents to Petri Nets - Proceedings of the “Concurency, Specification and Programming CS&P’2008”.Berlin. Humbold’s University.-2008
Кривий Сергій Лук'янович
2008
83
Праці конференції
Extended Algorithm for Translation of MSC-Diagram into Petri Nets
Кривий Сергій Лук'янович
2008
Intern. Book Series "Algorithmic and Mathematical Foundation of the Artificial Intelligence"
c.68.0000
84
Праці конференції
Автоматное представление онтологий и операции на онтологиях
Кривий Сергій Лук'янович
2008
Intern. Book Series "Algorithmic and Mathematical Foundation of the Artificial Intelligence"
c.173.0000
85
Праці конференції
Алгоритмы решения систем линейных диофантовых уравнений в дискретных областях
Кривий Сергій Лук'янович
2008
Intern. Book Series "Artificial Intelligence and Decision Making"
c.173.0000

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

Вгору