VLDB 2026 Research / reviewers in the wild / expert
Kenshi Miyabe
dblp:76/8976
· DBLP profile ↗
7ranked-venue papers
6as first author
1since 2021 · last 2025
0000-0002-5346-4269ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 7 · 6 first-author · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | Randomness with respect to c.e. semimeasuresabstractWe study algorithmic randomness with respect to c.e. semimeasures, which naturally arise as pushforward measures of partial computable mappings and therefore play a crucial role in algorithmic randomness. We consider four distinct randomness notions: three based on complexity and one based on tests. We systematically clarify their inclusion relationships. Our main contribution is to construct concrete examples that separate these notions. Furthermore, we investigate how they interact with the classical randomness preservation and no-randomness-from-nothing theorems, identifying precise conditions under which they continue to hold. Kenshi Miyabe |
Inf. Comput. | 1 |
| 2019 | Uniform Relativization
Kenshi Miyabe |
CiE | 1 |
| 2018 | Coherence of Reducibilities with Randomness Notions
Kenshi Miyabe |
Theory Comput. Syst. | 1 |
| 2016 | Reducibilities Relating to Schnorr Randomness
Kenshi Miyabe |
Theory Comput. Syst. | 1 |
| 2015 | Schnorr Triviality and Its Equivalent Notions
Kenshi Miyabe |
Theory Comput. Syst. | 1 |
| 2014 | Uniform Kurtz randomnessabstractWe propose studying uniform Kurtz randomness, which is the uniform relativization of Kurtz randomness. This notion has more natural properties than the usual relativization. For instance, van Lambalgen's theorem holds for uniform Kurtz randomness but not for (the usual relativization of) Kurtz randomness. Another advantage is that lowness for uniform Kurtz randomness has many characterizations, such as those via complexity, martingales, Kurtz tt-traceability and Kurtz dimensional measure. Takayuki Kihara, Kenshi Miyabe |
J. Log. Comput. | 2 |
| 2013 | Characterization of Kurtz Randomness by a Differentiation Theorem
Kenshi Miyabe |
Theory Comput. Syst. | 1 |