Mykola Nikitchenko

Publication Activity (10 Years)

Years Active: 2011-2022
Publications (10 Years): 9

Top Topics

Extra Information

Top Venues

ICTERI (Revised Selected Papers)

SN Comput. Sci.

Publications

Mykola Nikitchenko
Composition-Nominative Methods and Models in Program Development. SN Comput. Sci. 3 (6) (2022)
Mykola Nikitchenko
Revisiting Data-Information-Knowledge-Wisdom Hierarchy from a Logic Perspective. HPCC/DSS/SmartCity/DependSys (2021)
Mykola Nikitchenko, Oksana Shkilniak, Stepan S. Shkilniak
Sequent Calculus for a Program-oriented Predicate Logic over Complex-Named Data. ACIT (2020)
Mykola Nikitchenko, Oksana S. Shkilniak, Stepan Shkilniak
Sequent Calculi of First-order Logics of Partial Predicates with Extended Renominations and Composition of Predicate Complement. UkrPROG (2020)
Mykola Nikitchenko, Oksana Shkilniak, Stepan S. Shkilniak
Program Logics Based on Algebras with the Composition of Predicate Complement. ACIT (2019)
Mykola Nikitchenko, Stepan S. Shkilniak, Valentyn G. Tymofieiev
Satisfiability Problems in Quasiary Program Logics. ACIT (2018)
Mykola Nikitchenko, Oksana Shkilniak, Stepan S. Shkilniak
Логіки загальних недетермінованих предикатів: cемантичні аспекти Logics of general non-deterministic predicates: semantic aspects. UkrPROG (2018)
Mykola Nikitchenko, Ievgen Ivanov, Artur Kornilowicz, Andrii Kryvolap
Extended Floyd-Hoare Logic over Relational Nominative Data. ICTERI (Revised Selected Papers) (2017)
Mykola Nikitchenko, Oksana Shkilniak, Stepan S. Shkilniak
Pure first-order logics of quasiary predicates. UkrPROG (2016)
Mykola Nikitchenko, Oksana Shkilniak, Stepan S. Shkilniak
Першопорядкові композиційно-номінативні логіки із узагальненими реномінаціями (First-order composition-nominative logics with generalized renominations). UkrPROG (2014)
Andrii Kryvolap, Mykola Nikitchenko, Wolfgang Schreiner
Extending Floyd-Hoare Logic for Partial Pre- and Postconditions. ICTERI (Revised Selected Papers) (2013)
Mykola Nikitchenko
Gnoseology-based Approach to Foundations of Informatics. ICTERI (2011)