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

Криволап Андрій Володимирович
Kryvolap Andrii Volodymyrovych

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

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

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

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


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

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

Публікації

Тип
Назва документу
Автори
Рік видання
Джерело
1
Наукова стаття
Formalization of the Nominative Algorithmic Algebra in Mizar
Криволап Андрій Володимирович
Нікітченко Микола Степанович
2018
Advances in Intelligent Systems and Computing
в.656 c.176-186
2
Наукова стаття
Implementation of the Composition-nominative Approach to Program Formalization in Mizar
Іванов Євген В’ячеславович
Криволап Андрій Володимирович
Нікітченко Микола Степанович
2018
Computer Science Journal of Moldova
в.26 c.59-76
3
Наукова стаття
Extended Floyd-Hoare logic over relational nominative data
Іванов Євген В’ячеславович
Криволап Андрій Володимирович
Нікітченко Микола Степанович
2018
Communications in Computer and Information Science
в.826 c.41-64
4
Наукова стаття
Simple named-complex valued nominative data -- definition and basic operations
Криволап Андрій Володимирович
Нікітченко Микола Степанович
2017
FORMALIZED MATHEMATICS
в.25 c.online
5
Праці конференції
Formalization of the Nominative Algorithmic Algebra in Mizar
Криволап Андрій Володимирович
Нікітченко Микола Степанович
2017
Information Systems Architecture and Technology: Proceedings of thу International Conference on Information Systems Architecture and Technology
c.237-244
6
Праці конференції
An Approach To Formalization of an Extension of Floyd-Hoare Logic
Криволап Андрій Володимирович
Нікітченко Микола Степанович
2017
ICT in Education, Research and Industrial Applications: Integration, Harmonization, and Knowledge Transfer (ICTERI): Міжнародна конференція
в.1844 c.504-523
7
Наукова стаття
Композиція побудови умови за прообразом у монотонних логіках Флойда-Хоара
Криволап Андрій Володимирович
Нікітченко Микола Степанович
2014
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.3 c.163-168
8
Праці конференції
Inference Systems for Floyd-Hoare Logic with Partial Predicates
Криволап Андрій Володимирович
Нікітченко Микола Степанович
2013
Proceedings of the Twelfth International Conference on Informatics, INFORMATICS 2013
c.88-93
9
Праці конференції
Extending Floyd-Hoare Logic for Partial Pre- and Postconditions
Криволап Андрій Володимирович
Нікітченко Микола Степанович
2013
Communications in Computer and Information Science
т.412 c.355-378
10
Наукова стаття
Семантичні властивості монотонних логік Флойда-Хоара
Криволап Андрій Володимирович
Нікітченко Микола Степанович
2012
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.1 c.215.0000
11
Праці конференції
Program Algebras with Monotone Floyd-Hoare Composition
Криволап Андрій Володимирович
Нікітченко Микола Степанович
2013
ICTERI 2013. Proceedings of the 9th International Conference on ICT in Education, Research and Industrial Applications
т.1 c.533.0000
12
Праці конференції
Многосортная монотонная логика Флойда-Хоара
Криволап Андрій Володимирович
Нікітченко Микола Степанович
2013
International Journal Information Theories and Applications 2013
т.20 c.331.0000
13
Праці конференції
Inference Systems for Floyd-Hoare Logic with Partial Predicates
Криволап Андрій Володимирович
Нікітченко Микола Степанович
2013
Proceedings of the Twelfth International Conference on Informatics, INFORMATICS 2013
т.1 c.88.0000
14
Тези
Питання повноти систем виводу монотонних логік Флойда-Хоара
Криволап Андрій Володимирович
2013
International Conference "Dynamical Systems Modelling And Stability Investigation". Thesis of conference reports. Kyiv
т.1 c.403.0000
15
Тези
Проблема спростовності у монотонних Логіках Флойда-Хоара
Криволап Андрій Володимирович
Нікітченко Микола Степанович
2013
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
т.1 c.97.0000

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

Вгору