Pre-automata as Mathematical Models of Event Flow Recognizers. - Boris Novikov 002; Ivan Perepelytsya; Grygoriy Zholtkevych (ICTERI, 2011)

Practice in Software Engineering Course: "What and How to Study". - Yuriy Solyanik; Maryna Vladymyrova; Iryna Zaretska; Grygoriy Zholtkevych (ICTERI, 2011)

Towards the Notion of an Abstract Quantum Automaton. - Mizal Alobaidi; Andriy Batyiv; Grygoriy Zholtkevych (ICTERI, 2012)

Abstract Quantum Automata as Formal Models of Quantum Information Processing Systems. - Mizal Alobaidi; Andriy Batyiv; Grygoriy Zholtkevych (ICTERI (Revised Selected Papers), 2012)

Wireframe Model for Simulating Quantum Information Processing Systems. - Mizal Alobaidi; Andriy Batyiv; Grygoriy Zholtkevych (ICTERI, 2013)

Protoautomata as Models of Systems with Data Accumulation. - Irina Mikhailova; Boris Novikov 002; Grygoriy Zholtkevych (ICTERI, 2013)

Asymptotical Information Bound of Consecutive Qubit Binary Testing. - Anastasiia Varava; Grygoriy Zholtkevych (ICTERI (Revised Selected Papers), 2013)

Clocks Model for Specification and Analysis of Timing in Real-Time Embedded Systems. - Iryna Zaretska; Galyna Zholtkevych; Grygoriy Zholtkevych; Frédéric Mallet (ICTERI, 2013)

Two Semantic Models for Clock Relations in the Clock Constraint Specification Language. - Grygoriy Zholtkevych; Frédéric Mallet; Iryna Zaretska; Galyna Zholtkevych (ICTERI (Revised Selected Papers), 2013)

Partial actions and automata. - M. Dokuchaev; Boris Novikov 002; Grygorii Zholtkevych (CoRR, 2013)

Coalgebraic Semantic Model for the Clock Constraint Specification Language. - Frédéric Mallet; Grygoriy Zholtkevych (FTSCS, 2014)

Pre-automata and Complex Event Processing. - Grygoriy Zholtkevych; Boris Novikov 002; Volodymyr Dorozhinsky (ICTERI, 2014)

Realisation of "Black Boxes" Using Machines. - Grygoriy Zholtkevych (ICTERI, 2015)

Realisation of Synchronous and Asynchronous Black Boxes Using Machines. - Grygoriy Zholtkevych (ICTERI (Revised Selected Papers), 2015)

Descriptive Models of System Dynamics. - Grygorii Zholtkevych; Konstantin Nosov; Yuri Bespalov; Larisa Rak; Elena Vysotskaya; Yulia Balkova; Vadim Kolomiychenko (ICTERI (Revised Selected Papers), 2016)

Logical Time Models to Study Cyber-Physical Systems. - Hassan Khalil El Zein; Grygoriy Zholtkevych (ICTERI, 2017)

Two Approaches to Modelling Logical Time in Cyber-Physical Systems. - Grygoriy Zholtkevych; Hassan Khalil El Zein (ICTERI (Revised Selected Papers), 2017)

Toward Synthesis of Event-Pattern Detectors for Event Complex Processing with Using Machine Learning. - Grygoriy Zholtkevych; Stanislav Lukyanenko; Natalya Polyakovska (ICTERI Workshops, 2018)

Category Methods for Modelling Logical Time Based on the Concept of Clocks. - Grygoriy Zholtkevych; Lyudmyla Polyakova; Hassan Khalil El Zein (ICTERI (Revised Selected Papers), 2018)

Category Methods for Analysis of Two Approaches to Modelling Logical Time Based on Concept of Clocks. - Grygoriy Zholtkevych; Hassan Khalil El Zein; Lyudmila Polyakova (ICTERI Workshops, 2018)

Machine Learning Technique for Regular Pattern Detector Synthesis: toward Mathematical Rationale. - Grygoriy Zholtkevych; Nataliya Polyakovska (COLINS, 2019)

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 (ICTERI, 2019)

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 (ICTERI (Revised Selected Papers), 2019)

Algorithms Constructor. - Iryna Zaretska; Grygorii Zholtkevych; Andrii Radchenko; Alexey Minayev (ICTERI, 2019)

Event Universes: Specification and Analysis Using Coq Proof Assistant. - Grygoriy Zholtkevych (ICTERI Workshops, 2019)

Simulating Pairwise Communication for Studying Its Impact on Macro-Behaviour of Communities. - Grygoriy Zholtkevych; Olena Muradyan; Kostiantyn Ohulchanskyi; Sofiia Shelest (ICTERI, 2019)

About One Approach to Modelling Dynamics of Network Community Opinion. - Grygoriy Zholtkevych; Olena Muradyan; Kostiantyn Ohulchanskyi; Sofiia Shelest (ICTERI (Revised Selected Papers), 2019)

Understanding Safety Constraints Coalgebraically. - Grygoriy Zholtkevych; Maksym Labzhaniia (COLINS, 2020)

Understanding Clock Constraints Coalgebraically. - Grygoriy Zholtkevych; Maksym Labzhaniia (ICTERI Workshops, 2020)

Coalgebraic Approach to Studying Discrete Systems with Output - The General and Distributed Cases. - Grygoriy Zholtkevych; Maksym Labzhaniia (ICTERI (Revised Selected Papers), 2020)

Coalgebraic Understanding of Random Systems with Output. - Artem Panchenko; Grygoriy Zholtkevych (ICTERI, 2021)

An Approach to Construct Final Random System with Output. - Artem Panchenko; Grygoriy Zholtkevych (ICTERI (Revised Selected Papers), 2021)

Toward Reference Architecture of Control System Socio-Epidemic Processes of Emergent Infections. - Vil Bakirov; Dmytro Chumachenko; Tetyana Chumachenko; Sergey Lvov; Olena Muradyan; Grygoriy Zholtkevych (IDDM, 2021)

The Concept of Decisions Support System to Mitigate the COVID-19 Pandemic Consequences based on Social and Epidemic Processes Intelligent Analysis. - Dmytro Boyko; Dmytro Chumachenko; Tetyana Chumachenko; Sergey Lvov; Artem Lytovchenko; Olena Muradyan; Grygoriy Zholtkevych (ProfIT AI, 2021)

Forecasting of COVID-19 Epidemic Process in Ukraine and Neighboring Countries by Gradient Boosting Method. - Dmytro Chumachenko; Tetyana Chumachenko; Ievgen Meniailov; Olena Muradyan; Grigoriy Zholtkevych (ITEST, 2022)

Studying Mixed Normalization Strategies of Lambda Terms. - Vladyslav Shramenko; Victoriya Kuznietcova; Grygoriy Zholtkevych (ProfIT AI, 2022)

About One Possible Tool for Analysing Safeness of Discrete Dynamic Systems. - Grygoriy Zholtkevych; Artem Panchenko (DESSERT, 2023)

On Randomization of Reduction Strategies for Typeless Lambda Calculus. - Oleksandr Deineha; Volodymyr Donets; Grygoriy Zholtkevych (ICTERI, 2023)

Estimating Lambda-Term Reduction Complexity with Regression Methods. - Oleksandr Deineha; Volodymyr Donets; Grygoriy Zholtkevych (IT&I, 2023)

Deep Learning Models for Estimating Number of Lambda- Term Reduction Steps. - Oleksandr Deineha; Volodymyr Donets; Grygoriy Zholtkevych (ProfIT AI, 2023)

Development of a Syntax for Representing Regular Constraints on the Behavior of Distributed Systems with Output. - Grygoriy Zholtkevych; Pavlo Kovalev; Victoriya Kuznietcova; Anastasiia Morozova (ProfIT AI, 2023)