On Existence of Global-in-Time Trajectories of Non-deterministic Markovian Systems. - Ievgen Ivanov (ICTERI, 2012)

A Criterion for Existence of Global-in-Time Trajectories of Non-deterministic Markovian Systems. - Ievgen Ivanov (ICTERI (Revised Selected Papers), 2012)

An Abstract Block Formalism for Engineering Systems. - Ievgen Ivanov (ICTERI, 2013)

On Existence of Total Input-Output Pairs of Abstract Time Systems. - Ievgen Ivanov (ICTERI (Revised Selected Papers), 2013)

On a Decidable Formal Theory for Abstract Continuous-Time Dynamical Systems. - Ievgen Ivanov; Mykola S. Nikitchenko; Uri Abraham (ICTERI, 2014)

On Algebraic Properties of Nominative Data and Functions. - Volodymyr G. Skobelev; Mykola S. Nikitchenko; Ievgen Ivanov (ICTERI, 2014)

On Representations of Abstract Systems with Partial Inputs and Outputs. - Ievgen Ivanov (TAMC, 2014)

On a Strong Notion of Viability for Switched Systems. - Ievgen Ivanov (ICTERI, 2015)

Set-theoretic Analysis of Nominative Data. - Volodymyr G. Skobelev; Ievgen Ivanov; Mykola S. Nikitchenko (Comput. Sci. J. Moldova, 2015)

Event-Based Proof of the Mutual Exclusion Property of Peterson's Algorithm. - Ievgen Ivanov; Mykola S. Nikitchenko; Uri Abraham (Formaliz. Math., 2015)

On Local Characterization of Global Timed Bisimulation for Abstract Continuous-Time Systems. - Ievgen Ivanov (CMCS, 2016)

Proving Properties of Programs on Hierarchical Nominative Data. - Ievgen Ivanov; Mykola S. Nikitchenko; Volodymyr G. Skobelev (Comput. Sci. J. Moldova, 2016)

Formalization of the Algebra of Nominative Data in Mizar. - Artur Kornilowicz; Andrii Kryvolap; Mykola S. Nikitchenko; Ievgen Ivanov (FedCSIS, 2017)

A Formal Proof of Correctness of a Distributed Presentation Software System. - Ievgen Ivanov; Taras Panchenko (ICTERI, 2017)

An Approach To Formalization of an Extension of Floyd-Hoare Logic. - Artur Kornilowicz; Andrii Kryvolap; Mykola S. Nikitchenko; Ievgen Ivanov (ICTERI, 2017)

Extended Floyd-Hoare Logic over Relational Nominative Data. - Mykola Nikitchenko; Ievgen Ivanov; Artur Kornilowicz; Andrii Kryvolap (ICTERI (Revised Selected Papers), 2017)

Formalization of the Nominative Algorithmic Algebra in Mizar. - Artur Kornilowicz; Andrii Kryvolap; Mykola S. Nikitchenko; Ievgen Ivanov (ISAT (2), 2017)

On the Underapproximation of Reach Sets of Abstract Continuous-Time Systems. - Ievgen Ivanov (SNR@ETAPS, 2017)

Nominative data with ordered set of names. - Volodymyr G. Skobelev; Ievgen Ivanov; Mykola S. Nikitchenko (Comput. Sci. J. Moldova, 2017)

Simple-Named Complex-Valued Nominative Data - Definition and Basic Operations. - Ievgen Ivanov; Mykola S. Nikitchenko; Andrii Kryvolap; Artur Kornilowicz (Formaliz. Math., 2017)

On the Sequence Rule for the Floyd-Hoare Logic with Partial Pre- and Post-Conditions. - Ievgen Ivanov; Mykola S. Nikitchenko (ICTERI Workshops, 2018)

Inference Rules for the Partial Floyd-Hoare Logic Based on Composition of Predicate Complement. - Ievgen Ivanov; Mykola S. Nikitchenko (ICTERI (Revised Selected Papers), 2018)

Implementation of the Composition-nominative Approach to Program Formalization in Mizar. - Ievgen Ivanov; Artur Kornilowicz; Mykola S. Nikitchenko (Comput. Sci. J. Moldova, 2018)

On Algebras of Algorithms and Specifications over Uninterpreted Data. - Ievgen Ivanov; Artur Kornilowicz; Mykola S. Nikitchenko (Formaliz. Math., 2018)

On an Algorithmic Algebra over Simple-Named Complex-Valued Nominative Data. - Ievgen Ivanov; Artur Kornilowicz; Mykola S. Nikitchenko (Formaliz. Math., 2018)

An Inference System of an Extension of Floyd-Hoare Logic for Partial Predicates. - Ievgen Ivanov; Artur Kornilowicz; Mykola S. Nikitchenko (Formaliz. Math., 2018)

Partial Correctness of GCD Algorithm. - Ievgen Ivanov; Artur Kornilowicz; Mykola S. Nikitchenko (Formaliz. Math., 2018)

Kleene Algebra of Partial Predicates. - Artur Kornilowicz; Ievgen Ivanov; Mykola S. Nikitchenko (Formaliz. Math., 2018)

On the Kleene Algebra of Partial Predicates with Predicate Complement. - Ievgen Ivanov; Mykola S. Nikitchenko (ICTERI Workshops, 2019)

Expressibility in the Kleene Algebra of Partial Predicates with the Complement Composition. - Ievgen Ivanov; Mykola S. Nikitchenko (ICTERI (Revised Selected Papers), 2019)

On Induction for Diamond-Free Directed Complete Partial Orders. - Ievgen Ivanov (ICTERI Workshops, 2020)

On Induction Principles for Diamond-Free Partial Orders. - Ievgen Ivanov (ICTERI (Revised Selected Papers), 2020)

On Induction Principles for Partial Orders. - Ievgen Ivanov (Logica Universalis, 2022)

Generalized Newman's Lemma for Discrete and Continuous Systems. - Ievgen Ivanov (FSCD, 2023)

On Newman's Lemma and Non-termination. - Ievgen Ivanov (IT&I, 2023)

On the Cofinality Property in The Context of the Hierarchy of Decreasing Church-Rosser Abstract Rewriting Systems. - Ievgen Ivanov (IT&I, 2024)

Completeness of the Decreasing Diagrams Method for Proving Confluence of Rewriting Systems of the Least Uncountable Cardinality. - Ievgen Ivanov (FSCD, 2025)

Completeness of Decreasing Diagrams for the Least Uncountable Cardinality. - Ievgen Ivanov (Arch. Formal Proofs, 2025)