Publications:

1. Mykola Nikitchenko and Stepan Shkilniak Mathematical logic and theory of algorithms // Publishing house of Taras Shevchenko National University of Kyiv, Kyiv, 528 p. (In Ukrainian, 2008). Approved by the Ministry of Education of Ukraine as a handbook for Universities.
   
2. Mykola Nikitchenko Theory of Programming // Publishing house of Mykola Gogol State University of Nizhyn, Nizhyn, 120 p. (In Ukrainian, 2010).
3. Mykola Nikitchenko and Stepan Shkilniak Applied Logic // Publishing house of Taras Shevchenko National University of Kyiv, Kyiv, 278 p. (In Ukrainian, 2013).
4. Mykola Nikitchenko, Taras Panchenko, and Sergei Poliakov Theory of Programming in Examples and Tasks // Publishing house of Taras Shevchenko National University of Kyiv, Kyiv, 192 p. (In Ukrainian, 2015).
5. Mykola Nikitchenko, Oksana Shkilniak, and Stepan Shkilniak Theory of Algorithms // Publishing house of Taras Shevchenko National University of Kyiv, Kyiv, 239 p. (In Ukrainian, 2015).
6. Katerina Lavrischeva, Mykola Nikitchenko, Ludmila Omelchuk Technology of Programming of Information Sysrtems. // Publishing house of Taras Shevchenko National University of Kyiv, Kyiv, 367 p. (In Ukrainian, 2016). Approved by the Ministry of Education of Ukraine as a handbook for Universities.
7. Rostyslav M. Trokhymchuk, Mykola Nikitchenko. Discrete Mathematics in Examples and Tasks. // Publishing house of Taras Shevchenko National University of Kyiv, Kyiv, 248 p. (In Ukrainian, 2017, in print).
8. Ivan Basarab, Mykola Nikitchenko, Volodymyr Redko Compositional data bases. // Lybid’: Kiev, 1992, 192 p. (In Russian).
9. Anatoliy Doroshenko, Constantin Zereb, Ievgen Ivanov, Mykola Nikitchenko, and Olena Yatcenko Formal Methods of Parallel Program Construction // Kropyvnyckiy, 440 p. (In Russian, 2016).
10. Nikitchenko M., Tymofieiev V. Satisfiability in composition-nominative logics // Central European Journal of Computer Science, vol. 2, issue 3, 2012, pp. 194-213.
11. Nikitchenko M., Kryvolap A. Properties of inference systems for Floyd-Hoare logic with partial predicates // Acta Electrotechnica et Informatica, Kosice, Slovakia, 2013, vol. 13, number 4, pp. 70-78.
12. Kryvolap A., Nikitchenko M. Schreiner W. Extending Floyd-Hoare logic for partial pre- and postconditions // CCIS 412, Springer, Heidelberg, 2013, pp. 355-378.
13. Skobelev V., Nikitchenko M., Ivanov Ie. On Algebraic Properties of Nominative Data and Functions // CCIS 469, Springer, Heidelberg, 2014, pp. 117-138.

List of publications for years 2010-2017 (in Ukrainian).

Curriculum Vitae