default search action
Mykola S. Nikitchenko
Mykola Nikitchenko
Person information
- affiliation: Taras Shevchenko National University of Kyiv, Department of Theory and Technology of Programming, Kiev, Ukraine
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
- [j17]Mykola Nikitchenko
:
Composition-Nominative Methods and Models in Program Development. SN Comput. Sci. 3(6): 507 (2022) - [e23]Vadim Ermolayev
Information and Communication Technologies in Education, Research, and Industrial Applications - 17th International Conference, ICTERI 2021, Kherson, Ukraine, September 28-October 2, 2021, Revised Selected Papers. Communications in Computer and Information Science 1698, Springer 2022, ISBN 978-3-031-20833-1 [contents] - [e22]Anatoly Anisimov, Vitaliy Snytyuk, Chris Aldrich, Andreas Pester, Frédéric Mallet, Hiroshi Tanaka, Iurii Krak, Karsten Henke, Mykola Nikitchenko, Oleg Chertov, Oleksandr Marchenko, Sándor Bozóki, Vitaliy V. Tsyganok, Vladimir Vovk:
Selected Papers of the VIII International Scientific Conference "Information Technology and Implementation" (IT&I-2021). Conference Proceedings, Kyiv, Ukraine, December 01-03, 2021. CEUR Workshop Proceedings 3132, CEUR-WS.org 2022 [contents] - [e21]Anatoly Anisimov, Vitaliy Snytyuk, Chris Aldrich, Andreas Pester, Frédéric Mallet, Hiroshi Tanaka, Iurii Krak, Karsten Henke, Mykola Nikitchenko, Oleg Chertov, Oleksandr Marchenko, Sándor Bozóki, Vitaliy V. Tsyganok, Vladimir Vovk:
Selected Papers of the VIII International Scientific Conference "Information Technology and Implementation" (IT&I-2021), Workshop Proceedings, Kyiv, Ukraine, December 1-3, 2021. CEUR Workshop Proceedings 3179, CEUR-WS.org 2022 [contents] - 2021
- [c27]Mykola Nikitchenko
Revisiting Data-Information-Knowledge-Wisdom Hierarchy from a Logic Perspective. HPCC/DSS/SmartCity/DependSys 2021: 2159-2165 - [e20]Andreas Bollin
Information and Communication Technologies in Education, Research, and Industrial Applications - 16th International Conference, ICTERI 2020, Kharkiv, Ukraine, October 6-10, 2020, Revised Selected Papers. Communications in Computer and Information Science 1308, Springer 2021, ISBN 978-3-030-77591-9 [contents] - [e19]Vadim Ermolayev, David Esteban, Heinrich C. Mayr, Mykola Nikitchenko, Sergiy Bogomolov, Grygoriy Zholtkevych, Vitaliy Yakovyna, Aleksander Spivakovsky:
Proceedings of the 17th International Conference on ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer. Volume I: Main Conference, PhD Symposium, and Posters, Kherson, Ukraine, September 28 - October 2, 2021. CEUR Workshop Proceedings 3013, CEUR-WS.org 2021 [contents] - [e18]Vitaliy Snytyuk, Anatoly Anisimov, Iurii Krak, Mykola Nikitchenko, Oleksandr Marchenko, Frédéric Mallet, Vitaliy V. Tsyganok, Chris Aldrich, Andreas Pester, Hiroshi Tanaka, Karsten Henke, Oleg Chertov, Sándor Bozóki, Vladimir Vovk:
Selected Papers of the 7th International Conference "Information Technology and Interactions" (IT&I-2020). Conferece Proceedings, Kyiv, Ukraine, December 02-03, 2020. CEUR Workshop Proceedings 2833, CEUR-WS.org 2021 [contents] - [e17]Vitaliy Snytyuk, Anatoly Anisimov, Iurii Krak, Mykola Nikitchenko, Oleksandr Marchenko, Frédéric Mallet, Vitaliy V. Tsyganok, Chris Aldrich, Andreas Pester, Hiroshi Tanaka, Karsten Henke, Oleg Chertov, Sándor Bozóki, Vladimir Vovk:
Proceedings of the 7th International Conference "Information Technology and Interactions" (IT&I-2020). Workshops Proceedings, Kyiv, Ukraine, December 02-03, 2020. CEUR Workshop Proceedings 2845, CEUR-WS.org 2021 [contents] - 2020
- [c26]Mykola Nikitchenko, Oksana Shkilniak, Stepan S. Shkilniak:
Sequent Calculus for a Program-oriented Predicate Logic over Complex-Named Data. ACIT 2020: 497-500 - [c25]Mykola Nikitchenko, Oksana Shkilniak, Stepan S. Shkilniak:
Sequent Calculi of First-order Logics of Partial Predicates with Extended Renominations and Composition of Predicate Complement. UkrPROG 2020: 182-197
2010 – 2019
- 2019
- [j16]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): 162-187 (2019) - [c24]Mykola Nikitchenko
Program Logics Based on Algebras with the Composition of Predicate Complement. ACIT 2019: 285-288 - [c23]Ievgen Ivanov, Mykola S. Nikitchenko
Expressibility in the Kleene Algebra of Partial Predicates with the Complement Composition. ICTERI (Revised Selected Papers) 2019: 50-67 - [c22]Mykola S. Nikitchenko
Program-Oriented Logics of Renominative Level with Extended Renomination and Equality. ICTERI (Revised Selected Papers) 2019: 68-88 - [c21]Ievgen Ivanov, Mykola S. Nikitchenko:
On the Kleene Algebra of Partial Predicates with Predicate Complement. ICTERI Workshops 2019: 542-551 - [c20]Mykola S. Nikitchenko, Oksana Shkilniak, Stepan S. Shkilniak:
Program Logics of Renominative Level with the Composition of Predicate Complement. ICTERI Workshops 2019: 603-616 - [e16]Vadim Ermolayev
Information and Communication Technologies in Education, Research, and Industrial Applications - 14th International Conference, ICTERI 2018, Kyiv, Ukraine, May 14-17, 2018, Revised Selected Papers. Communications in Computer and Information Science 1007, Springer 2019, ISBN 978-3-030-13928-5 [contents] - [e15]Vadim Ermolayev, Frédéric Mallet, Vitaliy Yakovyna, Vyacheslav S. Kharchenko, Vitaliy Kobets, Artur Kornilowicz, Hennadiy Kravtsov, Mykola S. Nikitchenko, Serhiy Semerikov, Aleksander Spivakovsky:
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. CEUR Workshop Proceedings 2393, CEUR-WS.org 2019 [contents] - 2018
- [j15]Ievgen Ivanov, Artur Kornilowicz, Mykola S. Nikitchenko:
Implementation of the Composition-nominative Approach to Program Formalization in Mizar. Comput. Sci. J. Moldova 26(1): 59-76 (2018) - [j14]Artur Kornilowicz
Kleene Algebra of Partial Predicates. Formaliz. Math. 26(1): 11-20 (2018) - [j13]Ievgen Ivanov, Artur Kornilowicz
On Algebras of Algorithms and Specifications over Uninterpreted Data. Formaliz. Math. 26(2): 141-147 (2018) - [j12]Ievgen Ivanov, Artur Kornilowicz
On an Algorithmic Algebra over Simple-Named Complex-Valued Nominative Data. Formaliz. Math. 26(2): 149-158 (2018) - [j11]Ievgen Ivanov, Artur Kornilowicz
An Inference System of an Extension of Floyd-Hoare Logic for Partial Predicates. Formaliz. Math. 26(2): 159-164 (2018) - [j10]Ievgen Ivanov, Artur Kornilowicz
Partial Correctness of GCD Algorithm. Formaliz. Math. 26(2): 165-173 (2018) - [j9]Alexey Chentsov, Mykola S. Nikitchenko
Composition-Nominative Logics as Institutions. Logica Universalis 12(1-2): 221-238 (2018) - [c19]Mykola Nikitchenko, Stepan S. Shkilniak, Valentyn G. Tymofieiev:
Satisfiability Problems in Quasiary Program Logics. ACIT 2018: 175-178 - [c18]Ievgen Ivanov, Mykola S. Nikitchenko
Inference Rules for the Partial Floyd-Hoare Logic Based on Composition of Predicate Complement. ICTERI (Revised Selected Papers) 2018: 71-88 - [c17]Ievgen Ivanov, Mykola S. Nikitchenko:
On the Sequence Rule for the Floyd-Hoare Logic with Partial Pre- and Post-Conditions. ICTERI Workshops 2018: 716-724 - [c16]Mykola Nikitchenko, Oksana Shkilniak, Stepan S. Shkilniak:
Логіки загальних недетермінованих предикатів: cемантичні аспекти Logics of general non-deterministic predicates: semantic aspects. UkrPROG 2018: 31-45 - [e14]Nick Bassiliades, Vadim Ermolayev, Hans-Georg Fill, Vitaliy Yakovyna, Heinrich C. Mayr, Mykola S. Nikitchenko, Grygoriy Zholtkevych, Aleksander Spivakovsky:
Information and Communication Technologies in Education, Research, and Industrial Applications - 13th International Conference, ICTERI 2017, Kyiv, Ukraine, May 15-18, 2017, Revised Selected Papers. Communications in Computer and Information Science 826, Springer 2018, ISBN 978-3-319-76167-1 [contents] - [e13]Vadim Ermolayev, Mari Carmen Suárez-Figueroa, Agnieszka Lawrynowicz, Raúl Palma, Vitaliy Yakovyna, Heinrich C. Mayr, Mykola S. Nikitchenko, Aleksander Spivakovsky:
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. CEUR Workshop Proceedings 2105, CEUR-WS.org 2018 [contents] - 2017
- [j8]Volodymyr G. Skobelev, Ievgen Ivanov, Mykola S. Nikitchenko:
Nominative data with ordered set of names. Comput. Sci. J. Moldova 25(2): 195-216 (2017) - [j7]Ievgen Ivanov, Mykola S. Nikitchenko, Andrii Kryvolap, Artur Kornilowicz
Simple-Named Complex-Valued Nominative Data - Definition and Basic Operations. Formaliz. Math. 25(3): 205-216 (2017) - [c15]Artur Kornilowicz
Formalization of the Algebra of Nominative Data in Mizar. FedCSIS 2017: 237-244 - [c14]Mykola Nikitchenko
Extended Floyd-Hoare Logic over Relational Nominative Data. ICTERI (Revised Selected Papers) 2017: 41-64 - [c13]Artur Kornilowicz, Andrii Kryvolap, Mykola S. Nikitchenko, Ievgen Ivanov:
An Approach To Formalization of an Extension of Floyd-Hoare Logic. ICTERI 2017: 504-523 - [c12]Artur Kornilowicz
Formalization of the Nominative Algorithmic Algebra in Mizar. ISAT (2) 2017: 176-186 - [e12]Athula Ginige
Information and Communication Technologies in Education, Research, and Industrial Applications - 12th International Conference, ICTERI 2016, Kyiv, Ukraine, June 21-24, 2016, Revised Selected Papers. Communications in Computer and Information Science 783, Springer 2017, ISBN 978-3-319-69964-6 [contents] - [e11]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:
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. CEUR Workshop Proceedings 1844, CEUR-WS.org 2017 [contents] - [e10]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:
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. CEUR Workshop Proceedings 2104, CEUR-WS.org 2017 [contents] - 2016
- [j6]Ievgen Ivanov, Mykola S. Nikitchenko, Volodymyr G. Skobelev:
Proving Properties of Programs on Hierarchical Nominative Data. Comput. Sci. J. Moldova 24(3): 371-398 (2016) - [c11]Mykola Nikitchenko, Oksana Shkilniak, Stepan S. Shkilniak:
Pure first-order logics of quasiary predicates. UkrPROG 2016: 73-86 - [e9]Vitaliy Yakovyna
Information and Communication Technologies in Education, Research, and Industrial Applications - 11th International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers. Communications in Computer and Information Science 594, Springer 2016, ISBN 978-3-319-30245-4 [contents] - [e8]Vadim Ermolayev, Aleksander Spivakovsky, Mykola S. Nikitchenko, Athula Ginige, Heinrich C. Mayr, Dimitris Plexousakis, Grygoriy Zholtkevych, Oleksandr Burov, Vyacheslav S. Kharchenko, Vitaliy Kobets:
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. CEUR Workshop Proceedings 1614, CEUR-WS.org 2016 [contents] - 2015
- [j5]Mykola S. Nikitchenko, Stepan S. Shkilniak:
Semantic Properties of T-consequence Relation in Logics of Quasiary Predicates. Comput. Sci. J. Moldova 23(2): 102-122 (2015) - [j4]Volodymyr G. Skobelev, Ievgen Ivanov, Mykola S. Nikitchenko:
Set-theoretic Analysis of Nominative Data. Comput. Sci. J. Moldova 23(3): 270-288 (2015) - [j3]Ievgen Ivanov, Mykola S. Nikitchenko
Event-Based Proof of the Mutual Exclusion Property of Peterson's Algorithm. Formaliz. Math. 23(4): 325-331 (2015) - [e7]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:
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. CEUR Workshop Proceedings 1356, CEUR-WS.org 2015 [contents] - 2014
- [c10]Ievgen Ivanov, Mykola S. Nikitchenko
On a Decidable Formal Theory for Abstract Continuous-Time Dynamical Systems. ICTERI 2014: 78-99 - [c9]Volodymyr G. Skobelev
On Algebraic Properties of Nominative Data and Functions. ICTERI 2014: 117-138 - [c8]Mykola Nikitchenko, Oksana Shkilniak, Stepan S. Shkilniak:
Першопорядкові композиційно-номінативні логіки із узагальненими реномінаціями (First-order composition-nominative logics with generalized renominations). UkrPROG 2014: 17-28 - [e6]Vadim Ermolayev
Information and Communication Technologies in Education, Research, and Industrial Applications - 10th International Conference, ICTERI 2014, Kherson, Ukraine, June 9-12, 2014, Revised Selected Papers. Communications in Computer and Information Science 469, Springer 2014, ISBN 978-3-319-13205-1 [contents] - 2013
- [c7]Andrii Kryvolap, Mykola Nikitchenko
Extending Floyd-Hoare Logic for Partial Pre- and Postconditions. ICTERI (Revised Selected Papers) 2013: 355-378 - [c6]Andrii Kryvolap, Mykola S. Nikitchenko, Wolfgang Schreiner:
Program Algebras with Monotone Floyd-Hoare Composition. ICTERI 2013: 533-549 - [e5]Vadim Ermolayev, Heinrich C. Mayr, Mykola S. Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych:
ICT in Education, Research, and Industrial Applications - 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers. Communications in Computer and Information Science 347, Springer 2013, ISBN 978-3-642-35736-7 [contents] - [e4]Vadim Ermolayev
Information and Communication Technologies in Education, Research, and Industrial Applications - 9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers. Communications in Computer and Information Science 412, Springer 2013, ISBN 978-3-319-03997-8 [contents] - [e3]Vadim Ermolayev, Heinrich C. Mayr, Mykola S. Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych, Mikhail Zavileysky, Hennadiy Kravtsov, Vitaliy Kobets, Vladimir S. Peschanenko:
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. CEUR Workshop Proceedings 1000, CEUR-WS.org 2013 [contents] - 2012
- [j2]Mykola S. Nikitchenko
Satisfiability in composition-nominative logics. Central Eur. J. Comput. Sci. 2(3): 194-213 (2012) - [j1]Mykola S. Nikitchenko, Alexey Chentsov:
Basics of Intensionalized Data: Presets, Sets, and Nominats. Comput. Sci. J. Moldova 20(3): 334-365 (2012) - [c5]Mykola S. Nikitchenko, Valentyn G. Tymofieiev:
Satisfiability Problem in Composition-Nominative Logics of Quantifier-Equational Level. ICTERI 2012: 56-70 - [c4]Mykola S. Nikitchenko, Valentyn G. Tymofieiev:
Satisfiability and Validity Problems in Many-Sorted Composition-Nominative Pure Predicate Logics. ICTERI (Revised Selected Papers) 2012: 89-110 - [c3]Mykola S. Nikitchenko, Stepan S. Shkilniak:
Semantics-based Logics over Hierarchical Nominative Data. ICTERI 2012: 296-311 - [c2]Mykola S. Nikitchenko
Composition-Nominative Logics in Rigorous Development of Software Systems. UNISCON 2012: 140-151 - [e2]Vadim Ermolayev, Heinrich C. Mayr, Mykola S. Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych, Mikhail Zavileysky, Vitaliy Kobets:
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. CEUR Workshop Proceedings 848, CEUR-WS.org 2012 [contents] - 2011
- [c1]Mykola Nikitchenko:
Gnoseology-based Approach to Foundations of Informatics. ICTERI 2011: 27-40 - [e1]Vadim Ermolayev, Heinrich C. Mayr, Mykola S. Nikitchenko, Aleksander Spivakovsky, Mikhail Zavileysky, Grygoriy Zholtkevych:
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. CEUR Workshop Proceedings 716, CEUR-WS.org 2011 [contents]
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-30 20:14 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: