Search dblp for Publications

export results for "toc:db/journals/entcs/entcs333.bht:"

 download as .bib file

@inproceedings{DBLP:journals/entcs/GaoZ17,
  author       = {You Gao and
                  Xiangnan Zhou},
  editor       = {Mao{-}kang Luo and
                  Achim Jung and
                  Guo{-}Qiang Zhang},
  title        = {The Relationships Between KM-fuzzy Quasi-metric Spaces and the Associated
                  Posets of Formal Balls},
  booktitle    = {Seventh International Symposium on Domain Theory and Its Applications,
                  {ISDT} 2017, Shijiazhuang, China, June 2-6, 2017},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {333},
  pages        = {17--29},
  publisher    = {Elsevier},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.entcs.2017.08.003},
  doi          = {10.1016/J.ENTCS.2017.08.003},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/GaoZ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/HeX17,
  author       = {Qingyu He and
                  Luoshan Xu},
  editor       = {Mao{-}kang Luo and
                  Achim Jung and
                  Guo{-}Qiang Zhang},
  title        = {Strongly Semicontinuous Lattices},
  booktitle    = {Seventh International Symposium on Domain Theory and Its Applications,
                  {ISDT} 2017, Shijiazhuang, China, June 2-6, 2017},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {333},
  pages        = {31--41},
  publisher    = {Elsevier},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.entcs.2017.08.004},
  doi          = {10.1016/J.ENTCS.2017.08.004},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/HeX17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Keimel17,
  author       = {Klaus Keimel},
  editor       = {Mao{-}kang Luo and
                  Achim Jung and
                  Guo{-}Qiang Zhang},
  title        = {Domain Theory its Ramifications and Interactions},
  booktitle    = {Seventh International Symposium on Domain Theory and Its Applications,
                  {ISDT} 2017, Shijiazhuang, China, June 2-6, 2017},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {333},
  pages        = {3--16},
  publisher    = {Elsevier},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.entcs.2017.08.002},
  doi          = {10.1016/J.ENTCS.2017.08.002},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/Keimel17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/LuL17,
  author       = {Chongxia Lu and
                  Qingguo Li},
  editor       = {Mao{-}kang Luo and
                  Achim Jung and
                  Guo{-}Qiang Zhang},
  title        = {s\({}_{\mbox{2}}\)-C-continuous Poset},
  booktitle    = {Seventh International Symposium on Domain Theory and Its Applications,
                  {ISDT} 2017, Shijiazhuang, China, June 2-6, 2017},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {333},
  pages        = {43--61},
  publisher    = {Elsevier},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.entcs.2017.08.005},
  doi          = {10.1016/J.ENTCS.2017.08.005},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/LuL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/LuoJZ17,
  author       = {Mao{-}kang Luo and
                  Achim Jung and
                  Guo{-}Qiang Zhang},
  editor       = {Mao{-}kang Luo and
                  Achim Jung and
                  Guo{-}Qiang Zhang},
  title        = {Preface},
  booktitle    = {Seventh International Symposium on Domain Theory and Its Applications,
                  {ISDT} 2017, Shijiazhuang, China, June 2-6, 2017},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {333},
  pages        = {1--2},
  publisher    = {Elsevier},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.entcs.2017.08.001},
  doi          = {10.1016/J.ENTCS.2017.08.001},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/LuoJZ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/LuoX17,
  author       = {Shu{-}Zhen Luo and
                  Xiaoquan Xu},
  editor       = {Mao{-}kang Luo and
                  Achim Jung and
                  Guo{-}Qiang Zhang},
  title        = {On Monotone Determined Spaces},
  booktitle    = {Seventh International Symposium on Domain Theory and Its Applications,
                  {ISDT} 2017, Shijiazhuang, China, June 2-6, 2017},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {333},
  pages        = {63--72},
  publisher    = {Elsevier},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.entcs.2017.08.006},
  doi          = {10.1016/J.ENTCS.2017.08.006},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/LuoX17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/MaP17,
  author       = {Yanfang Ma and
                  Haiyu Pan},
  editor       = {Mao{-}kang Luo and
                  Achim Jung and
                  Guo{-}Qiang Zhang},
  title        = {The Approximate Correctness of Systems Based on {\(\delta\)}-bisimulation},
  booktitle    = {Seventh International Symposium on Domain Theory and Its Applications,
                  {ISDT} 2017, Shijiazhuang, China, June 2-6, 2017},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {333},
  pages        = {73--87},
  publisher    = {Elsevier},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.entcs.2017.08.007},
  doi          = {10.1016/J.ENTCS.2017.08.007},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/MaP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/MaoX17,
  author       = {Xuxin Mao and
                  Luoshan Xu},
  editor       = {Mao{-}kang Luo and
                  Achim Jung and
                  Guo{-}Qiang Zhang},
  title        = {Characterizations of Various Continuities of Posets Via Approximated
                  Elements},
  booktitle    = {Seventh International Symposium on Domain Theory and Its Applications,
                  {ISDT} 2017, Shijiazhuang, China, June 2-6, 2017},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {333},
  pages        = {89--101},
  publisher    = {Elsevier},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.entcs.2017.08.008},
  doi          = {10.1016/J.ENTCS.2017.08.008},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/MaoX17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/NgH17,
  author       = {Kok Min Ng and
                  Weng Kin Ho},
  editor       = {Mao{-}kang Luo and
                  Achim Jung and
                  Guo{-}Qiang Zhang},
  title        = {Yoneda Completion via a {DCPO} Completion of its Poset of Formal Balls},
  booktitle    = {Seventh International Symposium on Domain Theory and Its Applications,
                  {ISDT} 2017, Shijiazhuang, China, June 2-6, 2017},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {333},
  pages        = {103--121},
  publisher    = {Elsevier},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.entcs.2017.08.009},
  doi          = {10.1016/J.ENTCS.2017.08.009},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/NgH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/SuLC17,
  author       = {Shuhua Su and
                  Qingguo Li and
                  Huodi Chen},
  editor       = {Mao{-}kang Luo and
                  Achim Jung and
                  Guo{-}Qiang Zhang},
  title        = {The Meet-continuity of L-semilattices},
  booktitle    = {Seventh International Symposium on Domain Theory and Its Applications,
                  {ISDT} 2017, Shijiazhuang, China, June 2-6, 2017},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {333},
  pages        = {123--141},
  publisher    = {Elsevier},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.entcs.2017.08.010},
  doi          = {10.1016/J.ENTCS.2017.08.010},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/SuLC17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/YangS17,
  author       = {Jinbo Yang and
                  Junmiao Shi},
  editor       = {Mao{-}kang Luo and
                  Achim Jung and
                  Guo{-}Qiang Zhang},
  title        = {Countably Sober Spaces},
  booktitle    = {Seventh International Symposium on Domain Theory and Its Applications,
                  {ISDT} 2017, Shijiazhuang, China, June 2-6, 2017},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {333},
  pages        = {143--151},
  publisher    = {Elsevier},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.entcs.2017.08.011},
  doi          = {10.1016/J.ENTCS.2017.08.011},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/YangS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/YuanK17,
  author       = {Yayan Yuan and
                  Hui Kou},
  editor       = {Mao{-}kang Luo and
                  Achim Jung and
                  Guo{-}Qiang Zhang},
  title        = {Characterizing Consistent Smyth Powerdomains by FS-{\(\wedge\)}\({}^{\mbox{{\(\uparrow\)}}}\)-domains},
  booktitle    = {Seventh International Symposium on Domain Theory and Its Applications,
                  {ISDT} 2017, Shijiazhuang, China, June 2-6, 2017},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {333},
  pages        = {153--162},
  publisher    = {Elsevier},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.entcs.2017.08.012},
  doi          = {10.1016/J.ENTCS.2017.08.012},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/YuanK17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/ZouL17,
  author       = {Zhiwei Zou and
                  Qingguo Li},
  editor       = {Mao{-}kang Luo and
                  Achim Jung and
                  Guo{-}Qiang Zhang},
  title        = {On Subset Families That Form a Continuous Lattice},
  booktitle    = {Seventh International Symposium on Domain Theory and Its Applications,
                  {ISDT} 2017, Shijiazhuang, China, June 2-6, 2017},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {333},
  pages        = {163--172},
  publisher    = {Elsevier},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.entcs.2017.08.013},
  doi          = {10.1016/J.ENTCS.2017.08.013},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/ZouL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/isdt/2017,
  editor       = {Mao{-}kang Luo and
                  Achim Jung and
                  Guo{-}Qiang Zhang},
  title        = {Seventh International Symposium on Domain Theory and Its Applications,
                  {ISDT} 2017, Shijiazhuang, China, June 2-6, 2017},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {333},
  publisher    = {Elsevier},
  year         = {2017},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/333/suppl/C},
  timestamp    = {Wed, 05 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isdt/2017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.