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

Іванов Євген В’ячеславович
Ivanov Evgen Vyacheslavovych

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

Підрозділ: Факультет інформаційних технологій
Кафедра/Відділ: Програмних систем і технологій
Посада: Асистент

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

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


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

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

Публікації

Тип
Назва документу
Автори
Рік видання
Джерело
1
Наукова стаття
Корпоративна інформаційна система управління інформацією підприємств і проекттів (PrimaDoc)
Єгорченков Олексій Володимирович
Іванов Євген В’ячеславович
Кубявка Любов Богданівна
Тесля Юрій Миколайович
Хлевна Юлія Леонідівна
2018
Свідоцтво №75910 Державного сектору Міністерства економічного розвитку і торгівлі України
2
Наукова стаття
On algebras of algorithms and specifications over uninterpreted data
Іванов Євген В’ячеславович
Нікітченко Микола Степанович
2018
FORMALIZED MATHEMATICS
в.26 (2) c.143-147
3
Наукова стаття
On the Sequence Rule for the Floyd-Hoare Logic with Partial Pre- and Post-Conditions
Іванов Євген В’ячеславович
Нікітченко Микола Степанович
2018
Proceedings of the 14th International Conference on ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer. Volume II: Workshops
в.2104 c.716-724
4
Наукова стаття
Kleene algebra of partial predicates
Іванов Євген В’ячеславович
Нікітченко Микола Степанович
2018
FORMALIZED MATHEMATICS
в.26 (1) c.11-20
5
Наукова стаття
On Formalization of Semantics of Real-Time and Cyber-Physical Systems
Іванов Євген В’ячеславович
Нікітченко Микола Степанович
Панченко Тарас Володимирович
2018
Advances in Computer Science for Engineering and Education
в.754 c.213-223
6
Наукова стаття
Implementation of the Composition-nominative Approach to Program Formalization in Mizar
Іванов Євген В’ячеславович
Криволап Андрій Володимирович
Нікітченко Микола Степанович
2018
Computer Science Journal of Moldova
в.26 c.59-76
7
Наукова стаття
Extended Floyd-Hoare logic over relational nominative data
Іванов Євген В’ячеславович
Криволап Андрій Володимирович
Нікітченко Микола Степанович
2018
Communications in Computer and Information Science
в.826 c.41-64
8
Тези
On Implementation of the Composition-nominative Approach to Program Formalization in Mizar System
Іванов Євген В’ячеславович
2017
The XIV International Conference "Theoretical and Applied Aspects of Program Systems Development" TAAPSD'2017, Kyiv, December 4-8, 2017
9
Тези
On inductive definitions on non-well-ordered domains and their potential applications to verification of cyber-physical systems
Іванов Євген В’ячеславович
2018
Прикладні системи та технології в інформаційному суспільстві: зб. тез доповідей і наук. повідомл. учасників ІІ Міжнародної науково-практичної конференції (Київ, 1 жовтня 2018 р.)
c.67
10
Матеріали конференції
Інтеграція системи управління інформацією підприємства з системою управління геологічними проектами
Єгорченков Олексій Володимирович
Іванов Євген В’ячеславович
Тесля Юрій Миколайович
2017
XVI Міжнародна конференція "Геоінформатика: теоретичні та прикладні аспекти" 15-18 травня 2017,Київ,Україна
c.6
11
Монографія
Формальные методы построения параллельных программ: научная монография
Жереб Костянтин Анатолійович
Іванов Євген В’ячеславович
Нікітченко Микола Степанович
2016
ФО-П Александрова М.В.
12
Наукова стаття
On the Underapproximation of Reach Sets of Abstract Continuous-Time Systems
Іванов Євген В’ячеславович
2017
Electronic Proceedings in Theoretical Computer Science
c.46-51
13
Наукова стаття
A Formal Proof of Correctness of a Distributed Presentation Software System
Іванов Євген В’ячеславович
2017
International Conference ICTERI
c.467-487
14
Наукова стаття
An Approach To Formalization of an Extension of Floyd-Hoare Logic
Іванов Євген В’ячеславович
2017
International Conference on ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer (Workshop on Algebraic, Logical, and Algorithmic Methods of System Modeling, Specification and Verification (SMSV))
c.504-523
15
Наукова стаття
Nominative data with ordered set of names
Іванов Євген В’ячеславович
Нікітченко Микола Степанович
2017
Computer Science Journal of Moldova
т.25 c.195-216
16
Наукова стаття
Formalization of the Nominative Algorithmic Algebra in Mizar
Іванов Євген В’ячеславович
Нікітченко Микола Степанович
2017
Advances in Intelligent Systems and Computing
c.176-186
17
Наукова стаття
Simple Named-complex valued nominative data - definition and basic operation
Іванов Євген В’ячеславович
2017
FORMALIZED MATHEMATICS
c.-
18
Наукова стаття
Formalization of the Algebra of Nominative Data in Mizar
Іванов Євген В’ячеславович
2017
Federated Conference on Computer Science and Information Systems: International conference
19
Наукова стаття
PrimaDoc – an enterprise information management system: implementation of the development and deployment project
Іванов Євген В’ячеславович
Кубявка Любов Богданівна
Латишева Тетяна Володимирівна
Тесля Юрій Миколайович
Хлевна Юлія Леонідівна
2017
IEEE International conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Application (IDAACS)
т.2 c.928-934
20
Наукова стаття
On a Decidable Formal Theory for Abstract Continuous-Time Dynamical Systems
Іванов Євген В’ячеславович
Нікітченко Микола Степанович
2014
Communications in Computer and Information Science
т.469 c.78-99
21
Наукова стаття
On Algebraic Properties of Nominative Data and Functions
Іванов Євген В’ячеславович
Нікітченко Микола Степанович
2014
Communications in Computer and Information Science
т.469 c.117-138
22
Наукова стаття
On Representation of Abstract Systems with Partial Inputs and Outputs
Іванов Євген В’ячеславович
2014
Lecture Notes in Computer Science
т.8402 c.104-123
23
Праці конференції
Анализ строения множества именных множеств
Іванов Євген В’ячеславович
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2014
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
т.11 c.133-137
24
Тези
On a Strong Notion of Viability for Switched Systems
Іванов Євген В’ячеславович
2015
Proceedings of the 11th International Conference on ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer (ICTERI), May 14-16, 2015
c.396-407
25
Тези
On classes of quasi-ary functions
Іванов Євген В’ячеславович
2014
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.128-132
26
Тези
On Nominative Glushkov Algebras
Іванов Євген В’ячеславович
Нікітченко Микола Степанович
2014
Матеріали Всеукраїнської науково-практичної конференції В.М. Глушков – піонер кібернетики, 11 грудня 2014 р.
c.48-49
27
Тези
Algebraic Properties of Nominative Data
Іванов Євген В’ячеславович
Нікітченко Микола Степанович
2014
Proceedings of the International Algebraic Conference dedicated to the 100th anniversary of L.A. Kaluzhnin, 7-12 July 2014
c.36-36
28
Наукова стаття
On Existence of Total Input-Output Pairs of Abstract Time Systems
Іванов Євген В’ячеславович
2013
Communications in Computer and Information Science
т.412 c.308-331
29
Наукова стаття
Possibilistic Modeling of Dynamic Uncertain Processes
Бичков Олексій Сергійович
Іванов Євген В’ячеславович
2013
Nonlinear Dynamics and Systems Theory
т.3 c.229-241
30
Тези
An Abstract Block Formalism for Engineering Systems
Іванов Євген В’ячеславович
2013
Proceedings of the 9th International Conference on ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer (ICTERI) June 19-22, 2013
c.448-463
31
Тези
On a strong notion of causality in nondeterministic input-output systems
Іванов Євген В’ячеславович
2013
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.66-68
32
Наукова стаття
A criterion for existence of global-in-time trajectories of non-deterministic Markovian systems
Іванов Євген В’ячеславович
2012
Communications in Computer and Information Science
т.347 c.111-130
33
Наукова стаття
Hybrid possibilistic systems with nondeterministic continuous evolutions and switchings
Іванов Євген В’ячеславович
Нікітченко Микола Степанович
2012
Acta Electrotechnica et Informatica
т.12 c.49-59
34
Наукова стаття
Підхід до композиції абстрактних систем обробки сигналів
Іванов Євген В’ячеславович
2012
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.4 c.110-115
35
Тези
A language for composing real-time software components
Іванов Євген В’ячеславович
2012
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.8-14
36
Тези
On Existence of Global-in-Time Trajectories of Non-deterministic Markovian Systems
Іванов Євген В’ячеславович
2012
Proceedings of the 8th International Conference on ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer (ICTERI) June 6-10, 2012
c.312-320
37
Наукова стаття
Теоретико-возможностный подход к моделированию систем нечеткой структуры
Бичков Олексій Сергійович
Іванов Євген В’ячеславович
Касьянюк Веда Станіславівна
2012
Математические машины и системы
c.115.0000
38
Наукова стаття
Оптимальная нижняя оценка для значений продолжения меры возможности на булеан множества элементарных событий
Бичков Олексій Сергійович
Іванов Євген В’ячеславович
2011
39
Наукова стаття
Операційна семантика програм обробки складноіменних даних
Іванов Євген В’ячеславович
2011
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.1 c.133-136
40
Тези
Possibilistic models of hybrid systems with nondeterministic continuous evolutions and switchings
Іванов Євген В’ячеславович
Нікітченко Микола Степанович
2011
Proceedings of International Scientific Conference INFORMATICS’2011 – 16-18 November 2011
c.231-236
41
Тези
Proving behavioral properties of distributed algorithms using their compositional semantics
Іванов Євген В’ячеславович
Нікітченко Микола Степанович
2011
Proceedings of the First International Seminar “Specification and Verification of Hybrid Systems”, October 10-12, 2011, Taras Shevchenko University of Kyiv
c.9-19
42
Тези
Semantics and reasoning for real-time programming languages
Іванов Євген В’ячеславович
2011
Proceedings of the First International Seminar “Specification and Verification of Hybrid Systems”, October 10-12, 2011, Taras Shevchenko University of Kyiv
c.85-94
43
Тези
Formalization and reasoning for real-time programming languages
Іванов Євген В’ячеславович
Нікітченко Микола Степанович
2011
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.8-10
44
Тези
Possibilistic modeling of a special class of hybrid systems
Іванов Євген В’ячеславович
Нікітченко Микола Степанович
2011
Dynamical System Modeling and Stability Investigation: International Conference
c.25-27
45
Наукова стаття
Композиційно-номінативні мови програм з асоціативним розіменуванням
Іванов Євген В’ячеславович
Нікітченко Микола Степанович
2010
Вісник Львівського університету. Серія прикладна математика та інформатика
т.16 c.124-139
46
Наукова стаття
О существовании решений уравнения Ляпунова на конусе
Бичков Олексій Сергійович
Іванов Євген В’ячеславович
2010
Управляющие системы и машины (УСиМ)
т.5 c.15-26
47
Наукова стаття
Властивості алгебр складноіменних даних
Іванов Євген В’ячеславович
2010
Наукові записки НаУКМА. Комп’ютерні науки
т.112 c.95-102
48
Наукова стаття
Стабільність та монотонність програм відносно структурних трансформацій даних
Іванов Євген В’ячеславович
Нікітченко Микола Степанович
2010
Проблеми програмування
т.2 c.58-67
49
Тези
New sufficient conditions for stability of equilibrium points of Hybrid Automata // XI Международная конференция "Устойчивость и колебания нелинейных систем управления" (конференция Пятницкого), Москва, Россия, 1-4 июня 2010 г.
Бичков Олексій Сергійович
Іванов Євген В’ячеславович
2010
Тезисы докладов XI Международной конференции “Устойчивость и колебания нелинейных систем управления”, ИПУ РАН, 1-4 июня 2010 г.
c.79-80
50
Тези
Modeling programs over complex-named data by term rewriting systems
Іванов Євген В’ячеславович
Нікітченко Микола Степанович
2010
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.40-49
51
Тези
Stability for a class of systems with uncertain structure
Іванов Євген В’ячеславович
2010
Proceedings of the Third International Conference "Nonlinear Dynamics – 2010", 21-24 September 2010
c.90-95
52
Тези
Programming with nominative data
Іванов Євген В’ячеславович
Нікітченко Микола Степанович
2010
Proceedings of CSE’2010 International Scientific Conference on Computer Science and Engineering - 20-22 September 2010
c.30-39
53
Тези
New sufficient conditions for stability of equilibrium points of hybrid automata
Бичков Олексій Сергійович
Іванов Євген В’ячеславович
2010
Тезисы докладов XI Международной конференции “Устойчивость и колебания нелинейных систем управления”, ИПУ РАН, 1-4 июня 2010 г.
c.79-80
54
Тези
Моделирование систем нечёткой структуры
Іванов Євген В’ячеславович
2010
Материалы международной научной конференции “Моделирование-2010”, 12-14 мая 2010 г.
c.78-85
55
Наукова стаття
О сходимости последовательностей нечётких персептивных элементов, заданных на разных пространствах возможностей
Бичков Олексій Сергійович
Іванов Євген В’ячеславович
2010
56
Наукова стаття
Существование согласованного к-аддитивного продолжения мер в теории возможностей
Бичков Олексій Сергійович
Іванов Євген В’ячеславович
2009
Управляющие системы и машины (УСиМ)
т.7 c.35-41
57
Наукова стаття
Чисельне розв'язання нечіткого диференціального рівняння
Бичков Олексій Сергійович
Іванов Євген В’ячеславович
2009
Математичні машини і системи
т.1 c.31-39
58
Тези
Алгебри складноіменних даних
Іванов Євген В’ячеславович
2009
Тези доповідей 6-ї міжнародної наукової конференції TAAPSD 2009, 8-10 грудня 2009 р.
c.191-196
59
Наукова стаття
Чисельне розв'язання нечiткого диференцiального рiвняння
Бичков Олексій Сергійович
Іванов Євген В’ячеславович
2009
Математические машины и системы
c.31.0000
60
Наукова стаття
Исследование устойчивости гибридных автоматов при моделировании движения летательных аппаратов
Бичков Олексій Сергійович
Іванов Євген В’ячеславович
2008
Управляющие системы и машины (УСиМ)
т.5 c.24-28
61
Тези
ВЛАСТИВОСТІ КОМПОЗИЦІЙНО-НОМІНАТИВНИХ МОВ ПРОГРАМ
Іванов Євген В’ячеславович
Нікітченко Микола Степанович
2009
62
Тези
Чисельний метод розв'язання нечітких диференціальних рівнянь
Бичков Олексій Сергійович
Іванов Євген В’ячеславович
2008
Міжнародна наукова конференція імені академіка М. Кравчука
c.502-502
63
Наукова стаття
Алгоритмічні властивості області визначення функцій, заданих скінченними R-перетворювачами
Іванов Євген В’ячеславович
Карнаух Тетяна Олександрівна
2007
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.2 c.145.0000

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

Вгору