Gnoseology-based Approach to Foundations of Informatics. - Mykola Nikitchenko (ICTERI, 2011)

Semantics-based Logics over Hierarchical Nominative Data. - Mykola S. Nikitchenko; Stepan S. Shkilniak (ICTERI, 2012)

Satisfiability Problem in Composition-Nominative Logics of Quantifier-Equational Level. - Mykola S. Nikitchenko; Valentyn G. Tymofieiev (ICTERI, 2012)

Satisfiability and Validity Problems in Many-Sorted Composition-Nominative Pure Predicate Logics. - Mykola S. Nikitchenko; Valentyn G. Tymofieiev (ICTERI (Revised Selected Papers), 2012)

Composition-Nominative Logics in Rigorous Development of Software Systems. - Mykola S. Nikitchenko; Valentyn G. Tymofieiev (UNISCON, 2012)

Satisfiability in composition-nominative logics. - Mykola S. Nikitchenko; Valentyn G. Tymofieiev (Central Eur. J. Comput. Sci., 2012)

Basics of Intensionalized Data: Presets, Sets, and Nominats. - Mykola S. Nikitchenko; Alexey Chentsov (Comput. Sci. J. Moldova, 2012)

Program Algebras with Monotone Floyd-Hoare Composition. - Andrii Kryvolap; Mykola S. Nikitchenko; Wolfgang Schreiner (ICTERI, 2013)

Extending Floyd-Hoare Logic for Partial Pre- and Postconditions. - Andrii Kryvolap; Mykola Nikitchenko; Wolfgang Schreiner (ICTERI (Revised Selected Papers), 2013)

On a Decidable Formal Theory for Abstract Continuous-Time Dynamical Systems. - Ievgen Ivanov; Mykola S. Nikitchenko; Uri Abraham (ICTERI, 2014)

On Algebraic Properties of Nominative Data and Functions. - Volodymyr G. Skobelev; Mykola S. Nikitchenko; Ievgen Ivanov (ICTERI, 2014)

Першопорядкові композиційно-номінативні логіки із узагальненими реномінаціями (First-order composition-nominative logics with generalized renominations). - Mykola Nikitchenko; Oksana Shkilniak; Stepan S. Shkilniak (UkrPROG, 2014)

Semantic Properties of T-consequence Relation in Logics of Quasiary Predicates. - Mykola S. Nikitchenko; Stepan S. Shkilniak (Comput. Sci. J. Moldova, 2015)

Set-theoretic Analysis of Nominative Data. - Volodymyr G. Skobelev; Ievgen Ivanov; Mykola S. Nikitchenko (Comput. Sci. J. Moldova, 2015)

Event-Based Proof of the Mutual Exclusion Property of Peterson's Algorithm. - Ievgen Ivanov; Mykola S. Nikitchenko; Uri Abraham (Formaliz. Math., 2015)

Pure first-order logics of quasiary predicates. - Mykola Nikitchenko; Oksana Shkilniak; Stepan S. Shkilniak (UkrPROG, 2016)

Proving Properties of Programs on Hierarchical Nominative Data. - Ievgen Ivanov; Mykola S. Nikitchenko; Volodymyr G. Skobelev (Comput. Sci. J. Moldova, 2016)

Formalization of the Algebra of Nominative Data in Mizar. - Artur Kornilowicz; Andrii Kryvolap; Mykola S. Nikitchenko; Ievgen Ivanov (FedCSIS, 2017)

An Approach To Formalization of an Extension of Floyd-Hoare Logic. - Artur Kornilowicz; Andrii Kryvolap; Mykola S. Nikitchenko; Ievgen Ivanov (ICTERI, 2017)

Extended Floyd-Hoare Logic over Relational Nominative Data. - Mykola Nikitchenko; Ievgen Ivanov; Artur Kornilowicz; Andrii Kryvolap (ICTERI (Revised Selected Papers), 2017)

Formalization of the Nominative Algorithmic Algebra in Mizar. - Artur Kornilowicz; Andrii Kryvolap; Mykola S. Nikitchenko; Ievgen Ivanov (ISAT (2), 2017)

Nominative data with ordered set of names. - Volodymyr G. Skobelev; Ievgen Ivanov; Mykola S. Nikitchenko (Comput. Sci. J. Moldova, 2017)

Simple-Named Complex-Valued Nominative Data - Definition and Basic Operations. - Ievgen Ivanov; Mykola S. Nikitchenko; Andrii Kryvolap; Artur Kornilowicz (Formaliz. Math., 2017)

Satisfiability Problems in Quasiary Program Logics. - Mykola Nikitchenko; Stepan S. Shkilniak; Valentyn G. Tymofieiev (ACIT, 2018)

On the Sequence Rule for the Floyd-Hoare Logic with Partial Pre- and Post-Conditions. - Ievgen Ivanov; Mykola S. Nikitchenko (ICTERI Workshops, 2018)

Inference Rules for the Partial Floyd-Hoare Logic Based on Composition of Predicate Complement. - Ievgen Ivanov; Mykola S. Nikitchenko (ICTERI (Revised Selected Papers), 2018)

Логіки загальних недетермінованих предикатів: cемантичні аспекти Logics of general non-deterministic predicates: semantic aspects. - Mykola Nikitchenko; Oksana Shkilniak; Stepan S. Shkilniak (UkrPROG, 2018)

Implementation of the Composition-nominative Approach to Program Formalization in Mizar. - Ievgen Ivanov; Artur Kornilowicz; Mykola S. Nikitchenko (Comput. Sci. J. Moldova, 2018)

On Algebras of Algorithms and Specifications over Uninterpreted Data. - Ievgen Ivanov; Artur Kornilowicz; Mykola S. Nikitchenko (Formaliz. Math., 2018)

On an Algorithmic Algebra over Simple-Named Complex-Valued Nominative Data. - Ievgen Ivanov; Artur Kornilowicz; Mykola S. Nikitchenko (Formaliz. Math., 2018)

An Inference System of an Extension of Floyd-Hoare Logic for Partial Predicates. - Ievgen Ivanov; Artur Kornilowicz; Mykola S. Nikitchenko (Formaliz. Math., 2018)

Partial Correctness of GCD Algorithm. - Ievgen Ivanov; Artur Kornilowicz; Mykola S. Nikitchenko (Formaliz. Math., 2018)

Kleene Algebra of Partial Predicates. - Artur Kornilowicz; Ievgen Ivanov; Mykola S. Nikitchenko (Formaliz. Math., 2018)

Composition-Nominative Logics as Institutions. - Alexey Chentsov; Mykola S. Nikitchenko (Logica Universalis, 2018)

Program Logics Based on Algebras with the Composition of Predicate Complement. - Mykola Nikitchenko; Oksana Shkilniak; Stepan S. Shkilniak (ACIT, 2019)

On the Kleene Algebra of Partial Predicates with Predicate Complement. - Ievgen Ivanov; Mykola S. Nikitchenko (ICTERI Workshops, 2019)

Expressibility in the Kleene Algebra of Partial Predicates with the Complement Composition. - Ievgen Ivanov; Mykola S. Nikitchenko (ICTERI (Revised Selected Papers), 2019)

Program Logics of Renominative Level with the Composition of Predicate Complement. - Mykola S. Nikitchenko; Oksana Shkilniak; Stepan S. Shkilniak (ICTERI Workshops, 2019)

Program-Oriented Logics of Renominative Level with Extended Renomination and Equality. - Mykola S. Nikitchenko; Oksana Shkilniak; Stepan S. Shkilniak (ICTERI (Revised Selected Papers), 2019)

Completeness of the First-Order Logic of Partial Quasiary Predicates with the Complement Composition. - Mykola S. Nikitchenko; Oksana Shkilniak; Stepan S. Shkilniak; Tohrul Mamedov (Comput. Sci. J. Moldova, 2019)

Sequent Calculus for a Program-oriented Predicate Logic over Complex-Named Data. - Mykola Nikitchenko; Oksana Shkilniak; Stepan S. Shkilniak (ACIT, 2020)

Sequent Calculi of First-order Logics of Partial Predicates with Extended Renominations and Composition of Predicate Complement. - Mykola Nikitchenko; Oksana Shkilniak; Stepan S. Shkilniak (UkrPROG, 2020)

Revisiting Data-Information-Knowledge-Wisdom Hierarchy from a Logic Perspective. - Mykola Nikitchenko (HPCC/DSS/SmartCity/DependSys, 2021)

Composition-Nominative Methods and Models in Program Development. - Mykola Nikitchenko (SN Comput. Sci., 2022)