VLDB 2026 Research / reviewers in the wild / expert
Kentaro Sato
dblp:80/6968
· DBLP profile ↗
9ranked-venue papers
8as first author
2since 2021 · last 2024
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 8 · 8 first-author · 2 since 2021Graphics, computer vision, multimedia, augmented reality and games · 1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2024 | A new model construction by making a detour via intuitionistic theories IV: A closer connection between KPω and BI
Kentaro Sato |
Ann. Pure Appl. Log. | 1 |
| 2023 | A new model construction by making a detour via intuitionistic theories III: Ultrafinitistic proofs of conservations of Σ11 collection
Kentaro Sato |
Ann. Pure Appl. Log. | 1 |
| 2020 | Elementary inductive dichotomy: Separation of open and clopen determinacies with infinite alternatives
Kentaro Sato |
Ann. Pure Appl. Log. | 1 |
| 2015 | A new model construction by making a detour via intuitionistic theories II: Interpretability lower bound of Feferman's explicit mathematics T0
Kentaro Sato |
Ann. Pure Appl. Log. | 1 |
| 2015 | A new model construction by making a detour via intuitionistic theories I: Operational set theory without choice is Π1-equivalent to KP
Kentaro Sato, Rico Zumbrunnen |
Ann. Pure Appl. Log. | 1 |
| 2011 | The strength of extensionality II - Weak weak set theories without infinity
Kentaro Sato |
Ann. Pure Appl. Log. | 1 |
| 2009 | The strength of extensionality I - weak weak set theories with infinity
Kentaro Sato |
Ann. Pure Appl. Log. | 1 |
| 2007 | Double helix in large large cardinals and iteration of elementary embeddings
Kentaro Sato |
Ann. Pure Appl. Log. | 1 |
| 2005 | Synthesis of F0 contours using generation process model parameters predicted from unlabeled corpora: application to emotional speech synthesis
Keikichi Hirose, Kentaro Sato, Yasufumi Asano, Nobuaki Minematsu |
Speech Commun. | 2 |