| 2025 | FSCD | Completeness of the Decreasing Diagrams Method for Proving Confluence of Rewriting Systems of the Least Uncountable Cardinality. | Ievgen Ivanov |
| 2023 | FSCD | Generalized Newman's Lemma for Discrete and Continuous Systems. | Ievgen Ivanov |
| 2020 | ICTERI | On Induction for Diamond-Free Directed Complete Partial Orders. | Ievgen Ivanov |
| 2020 | ICTERI | On Induction Principles for Diamond-Free Partial Orders. | Ievgen Ivanov |
| 2019 | ICTERI | On the Kleene Algebra of Partial Predicates with Predicate Complement. | Ievgen Ivanov, Mykola S. Nikitchenko |
| 2019 | ICTERI | Expressibility in the Kleene Algebra of Partial Predicates with the Complement Composition. | Ievgen Ivanov, Mykola S. Nikitchenko |
| 2018 | ICTERI | On the Sequence Rule for the Floyd-Hoare Logic with Partial Pre- and Post-Conditions. | Ievgen Ivanov, Mykola S. Nikitchenko |
| 2018 | ICTERI | Inference Rules for the Partial Floyd-Hoare Logic Based on Composition of Predicate Complement. | Ievgen Ivanov, Mykola S. Nikitchenko |
| 2017 | FedCSIS | Formalization of the Algebra of Nominative Data in Mizar. | Artur Kornilowicz, Andrii Kryvolap, Mykola S. Nikitchenko, Ievgen Ivanov |
| 2017 | ICTERI | A Formal Proof of Correctness of a Distributed Presentation Software System. | Ievgen Ivanov, Taras Panchenko |
| 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 |
| 2015 | ICTERI | On a Strong Notion of Viability for Switched Systems. | Ievgen Ivanov |
| 2014 | ICTERI | On a Decidable Formal Theory for Abstract Continuous-Time Dynamical Systems. | Ievgen Ivanov, Mykola S. Nikitchenko, Uri Abraham |
| 2014 | ICTERI | On Algebraic Properties of Nominative Data and Functions. | Volodymyr G. Skobelev, Mykola S. Nikitchenko, Ievgen Ivanov |
| 2014 | TAMC | On Representations of Abstract Systems with Partial Inputs and Outputs. | Ievgen Ivanov |
| 2013 | ICTERI | An Abstract Block Formalism for Engineering Systems. | Ievgen Ivanov |
| 2013 | ICTERI | On Existence of Total Input-Output Pairs of Abstract Time Systems. | Ievgen Ivanov |
| 2012 | ICTERI | On Existence of Global-in-Time Trajectories of Non-deterministic Markovian Systems. | Ievgen Ivanov |
| 2012 | ICTERI | A Criterion for Existence of Global-in-Time Trajectories of Non-deterministic Markovian Systems. | Ievgen Ivanov |