Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Mykola Nikitchenko
Mykola S. Nikitchenko
2010 – today
- 2013
[c3]Andrii Kryvolap, Mykola Nikitchenko, Wolfgang Schreiner: Program Algebras with Monotone Floyd-Hoare Composition. ICTERI 2013: 533-549- [e2]Vadim Ermolayev, Heinrich C. Mayr, Mykola Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych, Mikhail Zavileysky, Hennadiy Kravtsov, Vitaliy Kobets, Vladimir S. Peschanenko (Eds.): 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
- 2012
- [j2]Mykola S. Nikitchenko, Valentyn G. Tymofieiev: Satisfiability in composition-nominative logics. Central Europ. J. Computer Science 2(3): 194-213 (2012)
- [j1]Mykola Nikitchenko, Alexey Chentsov: Basics of Intensionalized Data: Presets, Sets, and Nominats. The Computer Science Journal of Moldova 20(3): 334-365 (2012)
- [c2]Mykola S. Nikitchenko, Valentyn G. Tymofieiev: Satisfiability Problem in Composition-Nominative Logics of Quantifier-Equational Level. ICTERI 2012: 56-70
- [c1]Mykola S. Nikitchenko, Valentyn G. Tymofieiev: Composition-Nominative Logics in Rigorous Development of Software Systems. UNISCON 2012: 140-151
- [e1]Vadim Ermolayev, Heinrich C. Mayr, Mykola Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych, Mikhail Zavileysky, Vitaliy Kobets (Eds.): 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
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:14 CEST by the dblp team