Mykola Nikitchenko
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
2
Active years
2011–2021
Best venue rank
National
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | HPCC | Revisiting Data-Information-Knowledge-Wisdom Hierarchy from a Logic Perspective. | Mykola Nikitchenko |
| 2017 | ICTERI | Extended Floyd-Hoare Logic over Relational Nominative Data. | Mykola Nikitchenko, Ievgen Ivanov, Artur Kornilowicz, Andrii Kryvolap |
| 2013 | ICTERI | Extending Floyd-Hoare Logic for Partial Pre- and Postconditions. | Andrii Kryvolap, Mykola Nikitchenko, Wolfgang Schreiner |
| 2011 | ICTERI | Gnoseology-based Approach to Foundations of Informatics. | Mykola Nikitchenko |