VLDB 2026 Research / reviewers in the wild / expert
Denis I. Saveliev
dblp:36/8883
· DBLP profile ↗
3ranked-venue papers
2as first author
1since 2021 · last 2022
0000-0002-0519-2641ORCID · verified
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 3 · 2 first-author · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2022 | Medvedev's logic and products of converse well orders
Denis I. Saveliev, Ilya Shapirovsky |
AiML | 1 |
| 2019 | On First-Order Expressibility of Satisfiability in Submodels
Denis I. Saveliev |
WoLLIC | 1 |
| 2017 | On Two Concepts of Ultrafilter Extensions of First-Order Models and Their Generalizations
Nikolai L. Poliakov, Denis I. Saveliev |
WoLLIC | 2 |