| 2023 | ICTERI | On Randomization of Reduction Strategies for Typeless Lambda Calculus. | Oleksandr Deineha, Volodymyr Donets, Grygoriy Zholtkevych |
| 2021 | ICTERI | Coalgebraic Understanding of Random Systems with Output. | Artem Panchenko, Grygoriy Zholtkevych |
| 2021 | ICTERI | An Approach to Construct Final Random System with Output. | Artem Panchenko, Grygoriy Zholtkevych |
| 2021 | IDDM | Toward Reference Architecture of Control System Socio-Epidemic Processes of Emergent Infections. | Vil Bakirov, Dmytro Chumachenko, Tetyana Chumachenko, Sergey Lvov, Olena Muradyan, Grygoriy Zholtkevych |
| 2020 | ICTERI | Understanding Clock Constraints Coalgebraically. | Grygoriy Zholtkevych, Maksym Labzhaniia |
| 2020 | ICTERI | Coalgebraic Approach to Studying Discrete Systems with Output - The General and Distributed Cases. | Grygoriy Zholtkevych, Maksym Labzhaniia |
| 2019 | ICTERI | Simulation as a Tool to Identify Dynamical Typology of Water Frog Hemiсlonal Population Systems. | Dmytro Shabanov, Marina Vladymyrova, Anton Leonov, Olga Biriuk, Marina Kravchenko, Quentin Mair, Olena Meleshko, Julian Newman, Olena Usova, Grygoriy Zholtkevych |
| 2019 | ICTERI | Simulation as a Method for Asymptotic System Behavior Identification (e.g. Water Frog Hemiclonal Population Systems). | Dmytro Shabanov, Marina Vladymyrova, Anton Leonov, Olga Biriuk, Marina Kravchenko, Quentin Mair, Olena Meleshko, Julian Newman, Olena Usova, Grygoriy Zholtkevych |
| 2019 | ICTERI | Event Universes: Specification and Analysis Using Coq Proof Assistant. | Grygoriy Zholtkevych |
| 2019 | ICTERI | Simulating Pairwise Communication for Studying Its Impact on Macro-Behaviour of Communities. | Grygoriy Zholtkevych, Olena Muradyan, Kostiantyn Ohulchanskyi, Sofiia Shelest |
| 2019 | ICTERI | About One Approach to Modelling Dynamics of Network Community Opinion. | Grygoriy Zholtkevych, Olena Muradyan, Kostiantyn Ohulchanskyi, Sofiia Shelest |
| 2018 | ICTERI | Toward Synthesis of Event-Pattern Detectors for Event Complex Processing with Using Machine Learning. | Grygoriy Zholtkevych, Stanislav Lukyanenko, Natalya Polyakovska |
| 2018 | ICTERI | Category Methods for Modelling Logical Time Based on the Concept of Clocks. | Grygoriy Zholtkevych, Lyudmyla Polyakova, Hassan Khalil El Zein |
| 2018 | ICTERI | Category Methods for Analysis of Two Approaches to Modelling Logical Time Based on Concept of Clocks. | Grygoriy Zholtkevych, Hassan Khalil El Zein, Lyudmila Polyakova |
| 2017 | ICTERI | Logical Time Models to Study Cyber-Physical Systems. | Hassan Khalil El Zein, Grygoriy Zholtkevych |
| 2017 | ICTERI | Two Approaches to Modelling Logical Time in Cyber-Physical Systems. | Grygoriy Zholtkevych, Hassan Khalil El Zein |
| 2016 | ICTERI | Descriptive Models of System Dynamics. | Grygoriy Zholtkevych, Konstantin Nosov, Yuri Bespalov, Larisa Rak, Elena Vysotskaya, Yulia Balkova, Vadim Kolomiychenko |
| 2015 | ICTERI | Realisation of "Black Boxes" Using Machines. | Grygoriy Zholtkevych |
| 2015 | ICTERI | Realisation of Synchronous and Asynchronous Black Boxes Using Machines. | Grygoriy Zholtkevych |
| 2014 | ICTERI | Pre-automata and Complex Event Processing. | Grygoriy Zholtkevych, Boris Novikov, Volodymyr Dorozhinsky |
| 2013 | ICTERI | Wireframe Model for Simulating Quantum Information Processing Systems. | Mizal Alobaidi, Andriy Batyiv, Grygoriy Zholtkevych |
| 2013 | ICTERI | Protoautomata as Models of Systems with Data Accumulation. | Irina Mikhailova, Boris Novikov, Grygoriy Zholtkevych |
| 2013 | ICTERI | Asymptotical Information Bound of Consecutive Qubit Binary Testing. | Anastasiia Varava, Grygoriy Zholtkevych |
| 2013 | ICTERI | Asymptotical Information Bound of Consecutive Qubit Binary Testing. | Anastasiia Varava, Grygoriy Zholtkevych |
| 2013 | ICTERI | Clocks Model for Specification and Analysis of Timing in Real-Time Embedded Systems. | Iryna Zaretska, Galyna Zholtkevych, Grygoriy Zholtkevych, Frdric Mallet |
| 2013 | ICTERI | Two Semantic Models for Clock Relations in the Clock Constraint Specification Language. | Grygoriy Zholtkevych, Frdric Mallet, Iryna Zaretska, Galyna Zholtkevych |
| 2012 | ICTERI | Towards the Notion of an Abstract Quantum Automaton. | Mizal Alobaidi, Andriy Batyiv, Grygoriy Zholtkevych |
| 2012 | ICTERI | Abstract Quantum Automata as Formal Models of Quantum Information Processing Systems. | Mizal Alobaidi, Andriy Batyiv, Grygoriy Zholtkevych |
| 2011 | ICTERI | Pre-automata as Mathematical Models of Event Flow Recognizers. | Boris Novikov, Ivan Perepelytsya, Grygoriy Zholtkevych |
| 2011 | ICTERI | Practice in Software Engineering Course: "What and How to Study". | Yuriy Solyanik, Maryna Vladymyrova, Iryna Zaretska, Grygoriy Zholtkevych |