VLDB 2026 Research / reviewers in the wild / expert
Ievgen Ivanov
dblp:68/11447
· DBLP profile ↗
4ranked-venue papers
3as first author
2since 2021 · last 2025
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 3 · 3 first-author · 2 since 2021Artificial intelligence and machine learning · 1Software engineering, systems software and programming languages · 1Applied, interdisciplinary, general and emerging computing · 1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | Completeness of the Decreasing Diagrams Method for Proving Confluence of Rewriting Systems of the Least Uncountable Cardinality
Ievgen Ivanov |
FSCD | 1 |
| 2023 | Generalized Newman's Lemma for Discrete and Continuous Systems
Ievgen Ivanov |
FSCD | 1 |
| 2017 | Formalization of the Algebra of Nominative Data in MizarabstractIn the paper we describe a formalization of the notion of a nominative data with simple names and complex values in the Mizar proof assistant.Such data can be considered as a partial variable assignment which allows arbitrarily deep nesting and can be useful for formalizing semantics of programs that operate in real time environment and/or process complex data structures and for reasoning about the behavior of such programs. Artur Kornilowicz, Andrii Kryvolap, Mykola S. Nikitchenko, Ievgen Ivanov |
FedCSIS | 4 |
| 2014 | On Representations of Abstract Systems with Partial Inputs and Outputs
Ievgen Ivanov |
TAMC | 1 |