Ievgen Ivanov

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
On generalizations of real induction	2025-06-02	Paper
Generalized Newman's lemma for discrete and continuous systems	2024-10-21	Paper
On induction principles for partial orders Logica Universalis	2022-09-01	Paper
On algebras of algorithms and specifications over uninterpreted data Formalized Mathematics	2019-07-10	Paper
On an algorithmic algebra over simple-named complex-valued nominative data Formalized Mathematics	2019-07-10	Paper
An inference system of an extension of Floyd-Hoare logic for partial predicates Formalized Mathematics	2019-07-10	Paper
Partial correctness of GCD algorithm Formalized Mathematics	2019-07-10	Paper
Kleene algebra of partial predicates Formalized Mathematics	2018-10-17	Paper
Set-theoretic analysis of nominative data Computer Science Journal of Moldova	2018-07-03	Paper
Proving properties of programs on hierarchical nominative data Computer Science Journal of Moldova	2018-07-03	Paper
Nominative data with ordered set of names Computer Science Journal of Moldova	2018-07-03	Paper
Implementation of the composition-nominative approach to program formalization in Mizar Computer Science Journal of Moldova	2018-07-03	Paper
Simple-named complex-valued nominative data -- definition and basic operations Formalized Mathematics	2018-01-11	Paper
On Local Characterization of Global Timed Bisimulation for Abstract Continuous-Time Systems Coalgebraic Methods in Computer Science	2016-07-15	Paper
Event-based proof of the mutual exclusion property of Peterson's algorithm Formalized Mathematics	2016-04-20	Paper
On representations of abstract systems with partial inputs and outputs Lecture Notes in Computer Science	2014-04-16	Paper

Research outcomes over time

This page was built for person: Ievgen Ivanov