VLDB 2026 Research / reviewers in the wild / expert
Marat Kh. Faizrahmanov
dblp:117/8598
· DBLP profile ↗
7ranked-venue papers
7as first author
6since 2021 · last 2026
0000-0002-4519-9696ORCID · reported
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 7 · 7 first-author · 6 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | Relative completeness of arithmetical numberingsabstractAbstract This paper studies two approaches to relativizing the notions of complete and precomplete numbering. The first one was introduced by Selivanov in the late 1980s, and it strengthens the standard definitions of complete and precomplete numbering. The second one was introduced by Badaev, Goncharov, and Sorbi in the early 2000s, and it is the full relativization of these two concepts. In the first part of the paper, we study how these two approaches differ from each other. In the second part, we study Mal’cev’s object uniquely for the relativized complete numberings. Marat Kh. Faizrahmanov |
Math. Struct. Comput. Sci. | 1 |
| 2025 | Some properties of precompletely and positively numbered sets
Marat Kh. Faizrahmanov |
Ann. Pure Appl. Log. | 1 |
| 2025 | Fixed point theorems for minimal numberingsabstractAbstract This paper considers various forms of the fixed point theorem (Kleene’s recursion theorem with and without parameters, Arslanov’s and Ershov’s recursion theorems) in arbitrary numberings. We prove that the classes of minimal numberings satisfying different of the listed forms of the fixed point theorem are pairwise distinct. Marat Kh. Faizrahmanov |
J. Log. Comput. | 1 |
| 2025 | Control Structures in Computable Numberings and the Completion Operator
Marat Kh. Faizrahmanov |
Theory Comput. Syst. | 1 |
| 2024 | On Non-principal Arithmetical Numberings and Families
Marat Kh. Faizrahmanov |
Theory Comput. Syst. | 1 |
| 2021 | Limitwise Monotonic Spectra and Their Generalizations
Marat Kh. Faizrahmanov |
CiE | 1 |
| 2012 | Turing and enumeration jumps in the Ershov hierarchyabstractIn the article, we study the behaviour of enumeration jumps of sets of low e-degrees in the Ershov hierarchy. Marat Kh. Faizrahmanov, Iskander Sh. Kalimullin |
J. Log. Comput. | 1 |