Ievgen Ivanov

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 25

Top Topics

Theoretic Analysis

Algebraic Properties

Totally Ordered

Top Venues

Formaliz. Math.

ICTERI (Revised Selected Papers)

Comput. Sci. J. Moldova

Publications

Ievgen Ivanov
On Newman's Lemma and Non-termination. IT&I (2023)
Ievgen Ivanov
Generalized Newman's Lemma for Discrete and Continuous Systems. FSCD (2023)
Ievgen Ivanov
On Induction Principles for Partial Orders. Logica Universalis 16 (1-2) (2022)
Ievgen Ivanov
On Induction for Diamond-Free Directed Complete Partial Orders. ICTERI Workshops (2020)
Ievgen Ivanov
On Induction Principles for Diamond-Free Partial Orders. ICTERI (Revised Selected Papers) (2020)
Ievgen Ivanov, Mykola S. Nikitchenko
On the Kleene Algebra of Partial Predicates with Predicate Complement. ICTERI Workshops (2019)
Ievgen Ivanov, Mykola S. Nikitchenko
Expressibility in the Kleene Algebra of Partial Predicates with the Complement Composition. ICTERI (Revised Selected Papers) (2019)
Ievgen Ivanov, Mykola S. Nikitchenko
Inference Rules for the Partial Floyd-Hoare Logic Based on Composition of Predicate Complement. ICTERI (Revised Selected Papers) (2018)
Ievgen Ivanov, Artur Kornilowicz, Mykola S. Nikitchenko
Implementation of the Composition-nominative Approach to Program Formalization in Mizar. Comput. Sci. J. Moldova 26 (1) (2018)
Ievgen Ivanov, Artur Kornilowicz, Mykola S. Nikitchenko
On Algebras of Algorithms and Specifications over Uninterpreted Data. Formaliz. Math. 26 (2) (2018)
Ievgen Ivanov, Artur Kornilowicz, Mykola S. Nikitchenko
An Inference System of an Extension of Floyd-Hoare Logic for Partial Predicates. Formaliz. Math. 26 (2) (2018)
Ievgen Ivanov, Artur Kornilowicz, Mykola S. Nikitchenko
Partial Correctness of GCD Algorithm. Formaliz. Math. 26 (2) (2018)
Artur Kornilowicz, Ievgen Ivanov, Mykola S. Nikitchenko
Kleene Algebra of Partial Predicates. Formaliz. Math. 26 (1) (2018)
Ievgen Ivanov, Artur Kornilowicz, Mykola S. Nikitchenko
On an Algorithmic Algebra over Simple-Named Complex-Valued Nominative Data. Formaliz. Math. 26 (2) (2018)
Ievgen Ivanov, Mykola S. Nikitchenko
On the Sequence Rule for the Floyd-Hoare Logic with Partial Pre- and Post-Conditions. ICTERI Workshops (2018)
Volodymyr G. Skobelev, Ievgen Ivanov, Mykola S. Nikitchenko
Nominative data with ordered set of names. Comput. Sci. J. Moldova 25 (2) (2017)
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)
Ievgen Ivanov, Taras Panchenko
A Formal Proof of Correctness of a Distributed Presentation Software System. ICTERI (2017)
Ievgen Ivanov
On the Underapproximation of Reach Sets of Abstract Continuous-Time Systems. SNR@ETAPS (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)
Ievgen Ivanov, Mykola S. Nikitchenko, Volodymyr G. Skobelev
Proving Properties of Programs on Hierarchical Nominative Data. Comput. Sci. J. Moldova 24 (3) (2016)
Ievgen Ivanov
On Local Characterization of Global Timed Bisimulation for Abstract Continuous-Time Systems. CMCS (2016)
Ievgen Ivanov, Mykola S. Nikitchenko, Uri Abraham
Event-Based Proof of the Mutual Exclusion Property of Peterson's Algorithm. Formaliz. Math. 23 (4) (2015)
Ievgen Ivanov
On a Strong Notion of Viability for Switched Systems. ICTERI (2015)
Volodymyr G. Skobelev, Ievgen Ivanov, Mykola S. Nikitchenko
Set-theoretic Analysis of Nominative Data. Comput. Sci. J. Moldova 23 (3) (2015)
Ievgen Ivanov
On Representations of Abstract Systems with Partial Inputs and Outputs. TAMC (2014)
Volodymyr G. Skobelev, Mykola S. Nikitchenko, Ievgen Ivanov
On Algebraic Properties of Nominative Data and Functions. ICTERI (2014)
Ievgen Ivanov, Mykola S. Nikitchenko, Uri Abraham
On a Decidable Formal Theory for Abstract Continuous-Time Dynamical Systems. ICTERI (2014)
Ievgen Ivanov
On Existence of Total Input-Output Pairs of Abstract Time Systems. ICTERI (Revised Selected Papers) (2013)
Ievgen Ivanov
An Abstract Block Formalism for Engineering Systems. ICTERI (2013)
Ievgen Ivanov
On Existence of Global-in-Time Trajectories of Non-deterministic Markovian Systems. ICTERI (2012)
Ievgen Ivanov
A Criterion for Existence of Global-in-Time Trajectories of Non-deterministic Markovian Systems. ICTERI (Revised Selected Papers) (2012)