Xiaoyong Xi

Publication Activity (10 Years)

Years Active: 2002-2023
Publications (10 Years): 16

Top Topics

Type Definitions

Case Base Maintenance

Top Venues

Math. Struct. Comput. Sci.

Log. Methods Comput. Sci.

Publications

Hualin Miao, Xiaoyong Xi, Qingguo Li, Dongsheng Zhao
Not every countable complete distributive lattice is sober. Math. Struct. Comput. Sci. 33 (9) (2023)
Xiaoquan Xu, Xinpeng Wen, Xiaoyong Xi
Scott topology on Smyth power posets. Math. Struct. Comput. Sci. 33 (9) (2023)
Chong Shen, Xiaoyong Xi, Dongsheng Zhao
Further studies on open well-filtered spaces. ISDT (2022)
Chong Shen, Xiaoyong Xi, Xiaoquan Xu, Dongsheng Zhao
Hofmann-Mislove type definitions of non-Hausdorff spaces. Math. Struct. Comput. Sci. 32 (1) (2022)
Jinbo Yang, Xiaoyong Xi
Which Distributive Lattices are Lattices of Open Sets of P-Spaces? Order 38 (3) (2021)
Chong Shen, Xiaoyong Xi, Xiaoquan Xu, Dongsheng Zhao
On open well-filtered spaces. Log. Methods Comput. Sci. 16 (4) (2020)
Qingyu He, Gaolin Li, Xiaoyong Xi, Dongsheng Zhao
Some Results on Poset Models Consisting of Compact Saturated Subsets. ISDT (2019)
Xiaoyong Xi, Jinbo Yang, Hui Kou
A partial solution to an open problem of Amadio and Curien. Inf. Comput. 260 (2018)
Weng Kin Ho, Jean Goubault-Larrecq, Achim Jung, Xiaoyong Xi
The Ho-Zhao Problem. Log. Methods Comput. Sci. 14 (1) (2018)
Xiaoyong Xi, Qingyu He, Lingyun Yang
On the largest Cartesian closed category of stable domains. Theor. Comput. Sci. 669 (2017)
Xiaoyong Xi, Dongsheng Zhao
Well-filtered spaces and their dcpo models. Math. Struct. Comput. Sci. 27 (4) (2017)
Xiaoyong Xi, Qingyu He, Zhijun Lu
. Order 33 (2) (2016)
Weng Kin Ho, Achim Jung, Xiaoyong Xi
The Ho-Zhao Problem. CoRR (2016)
Xiaoyong Xi, Yongming Li
Exponentials in a Cartesian Closed Category Which Contains all Algebraic Domains. Appl. Categorical Struct. 23 (5) (2015)
Jimmie Lawson, Xiaoyong Xi
The Equivalence of QRB, QFS, and Compactness for Quasicontinuous Domains. Order 32 (2) (2015)
Jimmie Lawson, Xiaoyong Xi
Continuity of Function Spaces from Pointwise Directed Families of Characteristic Functions. Order 32 (3) (2015)
Dongsheng Zhao, Xiaoyong Xi
spaces. TACL (2013)
Xiaoyong Xi, Guohua Wu
On the Largest Cartesian Closed Category of Stable Domains. ISDT (2013)
Xiaoyong Xi, Jihua Liang
Convergence in the |-fuzzy real line. Fuzzy Sets Syst. 158 (21) (2007)
Geping Wang, Xiaoyong Xi, Lanfang Hu
Separation properties of induced I(L)-topological spaces. Fuzzy Sets Syst. 140 (3) (2003)
Geping Wang, Xiaoyong Xi
Convergence of sequences on the fuzzy real line. Fuzzy Sets Syst. 127 (3) (2002)