default search action
Grygoriy Zholtkevych
Grygorii Zholtkevych – Grigoriy Zholtkevych
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
- [c42]Grygoriy Zholtkevych, Artem Panchenko:
About One Possible Tool for Analysing Safeness of Discrete Dynamic Systems. DESSERT 2023: 1-7 - [c41]Oleksandr Deineha
, Volodymyr Donets
On Randomization of Reduction Strategies for Typeless Lambda Calculus. ICTERI 2023: 25-38 - [c40]Oleksandr Deineha, Volodymyr Donets, Grygoriy Zholtkevych:
Estimating Lambda-Term Reduction Complexity with Regression Methods. IT&I 2023: 147-156 - [c39]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: 59-70 - [c38]Oleksandr Deineha, Volodymyr Donets, Grygoriy Zholtkevych:
Deep Learning Models for Estimating Number of Lambda- Term Reduction Steps. ProfIT AI 2023: 128-139 - [e19]Grigoris Antoniou
Information and Communication Technologies in Education, Research, and Industrial Applications - 18th International Conference, ICTERI 2023, Ivano-Frankivsk, Ukraine, September 18-22, 2023, Proceedings. Communications in Computer and Information Science 1980, Springer 2023, ISBN 978-3-031-48324-0 [contents] - 2022
- [c37]Dmytro Chumachenko
Forecasting of COVID-19 Epidemic Process in Ukraine and Neighboring Countries by Gradient Boosting Method. ITEST 2022: 503-514 - [c36]Vladyslav Shramenko, Victoriya Kuznietcova, Grygoriy Zholtkevych:
Studying Mixed Normalization Strategies of Lambda Terms. ProfIT AI 2022: 57-68 - [e18]Vadim Ermolayev
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. Communications in Computer and Information Science 1698, Springer 2022, ISBN 978-3-031-20833-1 [contents] - 2021
- [c35]Artem Panchenko
An Approach to Construct Final Random System with Output. ICTERI (Revised Selected Papers) 2021: 3-22 - [c34]Artem Panchenko, Grygoriy Zholtkevych:
Coalgebraic Understanding of Random Systems with Output. ICTERI 2021: 296-306 - [c33]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: 109-115 - [c32]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: 55-64 - [e17]Andreas Bollin
Information and Communication Technologies in Education, Research, and Industrial Applications - 16th International Conference, ICTERI 2020, Kharkiv, Ukraine, October 6-10, 2020, Revised Selected Papers. Communications in Computer and Information Science 1308, Springer 2021, ISBN 978-3-030-77591-9 [contents] - [e16]Vadim Ermolayev, David Esteban, Heinrich C. Mayr, Mykola Nikitchenko, Sergiy Bogomolov, Grygoriy Zholtkevych, Vitaliy Yakovyna, Aleksander Spivakovsky:
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. CEUR Workshop Proceedings 3013, CEUR-WS.org 2021 [contents] - 2020
- [c31]Grygoriy Zholtkevych, Maksym Labzhaniia:
Understanding Safety Constraints Coalgebraically. COLINS 2020: 1-19 - [c30]Grygoriy Zholtkevych, Maksym Labzhaniia:
Understanding Clock Constraints Coalgebraically. ICTERI Workshops 2020: 29-41 - [c29]Grygoriy Zholtkevych
Coalgebraic Approach to Studying Discrete Systems with Output - The General and Distributed Cases. ICTERI (Revised Selected Papers) 2020: 141-165 - [e15]Oleksandr Sokolov, Grygoriy Zholtkevych, Vitaliy Yakovyna, Yulia Tarasich, Vyacheslav Kharchenko, Vitaliy Kobets, Olexandr Burov, Serhiy Semerikov, Hennadiy Kravtsov:
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. CEUR Workshop Proceedings 2732, CEUR-WS.org 2020 [contents] - [e14]Andreas Bollin, Heinrich C. Mayr, Aleksander Spivakovsky, Mykola V. Tkachuk, Vitaliy Yakovyna, Andriy Yerokhin, Grygoriy Zholtkevych:
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. CEUR Workshop Proceedings 2740, CEUR-WS.org 2020 [contents] - [i3]Grygoriy Zholtkevych, Maksym Labzhaniia:
Understanding Safety Constraints Coalgebraically. CoRR abs/2001.09787 (2020)
2010 – 2019
- 2019
- [c28]Grygoriy Zholtkevych, Nataliya Polyakovska:
Machine Learning Technique for Regular Pattern Detector Synthesis: toward Mathematical Rationale. COLINS 2019: 254-265 - [c27]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: 17-33 - [c26]Grygoriy Zholtkevych, Olena Muradyan, Kostiantyn Ohulchanskyi, Sofiia Shelest:
Simulating Pairwise Communication for Studying Its Impact on Macro-Behaviour of Communities. ICTERI 2019: 34-49 - [c25]Grygoriy Zholtkevych
About One Approach to Modelling Dynamics of Network Community Opinion. ICTERI (Revised Selected Papers) 2019: 327-347 - [c24]Dmytro Shabanov
Simulation as a Method for Asymptotic System Behavior Identification (e.g. Water Frog Hemiclonal Population Systems). ICTERI (Revised Selected Papers) 2019: 392-414 - [c23]Iryna Zaretska, Grygorii Zholtkevych, Andrii Radchenko, Alexey Minayev:
Algorithms Constructor. ICTERI 2019: 501-506 - [c22]Grygoriy Zholtkevych:
Event Universes: Specification and Analysis Using Coq Proof Assistant. ICTERI Workshops 2019: 568-576 - [e13]Grygoriy Zholtkevych:
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. CEUR Workshop Proceedings 2403, CEUR-WS.org 2019 [contents] - 2018
- [c21]Grygoriy Zholtkevych
Category Methods for Modelling Logical Time Based on the Concept of Clocks. ICTERI (Revised Selected Papers) 2018: 89-101 - [c20]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: 696-706 - [c19]Grygoriy Zholtkevych, Stanislav Lukyanenko, Natalya Polyakovska:
Toward Synthesis of Event-Pattern Detectors for Event Complex Processing with Using Machine Learning. ICTERI Workshops 2018: 707-715 - [e12]Nick Bassiliades, Vadim Ermolayev, Hans-Georg Fill, Vitaliy Yakovyna, Heinrich C. Mayr, Mykola S. Nikitchenko, Grygoriy Zholtkevych, Aleksander Spivakovsky:
Information and Communication Technologies in Education, Research, and Industrial Applications - 13th International Conference, ICTERI 2017, Kyiv, Ukraine, May 15-18, 2017, Revised Selected Papers. Communications in Computer and Information Science 826, Springer 2018, ISBN 978-3-319-76167-1 [contents] - [e11]Grigoris Antoniou, Grygoriy Zholtkevych:
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. CEUR Workshop Proceedings 2122, CEUR-WS.org 2018 [contents] - 2017
- [c18]Grygoriy Zholtkevych
Two Approaches to Modelling Logical Time in Cyber-Physical Systems. ICTERI (Revised Selected Papers) 2017: 21-40 - [c17]Hassan Khalil El Zein, Grygoriy Zholtkevych:
Logical Time Models to Study Cyber-Physical Systems. ICTERI 2017: 488-503 - [e10]Athula Ginige
Information and Communication Technologies in Education, Research, and Industrial Applications - 12th International Conference, ICTERI 2016, Kyiv, Ukraine, June 21-24, 2016, Revised Selected Papers. Communications in Computer and Information Science 783, Springer 2017, ISBN 978-3-319-69964-6 [contents] - 2016
- [c16]Grygoriy Zholtkevych, Konstantin Nosov, Yuri Bespalov, Larisa Rak, Elena Vysotskaya, Yulia Balkova, Vadim Kolomiychenko:
Descriptive Models of System Dynamics. ICTERI 2016: 57-72 - [c15]Grygorii Zholtkevych
Descriptive Models of System Dynamics. ICTERI (Revised Selected Papers) 2016: 97-114 - [e9]Vitaliy Yakovyna
Information and Communication Technologies in Education, Research, and Industrial Applications - 11th International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers. Communications in Computer and Information Science 594, Springer 2016, ISBN 978-3-319-30245-4 [contents] - [e8]Vadim Ermolayev, Aleksander Spivakovsky, Mykola S. Nikitchenko, Athula Ginige, Heinrich C. Mayr, Dimitris Plexousakis, Grygoriy Zholtkevych, Oleksandr Burov, Vyacheslav S. Kharchenko, Vitaliy Kobets:
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. CEUR Workshop Proceedings 1614, CEUR-WS.org 2016 [contents] - 2015
- [c14]Grygoriy Zholtkevych
Realisation of Synchronous and Asynchronous Black Boxes Using Machines. ICTERI (Revised Selected Papers) 2015: 124-139 - [c13]Grygoriy Zholtkevych:
Realisation of "Black Boxes" Using Machines. ICTERI 2015: 326-337 - [e7]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:
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. CEUR Workshop Proceedings 1356, CEUR-WS.org 2015 [contents] - 2014
- [c12]Frédéric Mallet
Coalgebraic Semantic Model for the Clock Constraint Specification Language. FTSCS 2014: 174-188 - [c11]Grygoriy Zholtkevych
Pre-automata and Complex Event Processing. ICTERI 2014: 100-116 - [e6]Vadim Ermolayev
Information and Communication Technologies in Education, Research, and Industrial Applications - 10th International Conference, ICTERI 2014, Kherson, Ukraine, June 9-12, 2014, Revised Selected Papers. Communications in Computer and Information Science 469, Springer 2014, ISBN 978-3-319-13205-1 [contents] - 2013
- [c10]Mizal Alobaidi, Andriy Batyiv, Grygoriy Zholtkevych:
Wireframe Model for Simulating Quantum Information Processing Systems. ICTERI 2013: 18-29 - [c9]Anastasiia Varava, Grygoriy Zholtkevych
Asymptotical Information Bound of Consecutive Qubit Binary Testing. ICTERI (Revised Selected Papers) 2013: 93-111 - [c8]Anastasiia Varava, Grygoriy Zholtkevych:
Asymptotical Information Bound of Consecutive Qubit Binary Testing. ICTERI 2013: 163-177 - [c7]Grygoriy Zholtkevych
Two Semantic Models for Clock Relations in the Clock Constraint Specification Language. ICTERI (Revised Selected Papers) 2013: 190-209 - [c6]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: 475-489 - [c5]Irina Mikhailova, Boris Novikov, Grygoriy Zholtkevych:
Protoautomata as Models of Systems with Data Accumulation. ICTERI 2013: 582-589 - [e5]Vadim Ermolayev, Heinrich C. Mayr, Mykola S. Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych:
ICT in Education, Research, and Industrial Applications - 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers. Communications in Computer and Information Science 347, Springer 2013, ISBN 978-3-642-35736-7 [contents] - [e4]Vadim Ermolayev
Information and Communication Technologies in Education, Research, and Industrial Applications - 9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers. Communications in Computer and Information Science 412, Springer 2013, ISBN 978-3-319-03997-8 [contents] - [e3]Vadim Ermolayev, Heinrich C. Mayr, Mykola S. Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych, Mikhail Zavileysky, Hennadiy Kravtsov, Vitaliy Kobets, Vladimir S. Peschanenko:
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. CEUR Workshop Proceedings 1000, CEUR-WS.org 2013 [contents] - [i2]M. Dokuchaev, Boris Novikov, Grygorii Zholtkevych:
Partial actions and automata. CoRR abs/1312.1528 (2013) - 2012
- [c4]Mizal Alobaidi, Andriy Batyiv, Grygoriy Zholtkevych:
Towards the Notion of an Abstract Quantum Automaton. ICTERI 2012: 17-32 - [c3]Mizal Alobaidi
Abstract Quantum Automata as Formal Models of Quantum Information Processing Systems. ICTERI (Revised Selected Papers) 2012: 19-38 - [e2]Vadim Ermolayev, Heinrich C. Mayr, Mykola S. Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych, Mikhail Zavileysky, Vitaliy Kobets:
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. CEUR Workshop Proceedings 848, CEUR-WS.org 2012 [contents] - [i1]Mizal Alobaidi, Andriy Batyiv, Grygoriy Zholtkevych:
Towards the Notion of an Abstract Quantum Automaton. CoRR abs/1204.3986 (2012) - 2011
- [c2]Boris Novikov, Ivan Perepelytsya, Grygoriy Zholtkevych:
Pre-automata as Mathematical Models of Event Flow Recognizers. ICTERI 2011: 41-50 - [c1]Yuriy Solyanik, Maryna Vladymyrova, Iryna Zaretska, Grygoriy Zholtkevych:
Practice in Software Engineering Course: "What and How to Study". ICTERI 2011: 127-133 - [e1]Vadim Ermolayev, Heinrich C. Mayr, Mykola S. Nikitchenko, Aleksander Spivakovsky, Mikhail Zavileysky, Grygoriy Zholtkevych:
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. CEUR Workshop Proceedings 716, CEUR-WS.org 2011 [contents]
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-08 21:46 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: