| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Anneliese Schauerte, John Frith |
Partial frames, their free frames and their congruence frames.  |
ISDT  |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Chong Shen 0003, Xiaoyong Xi, Dongsheng Zhao |
Further studies on open well-filtered spaces. |
ISDT |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhenchao Lyu, Xiaolin Xie, Hui Kou |
A note on the category of c-spaces. |
ISDT |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Huarong Zhang, Dongsheng Zhao |
The sheaf representation of residuated lattices. |
ISDT |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Liping Zhang, Xiangnan Zhou, Qingguo Li |
A Hofmann-Mislove theorem for c-well-filtered spaces. |
ISDT |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean Goubault-Larrecq, Xiaodong Jia 0002 |
Continuous R-valuations. |
ISDT |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Min Liu, Yulin Li |
Quantaloidal Completions of Order-enriched Categories and Their Applications. |
ISDT |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhaorong He, Zhongqiang Yang, Dongsheng Zhao |
Quasiexact posets and the moderate meet-continuity. |
ISDT |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaojun Ruan, Xiaoquan Xu |
SI2-quasicontinuous spaces. |
ISDT |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Yinglong Song, Jinbo Yang |
Strongly Continuous Domains. |
ISDT |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiangping Chu, Qingguo Li |
The d*-space. |
ISDT |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Hualin Miao, Qingguo Li, Dongsheng Zhao |
One-step closure, weak one-step closure and meet continuity. |
ISDT |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Guojun Wu, Luoshan Xu |
Representations of Domains via CF-approximation Spaces. |
ISDT |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Huijun Hou, Qingguo Li |
Weakly meet sZ-continuity and δZ-continuity. |
ISDT |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Mengjie Jin 0004, Qingguo Li |
On k-ranks of topological spaces. |
ISDT |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Weng Kin Ho, Dongsheng Zhao, Achim Jung, Guo-Qiang Zhang 0001, Guo-Qiang Zhang (eds.) |
Proceedings of the 9th International Symposium on Domain Theory and Its Applications, ISDT 2022, Singapore, July 4-6, 2022 |
ISDT |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Xuxin Mao, Luoshan Xu |
Characterizations of Supercontinuous Posets via Scott S-sets and the S-essential Topology. |
ISDT |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Luoshan Xu, Dongsheng Zhao |
Cσ-unique Dcpos and Non-maximality of the Class of Dominated Dcpos Regarding Γ-faithfulness. |
ISDT |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Yinbin Lei, Jun Zhang 0009 |
Generalizing Topological Set Operators. |
ISDT |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Kok Min Ng, Weng Kin Ho |
Quasi-continuous Yoneda Complete Quasi-Metric Space. |
ISDT |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Hui Li, Xiangnan Zhou, Qingguo Li |
Continuous Prequantale Models of T1 Topological Semigroups. |
ISDT |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean Goubault-Larrecq, Xiaodong Jia 0002 |
Algebras of the Extended Probabilistic Powerdomain Monad. |
ISDT |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Achim Jung, Qingguo Li, Luoshan Xu, Guo-Qiang Zhang 0001 |
Preface. |
ISDT |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhenzhu Yuan, Qingguo Li |
The Duality Theory of General Z-continuous Posets. |
ISDT |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Lingjuan Yao, Qingguo Li |
Representation of FS-domains Based on Closure Spaces. |
ISDT |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Chunhui Liu |
Uniform Topological Spaces Based on BF-ideals in Negative Non-involutive Residuated Lattices. |
ISDT |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Shuhua Su, Qi Li |
Lattices of Irreducibly-derived Closed Sets. |
ISDT |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhenchao Lyu, Hui Kou |
A Cartesian Closed Category of Domains with Almost Algebraic Bases. |
ISDT |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Qingyu He, Gaolin Li, Xiaoyong Xi, Dongsheng Zhao |
Some Results on Poset Models Consisting of Compact Saturated Subsets. |
ISDT |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Gaolin Li, Dongsheng Zhao, Weng Kin Ho |
Universal Approach to Z-frame Envelopes of Semilattices. |
ISDT |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaoquan Xu, Wenfeng Zhang |
Induced Topologies on the Poset of Finitely Generated Saturated Sets. |
ISDT |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Chong Shen 0003, Guohua Wu, Dongsheng Zhao |
Weak Domain Models of T1 spaces. |
ISDT |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenfeng Zhang, Wenfeng Li, Xiaoquan Xu |
s2-Quasialgebraic Posets. |
ISDT |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Shu-Zhen Luo, Xiaoquan Xu |
On SI2-continuous Spaces. |
ISDT |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew de Brecht, Jean Goubault-Larrecq, Xiaodong Jia 0002, Zhenchao Lyu |
Domain-complete and LCS-complete Spaces. |
ISDT |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Achim Jung, Qingguo Li, Luoshan Xu, Guo-Qiang Zhang 0001 (eds.) |
Proceedings of the 8th International Symposium on Domain Theory and Its Applications, ISDT 2019, Yangzhou, China, June 14-17, 2019 |
ISDT |
2019 |
DBLP BibTeX RDF |
|
| 1 | Shu-Zhen Luo, Xiaoquan Xu |
On Monotone Determined Spaces. |
ISDT |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Yayan Yuan, Hui Kou |
Characterizing Consistent Smyth Powerdomains by FS-∧↑-domains. |
ISDT |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Mao-kang Luo, Achim Jung, Guo-Qiang Zhang 0001 |
Preface. |
ISDT |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Qingyu He, Luoshan Xu |
Strongly Semicontinuous Lattices. |
ISDT |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Yanfang Ma, Haiyu Pan |
The Approximate Correctness of Systems Based on δ-bisimulation. |
ISDT |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhiwei Zou, Qingguo Li |
On Subset Families That Form a Continuous Lattice. |
ISDT |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Xuxin Mao, Luoshan Xu |
Characterizations of Various Continuities of Posets Via Approximated Elements. |
ISDT |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Jinbo Yang, Junmiao Shi |
Countably Sober Spaces. |
ISDT |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | You Gao, Xiangnan Zhou |
The Relationships Between KM-fuzzy Quasi-metric Spaces and the Associated Posets of Formal Balls. |
ISDT |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Shuhua Su, Qingguo Li, Huodi Chen |
The Meet-continuity of L-semilattices. |
ISDT |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus Keimel |
Domain Theory its Ramifications and Interactions. |
ISDT |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Chongxia Lu, Qingguo Li |
s2-C-continuous Poset. |
ISDT |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Kok Min Ng, Weng Kin Ho |
Yoneda Completion via a DCPO Completion of its Poset of Formal Balls. |
ISDT |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Mao-kang Luo, Achim Jung, Guo-Qiang Zhang 0001 (eds.) |
Seventh International Symposium on Domain Theory and Its Applications, ISDT 2017, Shijiazhuang, China, June 2-6, 2017 |
ISDT |
2017 |
DBLP BibTeX RDF |
|
| 1 | Ying-ming Liu, Mao-kang Luo, Michael W. Mislove, Guo-Qiang Zhang 0001 (eds.) |
Proceedings of the 6th International Symposium on Domain Theory and Its Applications, ISDT 2013, Hunan University in Changsha, China, October 25-29, 2013 |
ISDT |
2014 |
DBLP BibTeX RDF |
|
| 1 | Haoran Zhao, Hui Kou |
Tω as a Stable Universal Domain. |
ISDT |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Xuechong Guan, Yongming Li 0001 |
On a Condition for Semirings to Induce Compact Information Algebras. |
ISDT |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Li-Gang Wu, Lei Fan |
Generalized Scott Topology on Sets with Families of Pre-orders. |
ISDT |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenfeng Zhang, Xiaoquan Xu |
Completely Precontinuous Posets. |
ISDT |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Hengyang Wu, Yixiang Chen |
Coalgebras for Fuzzy Transition Systems. |
ISDT |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Luoshan Xu, Jing Zhao |
Reductions and Saturation Reductions of (Abstract) Knowledge Bases. |
ISDT |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Mengqiao Huang, Qingguo Li, Lankun Guo |
Formal Contexts for Algebraic Domains. |
ISDT |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Ying-ming Liu, Mao-kang Luo, Michael W. Mislove, Guo-Qiang Zhang 0001 |
Preface. |
ISDT |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Moez A. AbdelGawad |
A Domain-Theoretic Model Of Nominally-Typed Object-Oriented Programming. |
ISDT |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Lankun Guo, Qingguo Li, Petko Valtchev, Robert Godin |
A Note on Finitely Derived Information Systems. |
ISDT |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Ingo Battenfeld |
Observationally-induced Algebras in Domain Theory. |
ISDT |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Weng Kin Ho |
Characterising E-projectives via Co-monads. |
ISDT |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaoyong Xi, Guohua Wu |
On the Largest Cartesian Closed Category of Stable Domains. |
ISDT |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Yao, Bin Zhao |
A Duality Between Ω-categories and Algebraic Ω-categories. |
ISDT |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Mingyuan Wu, Qingguo Li, Xiangnan Zhou |
Representations of Algebraic Domains and Algebraic L-domains by Information Systems. |
ISDT |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenfeng Zhang, Xiaoquan Xu |
Meet Precontinuous Posets. |
ISDT |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Guo-Qiang Zhang 0001 |
Closures in Binary Partial Algebras. |
ISDT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hengyang Wu, Yixiang Chen |
A Duality Theorem for Quantitative Semantics. |
ISDT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenjie Du, Yuxin Deng |
On Mobility and Communication. |
ISDT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Lingyun Yang, Luoshan Xu |
On Rough Concept Lattices. |
ISDT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Schubert |
Coalgebraic Logic over Measurable Spaces: Behavioral and Logical Equivalence. |
ISDT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Yao 0004 |
L-fuzzy Scott Topology and Scott Convergence of Stratified L-filters on Fuzzy Dcpos. |
ISDT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Li-Gang Wu, Lei Fan |
Domain Equations Based on Sets with Families of Pre-orders. |
ISDT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yixiang Chen, Ernst-Erich Doberkat, Achim Jung |
Preface. |
ISDT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus Keimel |
Bicontinuous Domains and Some Old Problems in Domain Theory. |
ISDT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yanfang Ma, Min Zhang 0007 |
Topological Construction of Parameterized Bisimulation Limit. |
ISDT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yihui Zhou, Bin Zhao |
Z-abstract Basis. |
ISDT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yixiang Chen, Ernst-Erich Doberkat, Achim Jung (eds.) |
Proceedings of the Fifth International Symposium on Domain Theory, ISDT 2009, Shanghai, China, September 12-14, 2009 |
ISDT |
2009 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license