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

Панченко Тарас Володимирович

Ідентифікатор автора: 38538
Author Identifier Number Scopus: 57190125441 →
ResearcherID, Web of Science: B-3900-2016 →
Кількість пошукових запитів автора: 505

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

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

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


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

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

Публікації

Тип
Назва документу
Автори
Рік видання
Джерело
1
Праці конференції
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
2
Наукова стаття
On Formalization of Semantics of Real-Time and Cyber-Physical Systems
Іванов Євген В’ячеславович
Нікітченко Микола Степанович
Панченко Тарас Володимирович
2019
Advances in Intelligent Systems and Computing
в.754 c.213-223
3
Наукова стаття
A Formal Proof of Properties of a Presentation System using Isabelle
Панченко Тарас Володимирович
2018
Ukraine Conference on Electrical and Computer Engineering (UKRCON)
4
Наукова стаття
A Formal Proof of Correctness of a Distributed Presentation Software System
Панченко Тарас Володимирович
2017
Proceedings of International Conference on ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer (ICTERI)
в.1844 c.467-487
5
Наукова стаття
Модель паралелізму в IPCL з породженням екземплярів
Панченко Тарас Володимирович
2017
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.131-133
6
Наукова стаття
On Two Representations of Concurrent Programs
Панченко Тарас Володимирович
2017
Проблеми програмування
т.6 в.2 c.192-199
7
Наукова стаття
Розширений динамічний стан та модель породження екземплярів у IPCL
Панченко Тарас Володимирович
2017
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
в.4 c.127-130
8
Наукова стаття
Еквівалентність двох систем паралельного виконання
Панченко Тарас Володимирович
2018
Международная научно-практическая конференция по программированию (УкрПрог)
9
Праці конференції
Quality of Concurrent Shared Memory Programs
Панченко Тарас Володимирович
2018
International Conference on the Quality of Information and Communications Technology QUATIC
в.11 c.1122-1126
10
Наукова стаття
Real-time health monitoring via ECG analysis
Панченко Тарас Володимирович
Будіченко Владислав Олегович
2017
Штучний інтелект
в.4(74) c.98-100
11
Праці конференції
A correctness proof for presentation software using Isabelle
Іванов Євген В’ячеславович
Панченко Тарас Володимирович
2016
13th International Scientific Conference “Theoretical and Applied Aspects of Program Systems Development” (TAAPSD’2016)
c.117-120
12
Праці конференції
The implementation of BI geospatial information mapping system
Панченко Тарас Володимирович
Мамедов Тогрул Алірзайович
2016
13th International Scientific Conference “Theoretical and Applied Aspects of Program Systems Development” (TAAPSD’2016)
c.174-177
13
Праці конференції
Real-time health monitoring via ECG analysis
Панченко Тарас Володимирович
Будіченко Владислав Олегович
2016
Штучний інтелект та інтелектуальні системи: Міжнародна науково-технічна конференція (AIIS)
14
Праці конференції
A Formal Proof of Properties of a Presentation System using Isabelle
Панченко Тарас Володимирович
2017
IEEE First Ukraine Conference on Electrical and Computer Engineering (UkrCon’2017)
c.1155-1160
15
Навчальний посібник
Теорія програмування в прикладах і задачах
Нікітченко Микола Степанович
Панченко Тарас Володимирович
Поляков Сергій Анатолійович
2015
К.: Видавничо-поліграфічний центр «Київський університет» (навчальний посібник)
c.191
16
Наукова стаття
Доведення властивості коректної роботи банківської системи виплати грошових переказів
Панченко Тарас Володимирович
2016
Проблеми програмування
в.2-3 c.119-132
17
Наукова стаття
Прогнозування навантаження та планування розкладу роботи операторів контактного центру
Панченко Тарас Володимирович
2016
Проблеми програмування
в.2-3 c.227-236
18
Наукова стаття
Sales Forecasting using Data Mining Methods
Панченко Тарас Володимирович
2015
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
в.4 c.94-101
19
Наукова стаття
Peterson’s Algorithm for Mutual Exclusion Correctness Proof in IPCL
Панченко Тарас Володимирович
2015
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
в.4 c.68-73
20
Наукова стаття
Properties Proof Method in IPCL Application To Real-World System Correctness Proof
Панченко Тарас Володимирович
2015
Information Models and Analyses
в.4
21
Праці конференції
Application of the Method for Concurrent Programs Properties Proof to Real-World Industrial Software Systems
Панченко Тарас Володимирович
2016
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))
т.1614 c.119-128
22
Матеріали конференції
Тотальна корекетність системи Infosoft e-Detailing 1.0
Панченко Тарас Володимирович
2015
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.98-103
23
Навчальний посібник
Терія програмування в прикладах і задачах
Нікітченко Микола Степанович
Панченко Тарас Володимирович
Поляков Сергій Анатолійович
2015
ВПЦ "Київський університет"
c.1-191
24
Навчальний посібник
Теорія програмування в прикладах та задачах
Нікітченко Микола Степанович
Панченко Тарас Володимирович
Поляков Сергій Анатолійович
2014
HQPrint
c.186
25
Наукова стаття
Формалізація видів паралелізму у IPCL
Панченко Тарас Володимирович
2008
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.3 c.152-157
26
Наукова стаття
Parallel Programs Correctness Proof Method Using Simplified State with Applications
Панченко Тарас Володимирович
2015
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
в.2 c.174-177
27
Наукова стаття
Доведення тотальної коректності системи Infosoft e-Detailing у IPCL
Панченко Тарас Володимирович
2015
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
в.3 c.80-83
28
Праці конференції
Safety Property Proof using Correctness Proof Methodology in IPCL
Панченко Тарас Володимирович
2015
International Scientific Conference of Students and Young Scientists "Theoretical and Applied Aspects of Cybernetics"
c.37-44
29
Навчальний посібник
Методичні рекомендації до практичних занять з курсу «Теорія програмування»
Панченко Тарас Володимирович
2009
Логос (навчальний посібник)
c.40
30
Навчальний посібник
Навчальний посібник з дисципліни "Теорія програмування"
Нікітченко Микола Степанович
Панченко Тарас Володимирович
Поляков Сергій Анатолійович
2014
HQPrint
c.186
31
Наукова стаття
Подання динамічних вимірів у OLAP-кубах
Панченко Тарас Володимирович
2012
Проблеми програмування
т.2 c.299-307
32
Наукова стаття
Швидка або якісна розробка
Панченко Тарас Володимирович
2014
Проблеми програмування
т.2 c.38-43
33
Наукова стаття
Методичні рекомендації до лабораторних занять з курсу «Системне програмування та операційні системи»
Панченко Тарас Володимирович
2009
Логос (навчальний посібник)
c.42
34
Наукова стаття
Simplified Method For Software Correctness Proof In IPCL
Панченко Тарас Володимирович
2014
Intellectual Archive
в.3 c.10-14
35
Наукова стаття
A Method for Parallel Software Correctness Proof in IPCL
Панченко Тарас Володимирович
2014
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.195-199
36
Наукова стаття
Доведення коректності паралельного додавання до спільної змінної в IPCL
Панченко Тарас Володимирович
2007
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
c.187.0000
37
Наукова стаття
Метод доведення властивостей програм в композиційно-номінативних мовах IPCL
Панченко Тарас Володимирович
2008
Проблеми програмування
c.0.0000
38
Тези
Моделювання різних паралельних архітектур у IPCL. Abstracts of International Conference TAAPSD’2008
Панченко Тарас Володимирович
2008
39
Наукова стаття
Принцип репрезентативної повноти номінативних даних
Панченко Тарас Володимирович
2007
Вибрані питання програмології. Праці наукового семінару "Програмологія та її застосування"
c.196.0000
40
Тези
Модель спрощеного стану для методу доведення властивостей в мовах IPCL та її застосування і переваги
Панченко Тарас Володимирович
2007
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.319.0000

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

Вгору