Grygoriy Zholtkevych

According to our database, Grygoriy Zholtkevych authored at least 41 papers between 2011 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

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

Proceedings of the 3rd International Workshop of IT-professionals on Artificial Intelligence, 2023

Deep Learning Models for Estimating Number of Lambda- Term Reduction Steps.

Oleksandr Deineha, Volodymyr Donets, Grygoriy Zholtkevych

Proceedings of the 3rd International Workshop of IT-professionals on Artificial Intelligence, 2023

Estimating Lambda-Term Reduction Complexity with Regression Methods.

Oleksandr Deineha, Volodymyr Donets, Grygoriy Zholtkevych

Proceedings of the Selected Papers of the X International Scientific Conference "Information Technology and Implementation" (IT&I-2023). Conference Proceedings, Kyiv, Ukraine, November 20, 2023

On Randomization of Reduction Strategies for Typeless Lambda Calculus.

Oleksandr Deineha, Volodymyr Donets, Grygoriy Zholtkevych

Proceedings of the Information and Communication Technologies in Education, Research, and Industrial Applications, 2023

About One Possible Tool for Analysing Safeness of Discrete Dynamic Systems.

Grygoriy Zholtkevych, Artem Panchenko

Proceedings of the 13th International Conference on Dependable Systems, 2023

2022

Studying Mixed Normalization Strategies of Lambda Terms.

Vladyslav Shramenko, Victoriya Kuznietcova, Grygoriy Zholtkevych

Proceedings of the 2nd International Workshop of IT-professionals on Artificial Intelligence (ProfIT AI 2022) 2022, 2022

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

Proceedings of the Information Technology for Education, Science, and Technics, 2022

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

Proceedings of the International Workshop of IT-professionals on Artificial Intelligence (ProfIT AI 2021) 2021, 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

Proceedings of the 4th International Conference on Informatics & Data-Driven Medicine, Valencia, Spain, November 19, 2021

An Approach to Construct Final Random System with Output.

Artem Panchenko, Grygoriy Zholtkevych

Proceedings of the Information and Communication Technologies in Education, Research, and Industrial Applications, 2021

Coalgebraic Understanding of Random Systems with Output.

Artem Panchenko, Grygoriy Zholtkevych

Proceedings of the 17th International Conference on ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer. Volume I: Main Conference, PhD Symposium, and Posters, Kherson, Ukraine, September 28, 2021

2020

Coalgebraic Approach to Studying Discrete Systems with Output - The General and Distributed Cases.

Grygoriy Zholtkevych, Maksym Labzhaniia

Proceedings of the Information and Communication Technologies in Education, Research, and Industrial Applications, 2020

Understanding Clock Constraints Coalgebraically.

Grygoriy Zholtkevych, Maksym Labzhaniia

Proceedings of the 16th International Conference on ICT in Education, 2020

Understanding Safety Constraints Coalgebraically.

Grygoriy Zholtkevych, Maksym Labzhaniia

Proceedings of the 4th International Conference on Computational Linguistics and Intelligent Systems (COLINS 2020). Volume I: Main Conference, 2020

2019

About One Approach to Modelling Dynamics of Network Community Opinion.

Grygoriy Zholtkevych, Olena Muradyan, Kostiantyn Ohulchanskyi, Sofiia Shelest

Proceedings of the Information and Communication Technologies in Education, Research, and Industrial Applications, 2019

Simulating Pairwise Communication for Studying Its Impact on Macro-Behaviour of Communities.

Grygoriy Zholtkevych, Olena Muradyan, Kostiantyn Ohulchanskyi, Sofiia Shelest

Proceedings of the 15th International Conference on ICT in Education, 2019

Event Universes: Specification and Analysis Using Coq Proof Assistant.

Grygoriy Zholtkevych

Proceedings of the 15th International Conference on ICT in Education, 2019

Algorithms Constructor.

Iryna Zaretska, Grygorii Zholtkevych, Andrii Radchenko, Alexey Minayev

Proceedings of the 15th International Conference on ICT in Education, 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

Proceedings of the Information and Communication Technologies in Education, Research, and Industrial Applications, 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

Proceedings of the 15th International Conference on ICT in Education, 2019

Machine Learning Technique for Regular Pattern Detector Synthesis: toward Mathematical Rationale.

Grygoriy Zholtkevych, Nataliya Polyakovska

Proceedings of the 3rd International Conference on Computational Linguistics and Intelligent Systems (COLINS-2019). Volume I: Main Conference, 2019

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

Proceedings of the 14th International Conference on ICT in Education, 2018

Category Methods for Modelling Logical Time Based on the Concept of Clocks.

Grygoriy Zholtkevych, Lyudmyla Polyakova, Hassan Khalil El Zein

Proceedings of the Information and Communication Technologies in Education, Research, and Industrial Applications, 2018

Toward Synthesis of Event-Pattern Detectors for Event Complex Processing with Using Machine Learning.

Grygoriy Zholtkevych, Stanislav Lukyanenko, Natalya Polyakovska

Proceedings of the 14th International Conference on ICT in Education, 2018

2017

Two Approaches to Modelling Logical Time in Cyber-Physical Systems.

Grygoriy Zholtkevych, Hassan Khalil El Zein

Proceedings of the Information and Communication Technologies in Education, Research, and Industrial Applications, 2017

Logical Time Models to Study Cyber-Physical Systems.

Hassan Khalil El Zein, Grygoriy Zholtkevych

Proceedings of the 13th International Conference on ICT in Education, 2017

2016

Descriptive Models of System Dynamics.

Grygorii Zholtkevych, Konstantin Nosov, Yuri Bespalov, Larisa Rak, Elena Vysotskaya, Yulia Balkova, Vadim Kolomiychenko

Proceedings of the Information and Communication Technologies in Education, Research, and Industrial Applications, 2016

2015

Realisation of Synchronous and Asynchronous Black Boxes Using Machines.

Grygoriy Zholtkevych

Proceedings of the Information and Communication Technologies in Education, Research, and Industrial Applications, 2015

Realisation of "Black Boxes" Using Machines.

Grygoriy Zholtkevych

Proceedings of the 11th International Conference on ICT in Education, 2015

2014

Pre-automata and Complex Event Processing.

Grygoriy Zholtkevych, Boris Novikov, Volodymyr Dorozhinsky

Proceedings of the Information and Communication Technologies in Education, Research, and Industrial Applications, 2014

Coalgebraic Semantic Model for the Clock Constraint Specification Language.

Frédéric Mallet, Grygoriy Zholtkevych

Proceedings of the Formal Techniques for Safety-Critical Systems, 2014

2013

Partial actions and automata.

M. Dokuchaev, Boris Novikov, Grygorii Zholtkevych

CoRR, 2013

Two Semantic Models for Clock Relations in the Clock Constraint Specification Language.

Grygoriy Zholtkevych, Frédéric Mallet, Iryna Zaretska, Galyna Zholtkevych

Proceedings of the Information and Communication Technologies in Education, Research, and Industrial Applications, 2013

Clocks Model for Specification and Analysis of Timing in Real-Time Embedded Systems.

Iryna Zaretska, Galyna Zholtkevych, Grygoriy Zholtkevych, Frédéric Mallet

Proceedings of the 9th International Conference on ICT in Education, 2013

Asymptotical Information Bound of Consecutive Qubit Binary Testing.

Anastasiia Varava, Grygoriy Zholtkevych

Proceedings of the Information and Communication Technologies in Education, Research, and Industrial Applications, 2013

Protoautomata as Models of Systems with Data Accumulation.

Irina Mikhailova, Boris Novikov, Grygoriy Zholtkevych

Proceedings of the 9th International Conference on ICT in Education, 2013

Wireframe Model for Simulating Quantum Information Processing Systems.

Mizal Alobaidi, Andriy Batyiv, Grygoriy Zholtkevych

Proceedings of the 9th International Conference on ICT in Education, 2013

2012

Abstract Quantum Automata as Formal Models of Quantum Information Processing Systems.

Mizal Alobaidi, Andriy Batyiv, Grygoriy Zholtkevych

Proceedings of the ICT in Education, Research, and Industrial Applications, 2012

Towards the Notion of an Abstract Quantum Automaton.

Mizal Alobaidi, Andriy Batyiv, Grygoriy Zholtkevych

Proceedings of the 8th International Conference on ICT in Education, 2012

2011

Practice in Software Engineering Course: "What and How to Study".

Yuriy Solyanik, Maryna Vladymyrova, Iryna Zaretska, Grygoriy Zholtkevych

Proceedings of the 7th International Conference on ICT in Education, 2011

Pre-automata as Mathematical Models of Event Flow Recognizers.

Boris Novikov, Ivan Perepelytsya, Grygoriy Zholtkevych

Proceedings of the 7th International Conference on ICT in Education, 2011