Grygoriy Zholtkevych

62 papers C 1Misc 25Journal 2Unranked 25
YearRankTypeTitle / Venue / Authors
2025 — conf
Advanced Timestamping: Synchronization and Consistency in Public Information Systems.
ACIT
Oleksandr Berezovskyi, Bohdan Melnyk, Grygoriy Zholtkevych, Nataliya Melnyk, Ruslan Avhustyn, Olha I. Potapchuk
2025 — conf
Selecting a Simulation Runtime for Opinion Dynamics: Evaluating Elixir for Agent-Based Models.
ProfIT AI
Yurii Lytvynenko, Grygoriy Zholtkevych
2023 — conf
About One Possible Tool for Analysing Safeness of Discrete Dynamic Systems.
DESSERT
Grygoriy Zholtkevych, Artem Panchenko
2023 — conf
Deep Learning Models for Estimating Number of Lambda- Term Reduction Steps.
ProfIT AI
Oleksandr Deineha, Volodymyr Donets, Grygoriy Zholtkevych
2023 — conf
Development of a Syntax for Representing Regular Constraints on the Behavior of Distributed Systems with Output.
ProfIT AI
Grygoriy Zholtkevych, Pavlo Kovalev, Victoriya Kuznietcova, Anastasiia Morozova
2023 — conf
Estimating Lambda-Term Reduction Complexity with Regression Methods.
IT&I
Oleksandr Deineha, Volodymyr Donets, Grygoriy Zholtkevych
2023 Misc ed.
Information and Communication Technologies in Education, Research, and Industrial Applications - 18th International Conference, ICTERI 2023, Ivano-Frankivsk, Ukraine, September 18-22, 2023, Proceedings
ICTERI
Grigoris Antoniou, Vadim Ermolayev, Vitaliy Kobets, Vira Liubchenko, Heinrich C. Mayr, Aleksander Spivakovsky, Vitaliy Yakovyna, Grygoriy Zholtkevych
2023 Misc conf
On Randomization of Reduction Strategies for Typeless Lambda Calculus.
ICTERI
Oleksandr Deineha, Volodymyr Donets, Grygoriy Zholtkevych
2022 — ed.
Information and Communication Technologies in Education, Research, and Industrial Applications - 17th International Conference, ICTERI 2021, Kherson, Ukraine, September 28-October 2, 2021, Revised Selected Papers
ICTERI (Revised Selected Papers)
Vadim Ermolayev, David Esteban, Vitaliy Yakovyna, Heinrich C. Mayr, Grygoriy Zholtkevych, Mykola Nikitchenko, Aleksander Spivakovsky
2022 — conf
Studying Mixed Normalization Strategies of Lambda Terms.
ProfIT AI
Vladyslav Shramenko, Victoriya Kuznietcova, Grygoriy Zholtkevych
2021 — conf
An Approach to Construct Final Random System with Output.
ICTERI (Revised Selected Papers)
Artem Panchenko, Grygoriy Zholtkevych
2021 Misc conf
Coalgebraic Understanding of Random Systems with Output.
ICTERI
Artem Panchenko, Grygoriy Zholtkevych
2021 — ed.
Information and Communication Technologies in Education, Research, and Industrial Applications - 16th International Conference, ICTERI 2020, Kharkiv, Ukraine, October 6-10, 2020, Revised Selected Papers
ICTERI (Revised Selected Papers)
Andreas Bollin, Vadim Ermolayev, Heinrich C. Mayr, Mykola Nikitchenko, Aleksander Spivakovsky, Mykola V. Tkachuk, Vitaliy Yakovyna, Grygoriy Zholtkevych
2021 Misc ed.
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 - October 2, 2021.
ICTERI
Vadim Ermolayev, David Esteban, Heinrich C. Mayr, Mykola Nikitchenko, Sergiy Bogomolov, Grygoriy Zholtkevych, Vitaliy Yakovyna, Aleksander Spivakovsky
2021 — conf
The Concept of Decisions Support System to Mitigate the COVID-19 Pandemic Consequences based on Social and Epidemic Processes Intelligent Analysis.
ProfIT AI
Dmytro Boyko, Dmytro Chumachenko, Tetyana Chumachenko, Sergey Lvov, Artem Lytovchenko, Olena Muradyan, Grygoriy Zholtkevych
2021 C conf
Toward Reference Architecture of Control System Socio-Epidemic Processes of Emergent Infections.
IDDM
Vil Bakirov, Dmytro Chumachenko, Tetyana Chumachenko, Sergey Lvov, Olena Muradyan, Grygoriy Zholtkevych
2020 — conf
Coalgebraic Approach to Studying Discrete Systems with Output - The General and Distributed Cases.
ICTERI (Revised Selected Papers)
Grygoriy Zholtkevych, Maksym Labzhaniia
2020 Misc ed.
Proceedings of the 16th International Conference on ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer. Volume I: Main Conference, Kharkiv, Ukraine, October 06-10, 2020.
ICTERI
Andreas Bollin, Heinrich C. Mayr, Aleksander Spivakovsky, Mykola V. Tkachuk, Vitaliy Yakovyna, Andriy Yerokhin, Grygoriy Zholtkevych
2020 — ed.
Proceedings of the 16th International Conference on ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer. Volume II: Workshops, Kharkiv, Ukraine, October 06-10, 2020.
ICTERI Workshops
Oleksandr Sokolov, Grygoriy Zholtkevych, Vitaliy Yakovyna, Yulia Tarasich, Vyacheslav Kharchenko, Vitaliy Kobets, Olexandr Burov, Serhiy Semerikov, Hennadiy Kravtsov
2020 — conf
Understanding Clock Constraints Coalgebraically.
ICTERI Workshops
Grygoriy Zholtkevych, Maksym Labzhaniia
2020 — conf
Understanding Safety Constraints Coalgebraically.
COLINS
Grygoriy Zholtkevych, Maksym Labzhaniia
2020 J jnl
Understanding Safety Constraints Coalgebraically.
CoRR
Grygoriy Zholtkevych, Maksym Labzhaniia
2019 — conf
About One Approach to Modelling Dynamics of Network Community Opinion.
ICTERI (Revised Selected Papers)
Grygoriy Zholtkevych, Olena Muradyan, Kostiantyn Ohulchanskyi, Sofiia Shelest
2019 — conf
Event Universes: Specification and Analysis Using Coq Proof Assistant.
ICTERI Workshops
Grygoriy Zholtkevych
2019 — conf
Machine Learning Technique for Regular Pattern Detector Synthesis: toward Mathematical Rationale.
COLINS
Grygoriy Zholtkevych, Nataliya Polyakovska
2019 — ed.
Proceedings of ICTERI 2019. Volume III: PhD Symposium co-located with 15th International Conference "ICT in Education, Research, and Industrial Applications 2019" (ICTERI 2019), Kherson, Ukraine, June 12 - 15, 2019.
ICTERI PhD Symposium
Grygoriy Zholtkevych
2019 Misc conf
Simulating Pairwise Communication for Studying Its Impact on Macro-Behaviour of Communities.
ICTERI
Grygoriy Zholtkevych, Olena Muradyan, Kostiantyn Ohulchanskyi, Sofiia Shelest
2019 — conf
Simulation as a Method for Asymptotic System Behavior Identification (e.g. Water Frog Hemiclonal Population Systems).
ICTERI (Revised Selected Papers)
Dmytro Shabanov, Marina Vladymyrova, Anton Leonov, Olga Biriuk, Marina Kravchenko, Quentin Mair, Olena Meleshko, Julian Newman, Olena Usova, Grygoriy Zholtkevych
2019 Misc conf
Simulation as a Tool to Identify Dynamical Typology of Water Frog Hemiсlonal Population Systems.
ICTERI
Dmytro Shabanov, Marina Vladymyrova, Anton Leonov, Olga Biriuk, Marina Kravchenko, Quentin Mair, Olena Meleshko, Julian Newman, Olena Usova, Grygoriy Zholtkevych
2018 — conf
Category Methods for Analysis of Two Approaches to Modelling Logical Time Based on Concept of Clocks.
ICTERI Workshops
Grygoriy Zholtkevych, Hassan Khalil El Zein, Lyudmila Polyakova
2018 — conf
Category Methods for Modelling Logical Time Based on the Concept of Clocks.
ICTERI (Revised Selected Papers)
Grygoriy Zholtkevych, Lyudmyla Polyakova, Hassan Khalil El Zein
2018 — ed.
Information and Communication Technologies in Education, Research, and Industrial Applications - 13th International Conference, ICTERI 2017, Kyiv, Ukraine, May 15-18, 2017, Revised Selected Papers
ICTERI (Revised Selected Papers)
Nick Bassiliades, Vadim Ermolayev, Hans-Georg Fill, Vitaliy Yakovyna, Heinrich C. Mayr, Mykola S. Nikitchenko, Grygoriy Zholtkevych, Aleksander Spivakovsky
2018 — ed.
Proceedings of the PhD Symposium at 14th International Conference on ICT in Education, Research, and Industrial Applications ICTERI 2018 co-located with 14th International Conference on ICT in Education, Research, and Industrial Applications (ICTERI 2018), Kyiv, Ukraine, May 16, 2018.
PhD@ICTERI
Grigoris Antoniou, Grygoriy Zholtkevych
2018 — conf
Toward Synthesis of Event-Pattern Detectors for Event Complex Processing with Using Machine Learning.
ICTERI Workshops
Grygoriy Zholtkevych, Stanislav Lukyanenko, Natalya Polyakovska
2017 Misc ed.
Information and Communication Technologies in Education, Research, and Industrial Applications - 12th International Conference, ICTERI 2016, Kyiv, Ukraine, June 21-24, 2016, Revised Selected Papers
ICTERI (Revised Selected Papers)
Athula Ginige, Heinrich C. Mayr, Dimitris Plexousakis, Vadim Ermolayev, Mykola S. Nikitchenko, Grygoriy Zholtkevych, Aleksander Spivakovskiy
2017 Misc conf
Logical Time Models to Study Cyber-Physical Systems.
ICTERI
Hassan Khalil El Zein, Grygoriy Zholtkevych
2017 — conf
Two Approaches to Modelling Logical Time in Cyber-Physical Systems.
ICTERI (Revised Selected Papers)
Grygoriy Zholtkevych, Hassan Khalil El Zein
2016 Misc conf
Descriptive Models of System Dynamics.
ICTERI
Grygoriy Zholtkevych, Konstantin Nosov, Yuri Bespalov, Larisa Rak, Elena Vysotskaya, Yulia Balkova, Vadim Kolomiychenko
2016 — ed.
Information and Communication Technologies in Education, Research, and Industrial Applications - 11th International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers
ICTERI (Revised Selected Papers)
Vitaliy Yakovyna, Heinrich C. Mayr, Mykola S. Nikitchenko, Grygoriy Zholtkevych, Aleksander Spivakovsky, Sotiris Batsakis
2016 Misc ed.
Proceedings of the 12th International Conference on ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer, Kyiv, Ukraine, June 21-24, 2016.
ICTERI
Vadim Ermolayev, Aleksander Spivakovsky, Mykola S. Nikitchenko, Athula Ginige, Heinrich C. Mayr, Dimitris Plexousakis, Grygoriy Zholtkevych, Oleksandr Burov, Vyacheslav S. Kharchenko, Vitaliy Kobets
2015 Misc ed.
Proceedings of the 11th International Conference on ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer, Lviv, Ukraine, May 14-16, 2015.
ICTERI
Sotiris Batsakis, Heinrich C. Mayr, Vitaliy Yakovyna, Mykola S. Nikitchenko, Grygoriy Zholtkevych, Vyacheslav S. Kharchenko, Hennadiy Kravtsov, Vitaliy Kobets, Vladimir S. Peschanenko, Vadim Ermolayev, Yuriy Bobalo, Aleksander Spivakovsky
2015 Misc conf
Realisation of "Black Boxes" Using Machines.
ICTERI
Grygoriy Zholtkevych
2015 — conf
Realisation of Synchronous and Asynchronous Black Boxes Using Machines.
ICTERI (Revised Selected Papers)
Grygoriy Zholtkevych
2014 — conf
Coalgebraic Semantic Model for the Clock Constraint Specification Language.
FTSCS
Frédéric Mallet, Grygoriy Zholtkevych
2014 Misc ed.
Information and Communication Technologies in Education, Research, and Industrial Applications - 10th International Conference, ICTERI 2014, Kherson, Ukraine, June 9-12, 2014, Revised Selected Papers
ICTERI
Vadim Ermolayev, Heinrich C. Mayr, Mykola S. Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych
2014 Misc conf
Pre-automata and Complex Event Processing.
ICTERI
Grygoriy Zholtkevych, Boris Novikov, Volodymyr Dorozhinsky
2013 Misc conf
Asymptotical Information Bound of Consecutive Qubit Binary Testing.
ICTERI
Anastasiia Varava, Grygoriy Zholtkevych
2013 — conf
Asymptotical Information Bound of Consecutive Qubit Binary Testing.
ICTERI (Revised Selected Papers)
Anastasiia Varava, Grygoriy Zholtkevych
2013 Misc conf
Clocks Model for Specification and Analysis of Timing in Real-Time Embedded Systems.
ICTERI
Iryna Zaretska, Galyna Zholtkevych, Grygoriy Zholtkevych, Frédéric Mallet
2013 — ed.
ICT in Education, Research, and Industrial Applications - 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers
ICTERI (Revised Selected Papers)
Vadim Ermolayev, Heinrich C. Mayr, Mykola S. Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych
2013 — ed.
Information and Communication Technologies in Education, Research, and Industrial Applications - 9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers
ICTERI (Revised Selected Papers)
Vadim Ermolayev, Heinrich C. Mayr, Mykola S. Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych
2013 Misc ed.
Proceedings of the 9th International Conference on ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer, Kherson, Ukraine, June 19-22, 2013
ICTERI
Vadim Ermolayev, Heinrich C. Mayr, Mykola S. Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych, Mikhail Zavileysky, Hennadiy Kravtsov, Vitaliy Kobets, Vladimir S. Peschanenko
2013 Misc conf
Protoautomata as Models of Systems with Data Accumulation.
ICTERI
Irina Mikhailova, Boris Novikov, Grygoriy Zholtkevych
2013 — conf
Two Semantic Models for Clock Relations in the Clock Constraint Specification Language.
ICTERI (Revised Selected Papers)
Grygoriy Zholtkevych, Frédéric Mallet, Iryna Zaretska, Galyna Zholtkevych
2013 Misc conf
Wireframe Model for Simulating Quantum Information Processing Systems.
ICTERI
Mizal Alobaidi, Andriy Batyiv, Grygoriy Zholtkevych
2012 — conf
Abstract Quantum Automata as Formal Models of Quantum Information Processing Systems.
ICTERI (Revised Selected Papers)
Mizal Alobaidi, Andriy Batyiv, Grygoriy Zholtkevych
2012 Misc ed.
Proceedings of the 8th International Conference on ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer, Kherson, Ukraine, June 6-10, 2012
ICTERI
Vadim Ermolayev, Heinrich C. Mayr, Mykola S. Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych, Mikhail Zavileysky, Vitaliy Kobets
2012 J jnl
Towards the Notion of an Abstract Quantum Automaton
CoRR
Mizal Alobaidi, Andriy Batyiv, Grygoriy Zholtkevych
2012 Misc conf
Towards the Notion of an Abstract Quantum Automaton.
ICTERI
Mizal Alobaidi, Andriy Batyiv, Grygoriy Zholtkevych
2011 Misc conf
Practice in Software Engineering Course: "What and How to Study".
ICTERI
Yuriy Solyanik, Maryna Vladymyrova, Iryna Zaretska, Grygoriy Zholtkevych
2011 Misc conf
Pre-automata as Mathematical Models of Event Flow Recognizers.
ICTERI
Boris Novikov, Ivan Perepelytsya, Grygoriy Zholtkevych
2011 Misc ed.
Proceedings of the 7th International Conference on ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer, Kherson, Ukraine, May 4-7, 2011
ICTERI
Vadim Ermolayev, Heinrich C. Mayr, Mykola S. Nikitchenko, Aleksander Spivakovsky, Mikhail Zavileysky, Grygoriy Zholtkevych