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

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

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

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

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

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


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

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

Публікації

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

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

Вгору