Ievgen Ivanov

38 papers B 2C 2Misc 7Journal 13Unranked 14
YearRankTypeTitle / Venue / Authors
2025 J jnl
Completeness of Decreasing Diagrams for the Least Uncountable Cardinality.
Arch. Formal Proofs
Ievgen Ivanov
2025 B conf
Completeness of the Decreasing Diagrams Method for Proving Confluence of Rewriting Systems of the Least Uncountable Cardinality.
FSCD
Ievgen Ivanov
2024 — conf
On the Cofinality Property in The Context of the Hierarchy of Decreasing Church-Rosser Abstract Rewriting Systems.
IT&I
Ievgen Ivanov
2023 B conf
Generalized Newman's Lemma for Discrete and Continuous Systems.
FSCD
Ievgen Ivanov
2023 — conf
On Newman's Lemma and Non-termination.
IT&I
Ievgen Ivanov
2022 J jnl
On Induction Principles for Partial Orders.
Logica Universalis
Ievgen Ivanov
2020 — conf
On Induction Principles for Diamond-Free Partial Orders.
ICTERI (Revised Selected Papers)
Ievgen Ivanov
2020 — conf
On Induction for Diamond-Free Directed Complete Partial Orders.
ICTERI Workshops
Ievgen Ivanov
2019 — conf
Expressibility in the Kleene Algebra of Partial Predicates with the Complement Composition.
ICTERI (Revised Selected Papers)
Ievgen Ivanov, Mykola S. Nikitchenko
2019 — conf
On the Kleene Algebra of Partial Predicates with Predicate Complement.
ICTERI Workshops
Ievgen Ivanov, Mykola S. Nikitchenko
2018 J jnl
An Inference System of an Extension of Floyd-Hoare Logic for Partial Predicates.
Formaliz. Math.
Ievgen Ivanov, Artur Kornilowicz, Mykola S. Nikitchenko
2018 J jnl
Implementation of the Composition-nominative Approach to Program Formalization in Mizar.
Comput. Sci. J. Moldova
Ievgen Ivanov, Artur Kornilowicz, Mykola S. Nikitchenko
2018 — conf
Inference Rules for the Partial Floyd-Hoare Logic Based on Composition of Predicate Complement.
ICTERI (Revised Selected Papers)
Ievgen Ivanov, Mykola S. Nikitchenko
2018 J jnl
Kleene Algebra of Partial Predicates.
Formaliz. Math.
Artur Kornilowicz, Ievgen Ivanov, Mykola S. Nikitchenko
2018 J jnl
On Algebras of Algorithms and Specifications over Uninterpreted Data.
Formaliz. Math.
Ievgen Ivanov, Artur Kornilowicz, Mykola S. Nikitchenko
2018 J jnl
On an Algorithmic Algebra over Simple-Named Complex-Valued Nominative Data.
Formaliz. Math.
Ievgen Ivanov, Artur Kornilowicz, Mykola S. Nikitchenko
2018 — conf
On the Sequence Rule for the Floyd-Hoare Logic with Partial Pre- and Post-Conditions.
ICTERI Workshops
Ievgen Ivanov, Mykola S. Nikitchenko
2018 J jnl
Partial Correctness of GCD Algorithm.
Formaliz. Math.
Ievgen Ivanov, Artur Kornilowicz, Mykola S. Nikitchenko
2017 Misc conf
A Formal Proof of Correctness of a Distributed Presentation Software System.
ICTERI
Ievgen Ivanov, Taras Panchenko
2017 Misc conf
An Approach To Formalization of an Extension of Floyd-Hoare Logic.
ICTERI
Artur Kornilowicz, Andrii Kryvolap, Mykola S. Nikitchenko, Ievgen Ivanov
2017 — conf
Extended Floyd-Hoare Logic over Relational Nominative Data.
ICTERI (Revised Selected Papers)
Mykola Nikitchenko, Ievgen Ivanov, Artur Kornilowicz, Andrii Kryvolap
2017 C conf
Formalization of the Algebra of Nominative Data in Mizar.
FedCSIS
Artur Kornilowicz, Andrii Kryvolap, Mykola S. Nikitchenko, Ievgen Ivanov
2017 — conf
Formalization of the Nominative Algorithmic Algebra in Mizar.
ISAT (2)
Artur Kornilowicz, Andrii Kryvolap, Mykola S. Nikitchenko, Ievgen Ivanov
2017 J jnl
Nominative data with ordered set of names.
Comput. Sci. J. Moldova
Volodymyr G. Skobelev, Ievgen Ivanov, Mykola S. Nikitchenko
2017 — conf
On the Underapproximation of Reach Sets of Abstract Continuous-Time Systems.
SNR@ETAPS
Ievgen Ivanov
2017 J jnl
Simple-Named Complex-Valued Nominative Data - Definition and Basic Operations.
Formaliz. Math.
Ievgen Ivanov, Mykola S. Nikitchenko, Andrii Kryvolap, Artur Kornilowicz
2016 — conf
On Local Characterization of Global Timed Bisimulation for Abstract Continuous-Time Systems.
CMCS
Ievgen Ivanov
2016 J jnl
Proving Properties of Programs on Hierarchical Nominative Data.
Comput. Sci. J. Moldova
Ievgen Ivanov, Mykola S. Nikitchenko, Volodymyr G. Skobelev
2015 J jnl
Event-Based Proof of the Mutual Exclusion Property of Peterson's Algorithm.
Formaliz. Math.
Ievgen Ivanov, Mykola S. Nikitchenko, Uri Abraham
2015 Misc conf
On a Strong Notion of Viability for Switched Systems.
ICTERI
Ievgen Ivanov
2015 J jnl
Set-theoretic Analysis of Nominative Data.
Comput. Sci. J. Moldova
Volodymyr G. Skobelev, Ievgen Ivanov, Mykola S. Nikitchenko
2014 Misc conf
On Algebraic Properties of Nominative Data and Functions.
ICTERI
Volodymyr G. Skobelev, Mykola S. Nikitchenko, Ievgen Ivanov
2014 C conf
On Representations of Abstract Systems with Partial Inputs and Outputs.
TAMC
Ievgen Ivanov
2014 Misc conf
On a Decidable Formal Theory for Abstract Continuous-Time Dynamical Systems.
ICTERI
Ievgen Ivanov, Mykola S. Nikitchenko, Uri Abraham
2013 Misc conf
An Abstract Block Formalism for Engineering Systems.
ICTERI
Ievgen Ivanov
2013 — conf
On Existence of Total Input-Output Pairs of Abstract Time Systems.
ICTERI (Revised Selected Papers)
Ievgen Ivanov
2012 — conf
A Criterion for Existence of Global-in-Time Trajectories of Non-deterministic Markovian Systems.
ICTERI (Revised Selected Papers)
Ievgen Ivanov
2012 Misc conf
On Existence of Global-in-Time Trajectories of Non-deterministic Markovian Systems.
ICTERI
Ievgen Ivanov