VLDB 2026 Research / reviewers in the wild / expert
Cuixia Miao
dblp:28/8243
· DBLP profile ↗
5ranked-venue papers
3as first author
2since 2021 · last 2024
0000-0003-2448-2158ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 5 · 3 first-author · 2 since 2021Databases, data management, data science and information retrieval · 1 · 1 first-author
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2024 | A set-theoretic approach to algebraic L-domainsabstractAbstract In this paper, the notion of locally algebraic intersection structure is introduced for algebraic L-domains. Essentially, every locally algebraic intersection structure is a family of sets, which forms an algebraic L-domain ordered by inclusion. It is shown that there is a locally algebraic intersection structure which is order-isomorphic to a given algebraic L-domain. This result extends the classic Stone’s representation theorem for Boolean algebras to the case of algebraic L-domains. In addition, it can be seen that many well-known representations of algebraic L-domains, such as logical algebras, information systems, closure spaces, and formal concept analysis, can be analyzed in the framework of locally algebraic intersection structures. Then, a set-theoretic uniformity across different representations of algebraic L-domains is established. Cuixia Miao, Longchun Wang |
Math. Struct. Comput. Sci. | 3 |
| 2022 | A Set-Theoretic Representation of Algebraic L-domains
Cuixia Miao, Longchun Wang |
TAMC | 3 |
| 2012 | Scheduling of deteriorating jobs with release dates to minimize the maximum lateness
Cuixia Miao, Yuzhong Zhang, Cuilian Wu |
Theor. Comput. Sci. | 1 |
| 2011 | Bounded parallel-batch scheduling on single and multi machines for deteriorating jobs
Cuixia Miao, Yuzhong Zhang |
Inf. Process. Lett. | 1 |
| 2010 | Bounded Parallel-Batch Scheduling on Unrelated Parallel Machines
Cuixia Miao, Yuzhong Zhang, Chengfei Wang |
AAIM | 1 |