- Luoshan Xu, Dongsheng Zhao:
Cσ-unique Dcpos and Non-maximality of the Class of Dominated Dcpos Regarding Γ-faithfulness. ISDT 2019: 249-260 - Xiaoquan Xu, Wenfeng Zhang:
Induced Topologies on the Poset of Finitely Generated Saturated Sets. ISDT 2019: 261-269 - Lingjuan Yao, Qingguo Li:
Representation of FS-domains Based on Closure Spaces. ISDT 2019: 271-279 - Zhenzhu Yuan, Qingguo Li:
The Duality Theory of General Z-continuous Posets. ISDT 2019: 281-292 - Wenfeng Zhang, Wenfeng Li, Xiaoquan Xu:
s2-Quasialgebraic Posets. ISDT 2019: 293-301 - Achim Jung, Qingguo Li, Luoshan Xu, Guo-Qiang Zhang:
Proceedings of the 8th International Symposium on Domain Theory and Its Applications, ISDT 2019, Yangzhou, China, June 14-17, 2019. Electronic Notes in Theoretical Computer Science 345, Elsevier 2019 [contents] - 2017
- You Gao
, Xiangnan Zhou:
The Relationships Between KM-fuzzy Quasi-metric Spaces and the Associated Posets of Formal Balls. ISDT 2017: 17-29 - Qingyu He, Luoshan Xu:
Strongly Semicontinuous Lattices. ISDT 2017: 31-41 - Klaus Keimel:
Domain Theory its Ramifications and Interactions. ISDT 2017: 3-16 - Chongxia Lu, Qingguo Li:
s2-C-continuous Poset. ISDT 2017: 43-61 - Mao-kang Luo, Achim Jung, Guo-Qiang Zhang:
Preface. ISDT 2017: 1-2 - Shu-Zhen Luo, Xiaoquan Xu:
On Monotone Determined Spaces. ISDT 2017: 63-72 - Yanfang Ma, Haiyu Pan:
The Approximate Correctness of Systems Based on δ-bisimulation. ISDT 2017: 73-87 - Xuxin Mao, Luoshan Xu:
Characterizations of Various Continuities of Posets Via Approximated Elements. ISDT 2017: 89-101 - Kok Min Ng, Weng Kin Ho:
Yoneda Completion via a DCPO Completion of its Poset of Formal Balls. ISDT 2017: 103-121 - Shuhua Su, Qingguo Li, Huodi Chen:
The Meet-continuity of L-semilattices. ISDT 2017: 123-141 - Jinbo Yang, Junmiao Shi:
Countably Sober Spaces. ISDT 2017: 143-151 - Yayan Yuan, Hui Kou:
Characterizing Consistent Smyth Powerdomains by FS-∧↑-domains. ISDT 2017: 153-162 - Zhiwei Zou, Qingguo Li:
On Subset Families That Form a Continuous Lattice. ISDT 2017: 163-172 - Mao-kang Luo, Achim Jung, Guo-Qiang Zhang:
Seventh International Symposium on Domain Theory and Its Applications, ISDT 2017, Shijiazhuang, China, June 2-6, 2017. Electronic Notes in Theoretical Computer Science 333, Elsevier 2017 [contents] - 2014
- Ying-ming Liu, Mao-kang Luo, Michael W. Mislove, Guo-Qiang Zhang:
Proceedings of the 6th International Symposium on Domain Theory and Its Applications, ISDT 2013, Hunan University in Changsha, China, October 25-29, 2013. Electronic Notes in Theoretical Computer Science 301, Elsevier 2014 [contents] - 2013
- Moez A. AbdelGawad:
A Domain-Theoretic Model Of Nominally-Typed Object-Oriented Programming. ISDT 2013: 3-19 - Ingo Battenfeld:
Observationally-induced Algebras in Domain Theory. ISDT 2013: 21-37 - Xuechong Guan, Yongming Li:
On a Condition for Semirings to Induce Compact Information Algebras. ISDT 2013: 39-48 - Lankun Guo, Qingguo Li, Petko Valtchev, Robert Godin:
A Note on Finitely Derived Information Systems. ISDT 2013: 49-59 - Weng Kin Ho:
Characterising E-projectives via Co-monads. ISDT 2013: 61-77 - Mengqiao Huang, Qingguo Li, Lankun Guo:
Formal Contexts for Algebraic Domains. ISDT 2013: 79-90 - Ying-ming Liu, Mao-kang Luo, Michael W. Mislove, Guo-Qiang Zhang:
Preface. ISDT 2013: 1-2 - Hengyang Wu, Yixiang Chen:
Coalgebras for Fuzzy Transition Systems. ISDT 2013: 91-101 - Li-Gang Wu, Lei Fan:
Generalized Scott Topology on Sets with Families of Pre-orders. ISDT 2013: 103-115
