Mykola S. Nikitchenko

Publication Activity (10 Years)

Years Active: 2012-2019
Publications (10 Years): 23

Top Topics

Semantic Properties

Theoretic Analysis

Inference Rules

Expressive Power

Top Venues

Formaliz. Math.

Comput. Sci. J. Moldova

ICTERI (Revised Selected Papers)

Publications

Ievgen Ivanov, Mykola S. Nikitchenko
On the Kleene Algebra of Partial Predicates with Predicate Complement. ICTERI Workshops (2019)
Mykola S. Nikitchenko, Oksana Shkilniak, Stepan S. Shkilniak
Program-Oriented Logics of Renominative Level with Extended Renomination and Equality. ICTERI (Revised Selected Papers) (2019)
Ievgen Ivanov, Mykola S. Nikitchenko
Expressibility in the Kleene Algebra of Partial Predicates with the Complement Composition. ICTERI (Revised Selected Papers) (2019)
Mykola S. Nikitchenko, Oksana Shkilniak, Stepan S. Shkilniak
Program Logics of Renominative Level with the Composition of Predicate Complement. ICTERI Workshops (2019)
Mykola S. Nikitchenko, Oksana Shkilniak, Stepan S. Shkilniak, Tohrul Mamedov
Completeness of the First-Order Logic of Partial Quasiary Predicates with the Complement Composition. Comput. Sci. J. Moldova 27 (2) (2019)
Alexey Chentsov, Mykola S. Nikitchenko
Composition-Nominative Logics as Institutions. Logica Universalis 12 (1-2) (2018)
Ievgen Ivanov, Mykola S. Nikitchenko
Inference Rules for the Partial Floyd-Hoare Logic Based on Composition of Predicate Complement. ICTERI (Revised Selected Papers) (2018)
Ievgen Ivanov, Artur Kornilowicz, Mykola S. Nikitchenko
Implementation of the Composition-nominative Approach to Program Formalization in Mizar. Comput. Sci. J. Moldova 26 (1) (2018)
Ievgen Ivanov, Artur Kornilowicz, Mykola S. Nikitchenko
On Algebras of Algorithms and Specifications over Uninterpreted Data. Formaliz. Math. 26 (2) (2018)
Ievgen Ivanov, Artur Kornilowicz, Mykola S. Nikitchenko
An Inference System of an Extension of Floyd-Hoare Logic for Partial Predicates. Formaliz. Math. 26 (2) (2018)
Ievgen Ivanov, Artur Kornilowicz, Mykola S. Nikitchenko
Partial Correctness of GCD Algorithm. Formaliz. Math. 26 (2) (2018)
Artur Kornilowicz, Ievgen Ivanov, Mykola S. Nikitchenko
Kleene Algebra of Partial Predicates. Formaliz. Math. 26 (1) (2018)
Ievgen Ivanov, Artur Kornilowicz, Mykola S. Nikitchenko
On an Algorithmic Algebra over Simple-Named Complex-Valued Nominative Data. Formaliz. Math. 26 (2) (2018)
Ievgen Ivanov, Mykola S. Nikitchenko
On the Sequence Rule for the Floyd-Hoare Logic with Partial Pre- and Post-Conditions. ICTERI Workshops (2018)
Volodymyr G. Skobelev, Ievgen Ivanov, Mykola S. Nikitchenko
Nominative data with ordered set of names. Comput. Sci. J. Moldova 25 (2) (2017)
Ievgen Ivanov, Mykola S. Nikitchenko, Andrii Kryvolap, Artur Kornilowicz
Simple-Named Complex-Valued Nominative Data - Definition and Basic Operations. Formaliz. Math. 25 (3) (2017)
Artur Kornilowicz, Andrii Kryvolap, Mykola S. Nikitchenko, Ievgen Ivanov
Formalization of the Nominative Algorithmic Algebra in Mizar. ISAT (2) (2017)
Artur Kornilowicz, Andrii Kryvolap, Mykola S. Nikitchenko, Ievgen Ivanov
Formalization of the Algebra of Nominative Data in Mizar. FedCSIS (2017)
Artur Kornilowicz, Andrii Kryvolap, Mykola S. Nikitchenko, Ievgen Ivanov
An Approach To Formalization of an Extension of Floyd-Hoare Logic. ICTERI (2017)
Ievgen Ivanov, Mykola S. Nikitchenko, Volodymyr G. Skobelev
Proving Properties of Programs on Hierarchical Nominative Data. Comput. Sci. J. Moldova 24 (3) (2016)
Ievgen Ivanov, Mykola S. Nikitchenko, Uri Abraham
Event-Based Proof of the Mutual Exclusion Property of Peterson's Algorithm. Formaliz. Math. 23 (4) (2015)
Volodymyr G. Skobelev, Ievgen Ivanov, Mykola S. Nikitchenko
Set-theoretic Analysis of Nominative Data. Comput. Sci. J. Moldova 23 (3) (2015)
Mykola S. Nikitchenko, Stepan S. Shkilniak
Semantic Properties of T-consequence Relation in Logics of Quasiary Predicates. Comput. Sci. J. Moldova 23 (2) (2015)
Volodymyr G. Skobelev, Mykola S. Nikitchenko, Ievgen Ivanov
On Algebraic Properties of Nominative Data and Functions. ICTERI (2014)
Ievgen Ivanov, Mykola S. Nikitchenko, Uri Abraham
On a Decidable Formal Theory for Abstract Continuous-Time Dynamical Systems. ICTERI (2014)
Andrii Kryvolap, Mykola S. Nikitchenko, Wolfgang Schreiner
Program Algebras with Monotone Floyd-Hoare Composition. ICTERI (2013)
Mykola S. Nikitchenko, Valentyn G. Tymofieiev
Satisfiability Problem in Composition-Nominative Logics of Quantifier-Equational Level. ICTERI (2012)
Mykola S. Nikitchenko, Valentyn G. Tymofieiev
Composition-Nominative Logics in Rigorous Development of Software Systems. UNISCON (2012)
Mykola S. Nikitchenko, Alexey Chentsov
Basics of Intensionalized Data: Presets, Sets, and Nominats. Comput. Sci. J. Moldova 20 (3) (2012)
Mykola S. Nikitchenko, Valentyn G. Tymofieiev
Satisfiability and Validity Problems in Many-Sorted Composition-Nominative Pure Predicate Logics. ICTERI (Revised Selected Papers) (2012)
Mykola S. Nikitchenko, Valentyn G. Tymofieiev
Satisfiability in composition-nominative logics. Central Eur. J. Comput. Sci. 2 (3) (2012)
Mykola S. Nikitchenko, Stepan S. Shkilniak
Semantics-based Logics over Hierarchical Nominative Data. ICTERI (2012)