VLDB 2026 Research / reviewers in the wild / expert
Zhenchao Lyu
dblp:248/6545
· DBLP profile ↗
2ranked-venue papers
0as first author
2since 2021 · last 2024
0000-0003-2685-1180ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 2 · 2 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2024 | A construction of free dcpo-conesabstractAbstract We give a construction of the free dcpo-cone over any dcpo. There are two steps for getting this result. Firstly, we extend the notion of power domain to directed spaces which are equivalent to $T_0$ monotone-determined spaces introduced by Erné, and we construct the probabilistic powerspace of the monotone determined space, which is defined as a free monotone determined cone. Secondly, we take D-completion of the free monotone determined cone over the dcpo with its Scott topology. In addition, we show that generally the valuation power domain of any dcpo is not the free dcpo-cone. Yuxu Chen, Hui Kou, Zhenchao Lyu, Xiaolin Xie |
Math. Struct. Comput. Sci. | 3 |
| 2024 | Upper powerdomains of quasicontinuous dcpos
Yuxu Chen, Hui Kou, Zhenchao Lyu |
Theor. Comput. Sci. | 3 |