| Safety property proof using correctness proof methodology in IPCL NV Polishchuk, MO Kartavov, TV Panchenko Proceedings of the 5th International Scientific Conference “Theoretical and …, 2015 | 15 | 2015 |
| The methodology for program properties proof in compositional languages IPCL T Panchenko Proceedings of the International Conference" Theoretical and Applied Aspects …, 2004 | 15 | 2004 |
| The Method for Program Properties Proof in Compositional Nominative Languages IPCL T Panchenko Problems of Programming 1, 3-16, 2008 | 14 | 2008 |
| Properties proof method in IPCL application to real-world system correctness proof M Kartavov, T Panchenko, N Polishchuk International Journal" Information Models and Analyses", Sofia, Bulgaria …, 2015 | 13 | 2015 |
| The Simplified State Model for Properties Proof Method in IPCL Languages and its use and advantages T Panchenko Proceedings of the International Conference" Theoretical and Applied Aspects …, 2007 | 10 | 2007 |
| Infosoft e-detailing system total correctness proof in IPCL M Kartavov, T Panchenko, N Polishchuk Bulletin of Taras Shevchenko National University of Kyiv. Series: Physical …, 2015 | 9 | 2015 |
| Open data platform architecture and its advantages for an open E-government M Alhawawsha, T Panchenko Advances in Computer Science for Engineering and Education III 3, 631-639, 2021 | 8 | 2021 |
| Application of the method for concurrent programs properties proof to real-world industrial software systems T Panchenko ICT in Education, Research and Industrial Applications, 2016 | 8 | 2016 |
| Correctness property proof for the banking system for money transfer payments YA Ostapovska, TV Panchenko, NV Polishchuk, MO Kartavov PROBLEMS IN PROGRAMMING, 119-132, 2016 | 8 | 2016 |
| Sales forecasting using data mining methods TI Lytvynenko, TV Panchenko, VD Redko Вісник Київського національного університету імені Тараса Шевченка. Серія …, 2015 | 8 | 2015 |
| Compositional Methods for Software Systems Specification and Verification (PhD Thesis Synopsis) T Panchenko Kyiv, 2006 | 7 | 2006 |
| Композиційні методи специфікації та верифікації програмних систем ТВ Панченко Київський національний університет імені Тараса Шевченка.–Київ, 2006.–177 с, 2006 | 6 | 2006 |
| Formalization of parallelism forms in ipcl T Panchenko Bulletin of Taras Shevchenko National University of Kyiv. Series: Physical …, 2008 | 5 | 2008 |
| Parallel addition to shared variable correctness proof in ipcl T Panchenko Bulletin of Taras Shevchenko National University of Kyiv. Series: Physical …, 2007 | 5 | 2007 |
| A formal proof of properties of a presentation system using Isabelle T Panchenko, I Ivanov 2017 IEEE First Ukraine Conference on Electrical and Computer Engineering …, 2017 | 4 | 2017 |
| Real-time health monitoring via ECG analysis VO Budichenko, TV Panchenko Штучний інтелект, 98-100, 2016 | 4 | 2016 |
| A systematic mapping study on artificial intelligence tools used in video editing I Bieda, T Panchenko Int. J. Comput. Sci. Netw. Secur 22 (3), 312-318, 2022 | 3 | 2022 |
| An approach to scene change detection I Bieda, A Kisil, T Panchenko 2021 11th IEEE International Conference on Intelligent Data Acquisition and …, 2021 | 3 | 2021 |
| Contact center load forecasting and operator schedule planning KO Chernichenko, AM Kapkanets, TV Panchenko PROBLEMS IN PROGRAMMING, 227-236, 2016 | 3 | 2016 |
| Peterson’s Algorithm for Mutual Exclusion Correctness Proof in IPCL AA Zhygallo, YA Ostapovska, TV Panchenko Вісник Київського національного університету імені Тараса Шевченка. Серія …, 2015 | 3 | 2015 |
Mykola (Nikolaj) Nikitchenko - Нікітче...Taras Shevchenko National University of KyivVerified email at knu.ua
