Mykola S. Nikitchenko

48 papers C 1Misc 15Journal 16Unranked 9
YearRankTypeTitle / Venue / Authors
2019 J jnl
Completeness of the First-Order Logic of Partial Quasiary Predicates with the Complement Composition.
Comput. Sci. J. Moldova
Mykola S. Nikitchenko, Oksana Shkilniak, Stepan S. Shkilniak, Tohrul Mamedov
2019 — conf
Expressibility in the Kleene Algebra of Partial Predicates with the Complement Composition.
ICTERI (Revised Selected Papers)
Ievgen Ivanov, Mykola S. Nikitchenko
2019 — ed.
Information and Communication Technologies in Education, Research, and Industrial Applications - 14th International Conference, ICTERI 2018, Kyiv, Ukraine, May 14-17, 2018, Revised Selected Papers
ICTERI (Revised Selected Papers)
Vadim Ermolayev, Mari Carmen Suárez-Figueroa, Vitaliy Yakovyna, Heinrich C. Mayr, Mykola S. Nikitchenko, Aleksander Spivakovsky
2019 — conf
On the Kleene Algebra of Partial Predicates with Predicate Complement.
ICTERI Workshops
Ievgen Ivanov, Mykola S. Nikitchenko
2019 — ed.
Proceedings of the 15th International Conference on ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer. Volume II: Workshops, Kherson, Ukraine, June 12-15, 2019.
ICTERI Workshops
Vadim Ermolayev, Frédéric Mallet, Vitaliy Yakovyna, Vyacheslav S. Kharchenko, Vitaliy Kobets, Artur Kornilowicz, Hennadiy Kravtsov, Mykola S. Nikitchenko, Serhiy Semerikov, Aleksander Spivakovsky
2019 — conf
Program Logics of Renominative Level with the Composition of Predicate Complement.
ICTERI Workshops
Mykola S. Nikitchenko, Oksana Shkilniak, Stepan S. Shkilniak
2019 — conf
Program-Oriented Logics of Renominative Level with Extended Renomination and Equality.
ICTERI (Revised Selected Papers)
Mykola S. Nikitchenko, Oksana Shkilniak, Stepan S. Shkilniak
2018 J jnl
An Inference System of an Extension of Floyd-Hoare Logic for Partial Predicates.
Formaliz. Math.
Ievgen Ivanov, Artur Kornilowicz, Mykola S. Nikitchenko
2018 J jnl
Composition-Nominative Logics as Institutions.
Logica Universalis
Alexey Chentsov, Mykola S. Nikitchenko
2018 J jnl
Implementation of the Composition-nominative Approach to Program Formalization in Mizar.
Comput. Sci. J. Moldova
Ievgen Ivanov, Artur Kornilowicz, Mykola S. Nikitchenko
2018 — conf
Inference Rules for the Partial Floyd-Hoare Logic Based on Composition of Predicate Complement.
ICTERI (Revised Selected Papers)
Ievgen Ivanov, Mykola S. Nikitchenko
2018 — ed.
Information and Communication Technologies in Education, Research, and Industrial Applications - 13th International Conference, ICTERI 2017, Kyiv, Ukraine, May 15-18, 2017, Revised Selected Papers
ICTERI (Revised Selected Papers)
Nick Bassiliades, Vadim Ermolayev, Hans-Georg Fill, Vitaliy Yakovyna, Heinrich C. Mayr, Mykola S. Nikitchenko, Grygoriy Zholtkevych, Aleksander Spivakovsky
2018 J jnl
Kleene Algebra of Partial Predicates.
Formaliz. Math.
Artur Kornilowicz, Ievgen Ivanov, Mykola S. Nikitchenko
2018 J jnl
On Algebras of Algorithms and Specifications over Uninterpreted Data.
Formaliz. Math.
Ievgen Ivanov, Artur Kornilowicz, Mykola S. Nikitchenko
2018 J jnl
On an Algorithmic Algebra over Simple-Named Complex-Valued Nominative Data.
Formaliz. Math.
Ievgen Ivanov, Artur Kornilowicz, Mykola S. Nikitchenko
2018 — conf
On the Sequence Rule for the Floyd-Hoare Logic with Partial Pre- and Post-Conditions.
ICTERI Workshops
Ievgen Ivanov, Mykola S. Nikitchenko
2018 J jnl
Partial Correctness of GCD Algorithm.
Formaliz. Math.
Ievgen Ivanov, Artur Kornilowicz, Mykola S. Nikitchenko
2018 Misc ed.
Proceedings of the 14th International Conference on ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer. Volume I: Main Conference, Kyiv, Ukraine, May 14-17, 2018.
ICTERI
Vadim Ermolayev, Mari Carmen Suárez-Figueroa, Agnieszka Lawrynowicz, Raúl Palma, Vitaliy Yakovyna, Heinrich C. Mayr, Mykola S. Nikitchenko, Aleksander Spivakovsky
2017 Misc conf
An Approach To Formalization of an Extension of Floyd-Hoare Logic.
ICTERI
Artur Kornilowicz, Andrii Kryvolap, Mykola S. Nikitchenko, Ievgen Ivanov
2017 C conf
Formalization of the Algebra of Nominative Data in Mizar.
FedCSIS
Artur Kornilowicz, Andrii Kryvolap, Mykola S. Nikitchenko, Ievgen Ivanov
2017 — conf
Formalization of the Nominative Algorithmic Algebra in Mizar.
ISAT (2)
Artur Kornilowicz, Andrii Kryvolap, Mykola S. Nikitchenko, Ievgen Ivanov
2017 Misc ed.
Information and Communication Technologies in Education, Research, and Industrial Applications - 12th International Conference, ICTERI 2016, Kyiv, Ukraine, June 21-24, 2016, Revised Selected Papers
ICTERI (Revised Selected Papers)
Athula Ginige, Heinrich C. Mayr, Dimitris Plexousakis, Vadim Ermolayev, Mykola S. Nikitchenko, Grygoriy Zholtkevych, Aleksander Spivakovskiy
2017 J jnl
Nominative data with ordered set of names.
Comput. Sci. J. Moldova
Volodymyr G. Skobelev, Ievgen Ivanov, Mykola S. Nikitchenko
2017 Misc ed.
Proceedings of the 13th International Conference on ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer, ICTERI 2017, Kyiv, Ukraine, May 15-18, 2017.
ICTERI
Vadim Ermolayev, Nick Bassiliades, Hans-Georg Fill, Vitaliy Yakovyna, Heinrich C. Mayr, Vyacheslav S. Kharchenko, Vladimir S. Peschanenko, Mariya Shyshkina, Mykola S. Nikitchenko, Aleksander Spivakovsky
2017 — ed.
Proceedings of the 14th International Conference on ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer. Volume II: Workshops, Kyiv, Ukraine, May 14-17, 2018.
ICTERI Workshops
Vadim Ermolayev, Mari Carmen Suárez-Figueroa, Vitaliy Yakovyna, Vyacheslav S. Kharchenko, Vitaliy Kobets, Hennadiy Kravtsov, Vladimir S. Peschanenko, Yaroslav Prytula, Mykola S. Nikitchenko, Aleksander Spivakovsky
2017 J jnl
Simple-Named Complex-Valued Nominative Data - Definition and Basic Operations.
Formaliz. Math.
Ievgen Ivanov, Mykola S. Nikitchenko, Andrii Kryvolap, Artur Kornilowicz
2016 — ed.
Information and Communication Technologies in Education, Research, and Industrial Applications - 11th International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers
ICTERI (Revised Selected Papers)
Vitaliy Yakovyna, Heinrich C. Mayr, Mykola S. Nikitchenko, Grygoriy Zholtkevych, Aleksander Spivakovsky, Sotiris Batsakis
2016 Misc ed.
Proceedings of the 12th International Conference on ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer, Kyiv, Ukraine, June 21-24, 2016.
ICTERI
Vadim Ermolayev, Aleksander Spivakovsky, Mykola S. Nikitchenko, Athula Ginige, Heinrich C. Mayr, Dimitris Plexousakis, Grygoriy Zholtkevych, Oleksandr Burov, Vyacheslav S. Kharchenko, Vitaliy Kobets
2016 J jnl
Proving Properties of Programs on Hierarchical Nominative Data.
Comput. Sci. J. Moldova
Ievgen Ivanov, Mykola S. Nikitchenko, Volodymyr G. Skobelev
2015 J jnl
Event-Based Proof of the Mutual Exclusion Property of Peterson's Algorithm.
Formaliz. Math.
Ievgen Ivanov, Mykola S. Nikitchenko, Uri Abraham
2015 Misc ed.
Proceedings of the 11th International Conference on ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer, Lviv, Ukraine, May 14-16, 2015.
ICTERI
Sotiris Batsakis, Heinrich C. Mayr, Vitaliy Yakovyna, Mykola S. Nikitchenko, Grygoriy Zholtkevych, Vyacheslav S. Kharchenko, Hennadiy Kravtsov, Vitaliy Kobets, Vladimir S. Peschanenko, Vadim Ermolayev, Yuriy Bobalo, Aleksander Spivakovsky
2015 J jnl
Semantic Properties of T-consequence Relation in Logics of Quasiary Predicates.
Comput. Sci. J. Moldova
Mykola S. Nikitchenko, Stepan S. Shkilniak
2015 J jnl
Set-theoretic Analysis of Nominative Data.
Comput. Sci. J. Moldova
Volodymyr G. Skobelev, Ievgen Ivanov, Mykola S. Nikitchenko
2014 Misc ed.
Information and Communication Technologies in Education, Research, and Industrial Applications - 10th International Conference, ICTERI 2014, Kherson, Ukraine, June 9-12, 2014, Revised Selected Papers
ICTERI
Vadim Ermolayev, Heinrich C. Mayr, Mykola S. Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych
2014 Misc conf
On Algebraic Properties of Nominative Data and Functions.
ICTERI
Volodymyr G. Skobelev, Mykola S. Nikitchenko, Ievgen Ivanov
2014 Misc conf
On a Decidable Formal Theory for Abstract Continuous-Time Dynamical Systems.
ICTERI
Ievgen Ivanov, Mykola S. Nikitchenko, Uri Abraham
2013 — ed.
ICT in Education, Research, and Industrial Applications - 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers
ICTERI (Revised Selected Papers)
Vadim Ermolayev, Heinrich C. Mayr, Mykola S. Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych
2013 — ed.
Information and Communication Technologies in Education, Research, and Industrial Applications - 9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers
ICTERI (Revised Selected Papers)
Vadim Ermolayev, Heinrich C. Mayr, Mykola S. Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych
2013 Misc ed.
Proceedings of the 9th International Conference on ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer, Kherson, Ukraine, June 19-22, 2013
ICTERI
Vadim Ermolayev, Heinrich C. Mayr, Mykola S. Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych, Mikhail Zavileysky, Hennadiy Kravtsov, Vitaliy Kobets, Vladimir S. Peschanenko
2013 Misc conf
Program Algebras with Monotone Floyd-Hoare Composition.
ICTERI
Andrii Kryvolap, Mykola S. Nikitchenko, Wolfgang Schreiner
2012 J jnl
Basics of Intensionalized Data: Presets, Sets, and Nominats.
Comput. Sci. J. Moldova
Mykola S. Nikitchenko, Alexey Chentsov
2012 — conf
Composition-Nominative Logics in Rigorous Development of Software Systems.
UNISCON
Mykola S. Nikitchenko, Valentyn G. Tymofieiev
2012 Misc ed.
Proceedings of the 8th International Conference on ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer, Kherson, Ukraine, June 6-10, 2012
ICTERI
Vadim Ermolayev, Heinrich C. Mayr, Mykola S. Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych, Mikhail Zavileysky, Vitaliy Kobets
2012 Misc conf
Satisfiability Problem in Composition-Nominative Logics of Quantifier-Equational Level.
ICTERI
Mykola S. Nikitchenko, Valentyn G. Tymofieiev
2012 — conf
Satisfiability and Validity Problems in Many-Sorted Composition-Nominative Pure Predicate Logics.
ICTERI (Revised Selected Papers)
Mykola S. Nikitchenko, Valentyn G. Tymofieiev
2012 J jnl
Satisfiability in composition-nominative logics.
Central Eur. J. Comput. Sci.
Mykola S. Nikitchenko, Valentyn G. Tymofieiev
2012 Misc conf
Semantics-based Logics over Hierarchical Nominative Data.
ICTERI
Mykola S. Nikitchenko, Stepan S. Shkilniak
2011 Misc ed.
Proceedings of the 7th International Conference on ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer, Kherson, Ukraine, May 4-7, 2011
ICTERI
Vadim Ermolayev, Heinrich C. Mayr, Mykola S. Nikitchenko, Aleksander Spivakovsky, Mikhail Zavileysky, Grygoriy Zholtkevych