| 2019 | ICTERI | On the Kleene Algebra of Partial Predicates with Predicate Complement. | Ievgen Ivanov, Mykola S. Nikitchenko |
| 2019 | ICTERI | Expressibility in the Kleene Algebra of Partial Predicates with the Complement Composition. | Ievgen Ivanov, Mykola S. Nikitchenko |
| 2019 | ICTERI | Program Logics of Renominative Level with the Composition of Predicate Complement. | Mykola S. Nikitchenko, Oksana Shkilniak, Stepan S. Shkilniak |
| 2019 | ICTERI | Program-Oriented Logics of Renominative Level with Extended Renomination and Equality. | Mykola S. Nikitchenko, Oksana Shkilniak, Stepan S. Shkilniak |
| 2018 | ICTERI | On the Sequence Rule for the Floyd-Hoare Logic with Partial Pre- and Post-Conditions. | Ievgen Ivanov, Mykola S. Nikitchenko |
| 2018 | ICTERI | Inference Rules for the Partial Floyd-Hoare Logic Based on Composition of Predicate Complement. | Ievgen Ivanov, Mykola S. Nikitchenko |
| 2017 | FedCSIS | Formalization of the Algebra of Nominative Data in Mizar. | Artur Kornilowicz, Andrii Kryvolap, Mykola S. Nikitchenko, Ievgen Ivanov |
| 2017 | ICTERI | An Approach To Formalization of an Extension of Floyd-Hoare Logic. | Artur Kornilowicz, Andrii Kryvolap, Mykola S. Nikitchenko, Ievgen Ivanov |
| 2014 | ICTERI | On a Decidable Formal Theory for Abstract Continuous-Time Dynamical Systems. | Ievgen Ivanov, Mykola S. Nikitchenko, Uri Abraham |
| 2014 | ICTERI | On Algebraic Properties of Nominative Data and Functions. | Volodymyr G. Skobelev, Mykola S. Nikitchenko, Ievgen Ivanov |
| 2013 | ICTERI | Program Algebras with Monotone Floyd-Hoare Composition. | Andrii Kryvolap, Mykola S. Nikitchenko, Wolfgang Schreiner |
| 2012 | ICTERI | Semantics-based Logics over Hierarchical Nominative Data. | Mykola S. Nikitchenko, Stepan S. Shkilniak |
| 2012 | ICTERI | Satisfiability Problem in Composition-Nominative Logics of Quantifier-Equational Level. | Mykola S. Nikitchenko, Valentyn G. Tymofieiev |
| 2012 | ICTERI | Satisfiability and Validity Problems in Many-Sorted Composition-Nominative Pure Predicate Logics. | Mykola S. Nikitchenko, Valentyn G. Tymofieiev |