Mykola Nikitchenko

20 papers Misc 2Journal 1Unranked 10
YearRankTypeTitle / Venue / Authors
2025 — ed.
Proceedings of the 8th International Scientific and Practical Conference "Applied Information Systems and Technologies in the Digital Society" (AISTDS 2024), Kyiv, Ukraine, October 1, 2024.
AISTDS
Anatoliy V. Anisimov, Vitaliy Snytyuk, Valentyna Pleskach, Ihor Javorskyj, Iurii Krak, Mykola Dyvak, Mykola Nikitchenko, Nikolaj Goranin, Vitaly G. Levashenko
2022 J jnl
Composition-Nominative Methods and Models in Program Development.
SN Comput. Sci.
Mykola Nikitchenko
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 — ed.
Selected Papers of the VIII International Scientific Conference "Information Technology and Implementation" (IT&I-2021), Workshop Proceedings, Kyiv, Ukraine, December 1-3, 2021.
IT&I Workshops
Anatoly Anisimov, Vitaliy Snytyuk, Chris Aldrich, Andreas Pester, Frédéric Mallet, Hiroshi Tanaka, Iurii Krak, Karsten Henke, Mykola Nikitchenko, Oleg Chertov, Oleksandr Marchenko, Sándor Bozóki, Vitaliy V. Tsyganok, Vladimir Vovk
2022 — ed.
Selected Papers of the VIII International Scientific Conference "Information Technology and Implementation" (IT&I-2021). Conference Proceedings, Kyiv, Ukraine, December 01-03, 2021.
IT&I
Anatoly Anisimov, Vitaliy Snytyuk, Chris Aldrich, Andreas Pester, Frédéric Mallet, Hiroshi Tanaka, Iurii Krak, Karsten Henke, Mykola Nikitchenko, Oleg Chertov, Oleksandr Marchenko, Sándor Bozóki, Vitaliy V. Tsyganok, Vladimir Vovk
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 — ed.
Proceedings of the 7th International Conference "Information Technology and Interactions" (IT&I-2020). Workshops Proceedings, Kyiv, Ukraine, December 02-03, 2020.
IT&I Workshops
Vitaliy Snytyuk, Anatoly Anisimov, Iurii Krak, Mykola Nikitchenko, Oleksandr Marchenko, Frédéric Mallet, Vitaliy V. Tsyganok, Chris Aldrich, Andreas Pester, Hiroshi Tanaka, Karsten Henke, Oleg Chertov, Sándor Bozóki, Vladimir Vovk
2021 — conf
Revisiting Data-Information-Knowledge-Wisdom Hierarchy from a Logic Perspective.
HPCC/DSS/SmartCity/DependSys
Mykola Nikitchenko
2021 — ed.
Selected Papers of the 7th International Conference "Information Technology and Interactions" (IT&I-2020). Conferece Proceedings, Kyiv, Ukraine, December 02-03, 2020.
IT&I
Vitaliy Snytyuk, Anatoly Anisimov, Iurii Krak, Mykola Nikitchenko, Oleksandr Marchenko, Frédéric Mallet, Vitaliy V. Tsyganok, Chris Aldrich, Andreas Pester, Hiroshi Tanaka, Karsten Henke, Oleg Chertov, Sándor Bozóki, Vladimir Vovk
2020 — conf
Sequent Calculi of First-order Logics of Partial Predicates with Extended Renominations and Composition of Predicate Complement.
UkrPROG
Mykola Nikitchenko, Oksana Shkilniak, Stepan S. Shkilniak
2020 — conf
Sequent Calculus for a Program-oriented Predicate Logic over Complex-Named Data.
ACIT
Mykola Nikitchenko, Oksana Shkilniak, Stepan S. Shkilniak
2019 — conf
Program Logics Based on Algebras with the Composition of Predicate Complement.
ACIT
Mykola Nikitchenko, Oksana Shkilniak, Stepan S. Shkilniak
2018 — conf
Satisfiability Problems in Quasiary Program Logics.
ACIT
Mykola Nikitchenko, Stepan S. Shkilniak, Valentyn G. Tymofieiev
2018 — conf
Логіки загальних недетермінованих предикатів: cемантичні аспекти Logics of general non-deterministic predicates: semantic aspects.
UkrPROG
Mykola Nikitchenko, Oksana Shkilniak, Stepan S. Shkilniak
2017 — conf
Extended Floyd-Hoare Logic over Relational Nominative Data.
ICTERI (Revised Selected Papers)
Mykola Nikitchenko, Ievgen Ivanov, Artur Kornilowicz, Andrii Kryvolap
2016 — conf
Pure first-order logics of quasiary predicates.
UkrPROG
Mykola Nikitchenko, Oksana Shkilniak, Stepan S. Shkilniak
2014 — conf
Першопорядкові композиційно-номінативні логіки із узагальненими реномінаціями (First-order composition-nominative logics with generalized renominations).
UkrPROG
Mykola Nikitchenko, Oksana Shkilniak, Stepan S. Shkilniak
2013 — conf
Extending Floyd-Hoare Logic for Partial Pre- and Postconditions.
ICTERI (Revised Selected Papers)
Andrii Kryvolap, Mykola Nikitchenko, Wolfgang Schreiner
2011 Misc conf
Gnoseology-based Approach to Foundations of Informatics.
ICTERI
Mykola Nikitchenko