Andrii Kryvolap

Publication Activity (10 Years)

Years Active: 2013-2017
Publications (10 Years): 5

Top Topics

Operational Semantics

Laplace Transform

Top Venues

ICTERI (Revised Selected Papers)

Formaliz. Math.

Publications

Ievgen Ivanov, Mykola S. Nikitchenko, Andrii Kryvolap, Artur Kornilowicz
Simple-Named Complex-Valued Nominative Data - Definition and Basic Operations. Formaliz. Math. 25 (3) (2017)
Artur Kornilowicz, Andrii Kryvolap, Mykola S. Nikitchenko, Ievgen Ivanov
Formalization of the Nominative Algorithmic Algebra in Mizar. ISAT (2) (2017)
Artur Kornilowicz, Andrii Kryvolap, Mykola S. Nikitchenko, Ievgen Ivanov
Formalization of the Algebra of Nominative Data in Mizar. FedCSIS (2017)
Mykola Nikitchenko, Ievgen Ivanov, Artur Kornilowicz, Andrii Kryvolap
Extended Floyd-Hoare Logic over Relational Nominative Data. ICTERI (Revised Selected Papers) (2017)
Artur Kornilowicz, Andrii Kryvolap, Mykola S. Nikitchenko, Ievgen Ivanov
An Approach To Formalization of an Extension of Floyd-Hoare Logic. ICTERI (2017)
Andrii Kryvolap, Mykola S. Nikitchenko, Wolfgang Schreiner
Program Algebras with Monotone Floyd-Hoare Composition. ICTERI (2013)
Andrii Kryvolap, Mykola Nikitchenko, Wolfgang Schreiner
Extending Floyd-Hoare Logic for Partial Pre- and Postconditions. ICTERI (Revised Selected Papers) (2013)