Grygoriy Zholtkevych

Publication Activity (10 Years)

Years Active: 2011-2023
Publications (10 Years): 26

Top Topics

Distributed Systems

Complex Event Processing

Top Venues

ICTERI (Revised Selected Papers)

ICTERI Workshops

Publications

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