| Extending Floyd-Hoare logic for partial pre-and postconditions A Kryvolap, M Nikitchenko, W Schreiner Information and Communication Technologies in Education, Research, and …, 2013 | 53 | 2013 |
| Formalization of the nominative algorithmic algebra in Mizar A Korniłowicz, A Kryvolap, M Nikitchenko, I Ivanov Information Systems Architecture and Technology: Proceedings of 38th …, 2018 | 19 | 2018 |
| Formalization of the algebra of nominative data in Mizar A Korniłowicz, A Kryvolap, M Nikitchenko, I Ivanov 2017 Federated Conference on Computer Science and Information Systems …, 2017 | 18 | 2017 |
| Simple-named complex-valued nominative data–definition and basic operations I Ivanov, M Nikitchenko, A Kryvolap, A Korniłowicz Formalized Mathematics 25 (3), 205-216, 2017 | 14 | 2017 |
| Properties of inference systems for Floyd-Hoare logic with partial predicates M Nikitchenko, A Kryvolap Acta Electrotechnica et Informatica 13 (4), 70-78, 2013 | 10 | 2013 |
| Extended Floyd-Hoare logic over relational nominative data M Nikitchenko, I Ivanov, A Korniłowicz, A Kryvolap Information and Communication Technologies in Education, Research, and …, 2018 | 7 | 2018 |
| An approach to formalization of an extension of Floyd-Hoare logic A Kornilowicz, A Kryvolap, M Nikitchenko, I Ivanov CEUR Workshop Proceedings, 504-523, 2017 | 5 | 2017 |
| Program Algebras with Monotone Floyd-Hoare Composition. A Kryvolap, MS Nikitchenko, W Schreiner ICTERI, 533-549, 2013 | 1 | 2013 |
