Andrii Kryvolap
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
2
Active years
2013–2017
Best venue rank
National
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | FedCSIS | Formalization of the Algebra of Nominative Data in Mizar. | Artur Kornilowicz, Andrii Kryvolap, Mykola S. Nikitchenko, Ievgen Ivanov |
| 2017 | ICTERI | An Approach To Formalization of an Extension of Floyd-Hoare Logic. | Artur Kornilowicz, Andrii Kryvolap, Mykola S. Nikitchenko, Ievgen Ivanov |
| 2017 | ICTERI | Extended Floyd-Hoare Logic over Relational Nominative Data. | Mykola Nikitchenko, Ievgen Ivanov, Artur Kornilowicz, Andrii Kryvolap |
| 2013 | ICTERI | Program Algebras with Monotone Floyd-Hoare Composition. | Andrii Kryvolap, Mykola S. Nikitchenko, Wolfgang Schreiner |
| 2013 | ICTERI | Extending Floyd-Hoare Logic for Partial Pre- and Postconditions. | Andrii Kryvolap, Mykola Nikitchenko, Wolfgang Schreiner |