BibTeX records: Guo-Qiang Zhang 0001

download as .bib file

@article{DBLP:journals/jbi/OhnoMachadoJKTCRZX23,
  author       = {Lucila Ohno{-}Machado and
                  Xiaoqian Jiang and
                  Tsung{-}Ting Kuo and
                  Shiqiang Tao and
                  Luyao Chen and
                  Pritham Ram and
                  Guo{-}Qiang Zhang and
                  Hua Xu},
  title        = {A hierarchical strategy to minimize privacy risk when linking "De-identified"
                  data in biomedical research consortia},
  journal      = {J. Biomed. Informatics},
  volume       = {139},
  pages        = {104322},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.jbi.2023.104322},
  doi          = {10.1016/J.JBI.2023.104322},
  timestamp    = {Mon, 01 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jbi/OhnoMachadoJKTCRZX23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fdata/LiTLCHHZ22,
  author       = {Xiaojin Li and
                  Shiqiang Tao and
                  Samden D. Lhatoo and
                  Licong Cui and
                  Yan Huang and
                  Johnson P. Hampson and
                  Guo{-}Qiang Zhang},
  title        = {A multimodal clinical data resource for personalized risk assessment
                  of sudden unexpected death in epilepsy},
  journal      = {Frontiers Big Data},
  volume       = {5},
  year         = {2022},
  url          = {https://doi.org/10.3389/fdata.2022.965715},
  doi          = {10.3389/FDATA.2022.965715},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fdata/LiTLCHHZ22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fini/LiHLTBZC22,
  author       = {Xiaojin Li and
                  Yan Huang and
                  Samden D. Lhatoo and
                  Shiqiang Tao and
                  Laura Vilella Bertran and
                  Guo{-}Qiang Zhang and
                  Licong Cui},
  title        = {A hybrid unsupervised and supervised learning approach for postictal
                  generalized {EEG} suppression detection},
  journal      = {Frontiers Neuroinformatics},
  volume       = {16},
  year         = {2022},
  url          = {https://doi.org/10.3389/fninf.2022.1040084},
  doi          = {10.3389/FNINF.2022.1040084},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fini/LiHLTBZC22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amia/0001LHC22,
  author       = {Guo{-}Qiang Zhang and
                  Xiaojin Li and
                  Yan Huang and
                  Licong Cui},
  title        = {Temporal Cohort Logic},
  booktitle    = {{AMIA} 2022, American Medical Informatics Association Annual Symposium,
                  Washington, DC, USA, November 5-9, 2022},
  publisher    = {{AMIA}},
  year         = {2022},
  url          = {https://knowledge.amia.org/76677-amia-1.4637602/f006-1.4642154/f006-1.4642155/645-1.4642165/1009-1.4642162},
  timestamp    = {Wed, 17 Apr 2024 11:46:45 +0200},
  biburl       = {https://dblp.org/rec/conf/amia/0001LHC22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bibm/SelimZFLZC22,
  author       = {Md. Selim and
                  Jie Zhang and
                  Baowei Fei and
                  Matthew A. Lewis and
                  Guo{-}Qiang Zhang and
                  Jin Chen},
  editor       = {Donald A. Adjeroh and
                  Qi Long and
                  Xinghua Mindy Shi and
                  Fei Guo and
                  Xiaohua Hu and
                  Srinivas Aluru and
                  Giri Narasimhan and
                  Jianxin Wang and
                  Mingon Kang and
                  Ananda Mondal and
                  Jin Liu},
  title        = {{UDA-CT:} {A} General Framework for {CT} Image Standardization},
  booktitle    = {{IEEE} International Conference on Bioinformatics and Biomedicine,
                  {BIBM} 2022, Las Vegas, NV, USA, December 6-8, 2022},
  pages        = {1698--1701},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/BIBM55620.2022.9995168},
  doi          = {10.1109/BIBM55620.2022.9995168},
  timestamp    = {Tue, 05 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/bibm/SelimZFLZC22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ichi/TaoCLDRAXJROZ22,
  author       = {Shiqiang Tao and
                  Wei{-}Chun Chou and
                  Jianfu Li and
                  Jingcheng Du and
                  Pritham Ram and
                  Rashmie Abeysinghe and
                  Hua Xu and
                  Xiaoqian Jiang and
                  Peter W. Rose and
                  Lucila Ohno{-}Machado and
                  Guo{-}Qiang Zhang},
  title        = {{IMI-CDE:} an interactive interface for collaborative mapping of study
                  variables to common data elements},
  booktitle    = {10th {IEEE} International Conference on Healthcare Informatics, {ICHI}
                  2022, Rochester, MN, USA, June 11-14, 2022},
  pages        = {465--468},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/ICHI54592.2022.00070},
  doi          = {10.1109/ICHI54592.2022.00070},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ichi/TaoCLDRAXJROZ22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isdt/2022,
  editor       = {Weng Kin Ho and
                  Dongsheng Zhao and
                  Achim Jung and
                  Guo{-}Qiang Zhang and
                  Guo{-}Qiang Zhang},
  title        = {Proceedings of the 9th International Symposium on Domain Theory and
                  Its Applications, {ISDT} 2022, Singapore, July 4-6, 2022},
  series       = {Electronic Notes in Theoretical Informatics and Computer Science},
  volume       = {2},
  publisher    = {EpiSciences},
  year         = {2022},
  url          = {https://doi.org/10.46298/entics.proceedings.isdt9},
  doi          = {10.46298/ENTICS.PROCEEDINGS.ISDT9},
  timestamp    = {Wed, 03 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isdt/2022.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bspc/YaoLYHCZ21,
  author       = {Xinghua Yao and
                  Xiaojin Li and
                  Qiang Ye and
                  Yan Huang and
                  Qiang Cheng and
                  Guo{-}Qiang Zhang},
  title        = {A robust deep learning approach for automatic classification of seizures
                  against non-seizures},
  journal      = {Biomed. Signal Process. Control.},
  volume       = {64},
  pages        = {102215},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.bspc.2020.102215},
  doi          = {10.1016/J.BSPC.2020.102215},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bspc/YaoLYHCZ21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jbi/HuangLZ21,
  author       = {Yan Huang and
                  Xiaojin Li and
                  Guo{-}Qiang Zhang},
  title        = {{ELII:} {A} novel inverted index for fast temporal query, with application
                  to a large Covid-19 {EHR} dataset},
  journal      = {J. Biomed. Informatics},
  volume       = {117},
  pages        = {103744},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.jbi.2021.103744},
  doi          = {10.1016/J.JBI.2021.103744},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jbi/HuangLZ21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amia/LiCWS021,
  author       = {Xiaojin Li and
                  Licong Cui and
                  Fei Wang and
                  Paul E. Schulz and
                  Guo{-}Qiang Zhang},
  title        = {Identifying Sleep-Related Factors Associated with Cognitive Function
                  in a Hispanics/Latinos Cohort: {A} Dual Random Forest Approach},
  booktitle    = {{AMIA} 2021, American Medical Informatics Association Annual Symposium,
                  San Diego, CA, USA, October 30, 2021 - November 3, 2021},
  publisher    = {{AMIA}},
  year         = {2021},
  url          = {https://knowledge.amia.org/74229-amia-1.4622266/t003-1.4626466/t003-1.4626467/3577248-1.4626636/3577496-1.4626633},
  timestamp    = {Wed, 17 Apr 2024 11:46:53 +0200},
  biburl       = {https://dblp.org/rec/conf/amia/LiCWS021.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amia/SelimZF0G021,
  author       = {Md. Selim and
                  Jie Zhang and
                  Baowei Fei and
                  Guo{-}Qiang Zhang and
                  Gary Yeeming Ge and
                  Jin Chen},
  title        = {Cross-Vendor {CT} Image Data Harmonization Using {CVH-CT}},
  booktitle    = {{AMIA} 2021, American Medical Informatics Association Annual Symposium,
                  San Diego, CA, USA, October 30, 2021 - November 3, 2021},
  publisher    = {{AMIA}},
  year         = {2021},
  url          = {https://knowledge.amia.org/74229-amia-1.4622266/t003-1.4626466/t003-1.4626467/3577590-1.4626528/3568439-1.4626525},
  timestamp    = {Wed, 17 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/amia/SelimZF0G021.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bibm/SelimZF0C21,
  author       = {Md. Selim and
                  Jie Zhang and
                  Baowei Fei and
                  Guo{-}Qiang Zhang and
                  Jin Chen},
  editor       = {Yufei Huang and
                  Lukasz A. Kurgan and
                  Feng Luo and
                  Xiaohua Hu and
                  Yidong Chen and
                  Edward R. Dougherty and
                  Andrzej Kloczkowski and
                  Yaohang Li},
  title        = {{CT} Image Harmonization for Enhancing Radiomics Studies},
  booktitle    = {{IEEE} International Conference on Bioinformatics and Biomedicine,
                  {BIBM} 2021, Houston, TX, USA, December 9-12, 2021},
  pages        = {1057--1062},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/BIBM52615.2021.9669448},
  doi          = {10.1109/BIBM52615.2021.9669448},
  timestamp    = {Thu, 12 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/bibm/SelimZF0C21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-01337,
  author       = {Md. Selim and
                  Jie Zhang and
                  Baowei Fei and
                  Guo{-}Qiang Zhang and
                  Jin Chen},
  title        = {{CT} Image Harmonization for Enhancing Radiomics Studies},
  journal      = {CoRR},
  volume       = {abs/2107.01337},
  year         = {2021},
  url          = {https://arxiv.org/abs/2107.01337},
  eprinttype    = {arXiv},
  eprint       = {2107.01337},
  timestamp    = {Thu, 12 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2107-01337.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-09693,
  author       = {Md. Selim and
                  Jie Zhang and
                  Baowei Fei and
                  Guo{-}Qiang Zhang and
                  Gary Yeeming Ge and
                  Jin Chen},
  title        = {Cross-Vendor {CT} Image Data Harmonization Using {CVH-CT}},
  journal      = {CoRR},
  volume       = {abs/2110.09693},
  year         = {2021},
  url          = {https://arxiv.org/abs/2110.09693},
  eprinttype    = {arXiv},
  eprint       = {2110.09693},
  timestamp    = {Thu, 12 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2110-09693.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/hij/FouladvandHBCDF20,
  author       = {Sajjad Fouladvand and
                  Emily R. Hankosky and
                  Heather Bush and
                  Jin Chen and
                  Linda P. Dwoskin and
                  Patricia R. Freeman and
                  Darren W. Henderson and
                  Kathleen Kantak and
                  Jeffery C. Talbert and
                  Shiqiang Tao and
                  Guo{-}Qiang Zhang},
  title        = {Predicting substance use disorder using long-term attention deficit
                  hyperactivity disorder medication records in Truven},
  journal      = {Health Informatics J.},
  volume       = {26},
  number       = {2},
  pages        = {787--802},
  year         = {2020},
  url          = {https://doi.org/10.1177/1460458219844075},
  doi          = {10.1177/1460458219844075},
  timestamp    = {Tue, 10 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/hij/FouladvandHBCDF20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jbi/KimLZCJ20,
  author       = {Yejin Kim and
                  Samden D. Lhatoo and
                  Guo{-}Qiang Zhang and
                  Luyao Chen and
                  Xiaoqian Jiang},
  title        = {Temporal phenotyping for transitional disease progress: An application
                  to epilepsy and Alzheimer's disease},
  journal      = {J. Biomed. Informatics},
  volume       = {107},
  pages        = {103462},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.jbi.2020.103462},
  doi          = {10.1016/J.JBI.2020.103462},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jbi/KimLZCJ20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/midm/TaoZHHDCZ20,
  author       = {Shiqiang Tao and
                  Ningzhou Zeng and
                  Isaac Hands and
                  Joseph Hurt{-}Mueller and
                  Eric B. Durbin and
                  Licong Cui and
                  Guo{-}Qiang Zhang},
  title        = {Web-based interactive mapping from data dictionaries to ontologies,
                  with an application to cancer registry},
  journal      = {{BMC} Medical Informatics Decis. Mak.},
  volume       = {20-S},
  number       = {10},
  pages        = {271},
  year         = {2020},
  url          = {https://doi.org/10.1186/s12911-020-01288-7},
  doi          = {10.1186/S12911-020-01288-7},
  timestamp    = {Tue, 01 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/midm/TaoZHHDCZ20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/midm/MierKJZL20,
  author       = {Juan C. Mier and
                  Yejin Kim and
                  Xiaoqian Jiang and
                  Guo{-}Qiang Zhang and
                  Samden D. Lhatoo},
  title        = {Categorisation of {EEG} suppression using enhanced feature extraction
                  for {SUDEP} risk assessment},
  journal      = {{BMC} Medical Informatics Decis. Mak.},
  volume       = {20-S},
  number       = {12},
  pages        = {326},
  year         = {2020},
  url          = {https://doi.org/10.1186/s12911-020-01309-5},
  doi          = {10.1186/S12911-020-01309-5},
  timestamp    = {Mon, 04 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/midm/MierKJZL20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/midm/LamichhaneKSZLH20,
  author       = {Bishal Lamichhane and
                  Yejin Kim and
                  Santiago Segarra and
                  Guoqiang Zhang and
                  Samden D. Lhatoo and
                  Jaison Hampson and
                  Xiaoqian Jiang},
  title        = {Automated detection of activity onset after postictal generalized
                  {EEG} suppression},
  journal      = {{BMC} Medical Informatics Decis. Mak.},
  volume       = {20-S},
  number       = {12},
  pages        = {327},
  year         = {2020},
  url          = {https://doi.org/10.1186/s12911-020-01307-7},
  doi          = {10.1186/S12911-020-01307-7},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/midm/LamichhaneKSZLH20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/midm/KimJLZTCLJCPHDZ20,
  author       = {Yejin Kim and
                  Xiaoqian Jiang and
                  Samden D. Lhatoo and
                  Guoqiang Zhang and
                  Shiqiang Tao and
                  Licong Cui and
                  Xiaojin Li and
                  Robert D. Jolly and
                  Luyao Chen and
                  Michael Phan and
                  Cung Ha and
                  Marijane Detranaltes and
                  Jiajie Zhang},
  title        = {A community effort for automatic detection of postictal generalized
                  {EEG} suppression in epilepsy},
  journal      = {{BMC} Medical Informatics Decis. Mak.},
  volume       = {20-S},
  number       = {12},
  pages        = {328},
  year         = {2020},
  url          = {https://doi.org/10.1186/s12911-020-01306-8},
  doi          = {10.1186/S12911-020-01306-8},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/midm/KimJLZTCLJCPHDZ20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/midm/ZhuKJLJZ20,
  author       = {Cong Zhu and
                  Yejin Kim and
                  Xiaoqian Jiang and
                  Samden D. Lhatoo and
                  Hampson Jaison and
                  Guo{-}Qiang Zhang},
  title        = {A lightweight convolutional neural network for assessing an {EEG}
                  risk marker for sudden unexpected death in epilepsy},
  journal      = {{BMC} Medical Informatics Decis. Mak.},
  volume       = {20-S},
  number       = {12},
  pages        = {329},
  year         = {2020},
  url          = {https://doi.org/10.1186/s12911-020-01310-y},
  doi          = {10.1186/S12911-020-01310-Y},
  timestamp    = {Mon, 04 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/midm/ZhuKJLJZ20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/midm/VanceKZLTCLJ20,
  author       = {Carroll Vance and
                  Yejin Kim and
                  Guo{-}Qiang Zhang and
                  Samden D. Lhatoo and
                  Shiqiang Tao and
                  Licong Cui and
                  Xiaojin Li and
                  Xiaoqian Jiang},
  title        = {Learning to detect the onset of slow activity after a generalized
                  tonic-clonic seizure},
  journal      = {{BMC} Medical Informatics Decis. Mak.},
  volume       = {20-S},
  number       = {12},
  pages        = {330},
  year         = {2020},
  url          = {https://doi.org/10.1186/s12911-020-01308-6},
  doi          = {10.1186/S12911-020-01308-6},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/midm/VanceKZLTCLJ20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/semweb/ZhangTZC20,
  author       = {Guoqiang Zhang and
                  Shiqiang Tao and
                  Ningzhou Zeng and
                  Licong Cui},
  title        = {Ontologies as nested facet systems for human-data interaction},
  journal      = {Semantic Web},
  volume       = {11},
  number       = {1},
  pages        = {79--86},
  year         = {2020},
  url          = {https://doi.org/10.3233/SW-190378},
  doi          = {10.3233/SW-190378},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/semweb/ZhangTZC20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amia/SelimZF0C20,
  author       = {Md. Selim and
                  Jie Zhang and
                  Baowei Fei and
                  Guo{-}Qiang Zhang and
                  Jin Chen},
  title        = {{STAN-CT:} Standardizing {CT} Image using Generative Adversarial Networks},
  booktitle    = {{AMIA} 2020, American Medical Informatics Association Annual Symposium,
                  Virtual Event, USA, November 14-18, 2020},
  publisher    = {{AMIA}},
  year         = {2020},
  url          = {https://knowledge.amia.org/72332-amia-1.4602255/t003-1.4606204/t003-1.4606205/3416782-1.4606314/3413937-1.4606311},
  timestamp    = {Wed, 17 Apr 2024 11:47:01 +0200},
  biburl       = {https://dblp.org/rec/conf/amia/SelimZF0C20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-01307,
  author       = {Md. Selim and
                  Jie Zhang and
                  Baowei Fei and
                  Guo{-}Qiang Zhang and
                  Jin Chen},
  title        = {{STAN-CT:} Standardizing {CT} Image using Generative Adversarial Network},
  journal      = {CoRR},
  volume       = {abs/2004.01307},
  year         = {2020},
  url          = {https://arxiv.org/abs/2004.01307},
  eprinttype    = {arXiv},
  eprint       = {2004.01307},
  timestamp    = {Thu, 12 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2004-01307.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijar/GuoLZ19,
  author       = {Lankun Guo and
                  Qingguo Li and
                  Guo{-}Qiang Zhang},
  title        = {A representation of continuous domains via relationally approximable
                  concepts in a generalized framework of formal concept analysis},
  journal      = {Int. J. Approx. Reason.},
  volume       = {114},
  pages        = {29--43},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.ijar.2019.08.007},
  doi          = {10.1016/J.IJAR.2019.08.007},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijar/GuoLZ19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amia/LiHTCLZ19,
  author       = {Xiaojin Li and
                  Yan Huang and
                  Shiqiang Tao and
                  Licong Cui and
                  Samden D. Lhatoo and
                  Guo{-}Qiang Zhang},
  title        = {SeizureBank: {A} Repository of Analysis-ready Seizure Signal Data},
  booktitle    = {{AMIA} 2019, American Medical Informatics Association Annual Symposium,
                  Washington, DC, USA, November 16-20, 2019},
  publisher    = {{AMIA}},
  year         = {2019},
  url          = {http://knowledge.amia.org/69862-amia-1.4570936/t005-1.4574828/t005-1.4574829/3201734-1.4574884/3203457-1.4574881},
  timestamp    = {Wed, 17 Apr 2024 11:47:08 +0200},
  biburl       = {https://dblp.org/rec/conf/amia/LiHTCLZ19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ichi/YuZCTS0LJWW19,
  author       = {Hao Yu and
                  Ying Zhang and
                  Jin Chen and
                  Shiqiang Tao and
                  Taylor D. Smith and
                  Guo{-}Qiang Zhang and
                  Xiaojin Li and
                  Xiaoqian Jiang and
                  Xiaoling Wang and
                  Xinyu Wang},
  title        = {Insomnia Prediction Using Temporal Feature of Spindles},
  booktitle    = {2019 {IEEE} International Conference on Healthcare Informatics, {ICHI}
                  2019, Xi'an, China, June 10-13, 2019},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ICHI.2019.8904716},
  doi          = {10.1109/ICHI.2019.8904716},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ichi/YuZCTS0LJWW19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medinfo/Sun00C19,
  author       = {Qi Sun and
                  Guo{-}Qiang Zhang and
                  Wei Zhu and
                  Licong Cui},
  editor       = {Lucila Ohno{-}Machado and
                  Brigitte S{\'{e}}roussi},
  title        = {Validating Auto-Suggested Changes for {SNOMED} {CT} in Non-Lattice
                  Subgraphs Using Relational Machine Learning},
  booktitle    = {{MEDINFO} 2019: Health and Wellbeing e-Networks for All - Proceedings
                  of the 17th World Congress on Medical and Health Informatics, Lyon,
                  France, 25-30 August 2019},
  series       = {Studies in Health Technology and Informatics},
  volume       = {264},
  pages        = {378--382},
  publisher    = {{IOS} Press},
  year         = {2019},
  url          = {https://doi.org/10.3233/SHTI190247},
  doi          = {10.3233/SHTI190247},
  timestamp    = {Wed, 03 Feb 2021 08:34:29 +0100},
  biburl       = {https://dblp.org/rec/conf/medinfo/Sun00C19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/JungLXZ19,
  author       = {Achim Jung and
                  Qingguo Li and
                  Luoshan Xu and
                  Guo{-}Qiang Zhang},
  editor       = {Achim Jung and
                  Qingguo Li and
                  Luoshan Xu and
                  Guo{-}Qiang Zhang},
  title        = {Preface},
  booktitle    = {Proceedings of the 8th International Symposium on Domain Theory and
                  Its Applications, {ISDT} 2019, Yangzhou, China, June 14-17, 2019},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {345},
  pages        = {1--2},
  publisher    = {Elsevier},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.entcs.2019.07.013},
  doi          = {10.1016/J.ENTCS.2019.07.013},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/JungLXZ19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isdt/2019,
  editor       = {Achim Jung and
                  Qingguo Li and
                  Luoshan Xu and
                  Guo{-}Qiang Zhang},
  title        = {Proceedings of the 8th International Symposium on Domain Theory and
                  Its Applications, {ISDT} 2019, Yangzhou, China, June 14-17, 2019},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {345},
  publisher    = {Elsevier},
  year         = {2019},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/345/suppl/C},
  timestamp    = {Wed, 05 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isdt/2019.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1903-09326,
  author       = {Xinghua Yao and
                  Qiang Cheng and
                  Guo{-}Qiang Zhang},
  title        = {A Novel Independent {RNN} Approach to Classification of Seizures against
                  Non-seizures},
  journal      = {CoRR},
  volume       = {abs/1903.09326},
  year         = {2019},
  url          = {http://arxiv.org/abs/1903.09326},
  eprinttype    = {arXiv},
  eprint       = {1903.09326},
  timestamp    = {Mon, 01 Apr 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1903-09326.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-05830,
  author       = {Xiaoqian Jiang and
                  Samden D. Lhatoo and
                  Guo{-}Qiang Zhang and
                  Luyao Chen and
                  Yejin Kim},
  title        = {Combining Representation Learning with Tensor Factorization for Risk
                  Factor Analysis - an application to Epilepsy and Alzheimer's disease},
  journal      = {CoRR},
  volume       = {abs/1905.05830},
  year         = {2019},
  url          = {http://arxiv.org/abs/1905.05830},
  eprinttype    = {arXiv},
  eprint       = {1905.05830},
  timestamp    = {Thu, 28 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1905-05830.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-02745,
  author       = {Xinghua Yao and
                  Qiang Cheng and
                  Guo{-}Qiang Zhang},
  title        = {Automated Classification of Seizures against Nonseizures: {A} Deep
                  Learning Approach},
  journal      = {CoRR},
  volume       = {abs/1906.02745},
  year         = {2019},
  url          = {http://arxiv.org/abs/1906.02745},
  eprinttype    = {arXiv},
  eprint       = {1906.02745},
  timestamp    = {Fri, 14 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1906-02745.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jamia/ZhangCMTKRMMR18,
  author       = {Guo{-}Qiang Zhang and
                  Licong Cui and
                  Remo Mueller and
                  Shiqiang Tao and
                  Matthew Kim and
                  Michael Rueschman and
                  Sara Mariani and
                  Daniel R. Mobley and
                  Susan Redline},
  title        = {The National Sleep Research Resource: towards a sleep data commons},
  journal      = {J. Am. Medical Informatics Assoc.},
  volume       = {25},
  number       = {10},
  pages        = {1351--1358},
  year         = {2018},
  url          = {https://doi.org/10.1093/jamia/ocy064},
  doi          = {10.1093/JAMIA/OCY064},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jamia/ZhangCMTKRMMR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jbi/CuiBSZ18,
  author       = {Licong Cui and
                  Olivier Bodenreider and
                  Jay Shi and
                  Guo{-}Qiang Zhang},
  title        = {Auditing {SNOMED} {CT} hierarchical relations based on lexical features
                  of concepts in non-lattice subgraphs},
  journal      = {J. Biomed. Informatics},
  volume       = {78},
  pages        = {177--184},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.jbi.2017.12.010},
  doi          = {10.1016/J.JBI.2017.12.010},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jbi/CuiBSZ18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jbi/0001XC18,
  author       = {Guo{-}Qiang Zhang and
                  Guangming Xing and
                  Licong Cui},
  title        = {An efficient, large-scale, non-lattice-detection algorithm for exhaustive
                  structural auditing of biomedical ontologies},
  journal      = {J. Biomed. Informatics},
  volume       = {80},
  pages        = {106--119},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.jbi.2018.03.004},
  doi          = {10.1016/J.JBI.2018.03.004},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jbi/0001XC18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jbi/GellerPCZ18,
  author       = {James Geller and
                  Yehoshua Perl and
                  Licong Cui and
                  Guo{-}Qiang Zhang},
  title        = {Quality assurance of biomedical terminologies and ontologies},
  journal      = {J. Biomed. Informatics},
  volume       = {86},
  pages        = {106--108},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.jbi.2018.09.006},
  doi          = {10.1016/J.JBI.2018.09.006},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jbi/GellerPCZ18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/midm/CuiZKMHRZ18,
  author       = {Licong Cui and
                  Ningzhou Zeng and
                  Matthew Kim and
                  Remo Mueller and
                  Emily R. Hankosky and
                  Susan Redline and
                  Guo{-}Qiang Zhang},
  title        = {X-search: an open access interface for cross-cohort exploration of
                  the National Sleep Research Resource},
  journal      = {{BMC} Medical Informatics Decis. Mak.},
  volume       = {18},
  number       = {1},
  pages        = {99:1--99:10},
  year         = {2018},
  url          = {https://doi.org/10.1186/s12911-018-0682-y},
  doi          = {10.1186/S12911-018-0682-Y},
  timestamp    = {Sun, 06 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/midm/CuiZKMHRZ18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/titb/LiCTCZZ18,
  author       = {Xiaojin Li and
                  Licong Cui and
                  Shiqiang Tao and
                  Jing Chen and
                  Xiang Zhang and
                  Guo{-}Qiang Zhang},
  title        = {HyCLASSS: {A} Hybrid Classifier for Automatic Sleep Stage Scoring},
  journal      = {{IEEE} J. Biomed. Health Informatics},
  volume       = {22},
  number       = {2},
  pages        = {375--385},
  year         = {2018},
  url          = {https://doi.org/10.1109/JBHI.2017.2668993},
  doi          = {10.1109/JBHI.2017.2668993},
  timestamp    = {Sat, 25 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/titb/LiCTCZZ18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amia/Cui018,
  author       = {Licong Cui and
                  Guo{-}Qiang Zhang},
  title        = {A Cross-Cohort Query System for the National Sleep Research Resource
                  {(NSRR)}},
  booktitle    = {{AMIA} 2018, American Medical Informatics Association Annual Symposium,
                  San Francisco, CA, November 3-7, 2018},
  publisher    = {{AMIA}},
  year         = {2018},
  url          = {https://knowledge.amia.org/67852-amia-1.4259402/t008-1.4262115/t008-1.4262116/2977044-1.4262168/2975951-1.4262165},
  timestamp    = {Wed, 17 Apr 2024 11:47:15 +0200},
  biburl       = {https://dblp.org/rec/conf/amia/Cui018.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amia/HankoskyBDHH0FT18,
  author       = {Emily R. Hankosky and
                  Heather M. Bush and
                  Linda P. Dwoskin and
                  Daniel R. Harris and
                  Darren W. Henderson and
                  Guo{-}Qiang Zhang and
                  Patricia R. Freeman and
                  Jeffery C. Talbert},
  title        = {Retrospective analysis of health claims to evaluate pharmacotherapies
                  with potential for repurposing: Association of bupropion and stimulant
                  use disorder remission},
  booktitle    = {{AMIA} 2018, American Medical Informatics Association Annual Symposium,
                  San Francisco, CA, November 3-7, 2018},
  publisher    = {{AMIA}},
  year         = {2018},
  url          = {https://knowledge.amia.org/67852-amia-1.4259402/t005-1.4263615/t005-1.4263616/2970215-1.4263722/2976440-1.4263719},
  timestamp    = {Wed, 17 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/amia/HankoskyBDHH0FT18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amia/StarrenMM0WSGWD18,
  author       = {Justin Starren and
                  Daniella Meeker and
                  Kenneth D. Mandl and
                  Guo{-}Qiang Zhang and
                  Alyssa White and
                  Raheel Sayeed and
                  Daniel Gottlieb and
                  Alex Wormuth and
                  Welmoed Van Deen and
                  Shiqiang Tao},
  title        = {System Demonstration: Integration of Patient Reported Outcomes with
                  Electronic Health Records - the {EASI-PRO} Project},
  booktitle    = {{AMIA} 2018, American Medical Informatics Association Annual Symposium,
                  San Francisco, CA, November 3-7, 2018},
  publisher    = {{AMIA}},
  year         = {2018},
  url          = {https://knowledge.amia.org/67852-amia-1.4259402/t008-1.4262115/t008-1.4262116/2976057-1.4262126/2975528-1.4262123},
  timestamp    = {Wed, 17 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/amia/StarrenMM0WSGWD18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bcb/0001CMTKRMMR18,
  author       = {Guo{-}Qiang Zhang and
                  Licong Cui and
                  Remo Mueller and
                  Shiqiang Tao and
                  Matthew Kim and
                  Michael Rueschman and
                  Sara Mariani and
                  Daniel R. Mobley and
                  Susan Redline},
  editor       = {Amarda Shehu and
                  Cathy H. Wu and
                  Christina Boucher and
                  Jing Li and
                  Hongfang Liu and
                  Mihai Pop},
  title        = {The National Sleep Research Resource: Towards a Sleep Data Commons},
  booktitle    = {Proceedings of the 2018 {ACM} International Conference on Bioinformatics,
                  Computational Biology, and Health Informatics, {BCB} 2018, Washington,
                  DC, USA, August 29 - September 01, 2018},
  pages        = {572},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3233547.3233725},
  doi          = {10.1145/3233547.3233725},
  timestamp    = {Wed, 21 Nov 2018 12:44:25 +0100},
  biburl       = {https://dblp.org/rec/conf/bcb/0001CMTKRMMR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ichi/FouladvandHHBCD18,
  author       = {Sajjad Fouladvand and
                  Emily R. Hankosky and
                  Darren W. Henderson and
                  Heather Bush and
                  Jin Chen and
                  Linda P. Dwoskin and
                  Patricia R. Freeman and
                  Kathleen Kantak and
                  Jeffery C. Talbert and
                  Shiqiang Tao and
                  Guo{-}Qiang Zhang},
  title        = {Predicting Substance Use Disorder in {ADHD} Patients using Long-Short
                  Term Memory Model},
  booktitle    = {{IEEE} International Conference on Healthcare Informatics Workshops,
                  {ICHI} Workshops 2018, New York, NY, USA, June 4-7, 2018},
  pages        = {49--50},
  publisher    = {{IEEE} Computer Society},
  year         = {2018},
  url          = {https://doi.org/10.1109/ICHI-W.2018.00014},
  doi          = {10.1109/ICHI-W.2018.00014},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ichi/FouladvandHHBCD18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1812-06562,
  author       = {Xinghua Yao and
                  Xiaojin Li and
                  Qiang Ye and
                  Yan Huang and
                  Qiang Cheng and
                  Guoqiang Zhang},
  title        = {A Robust Deep Learning Approach for Automatic Seizure Detection},
  journal      = {CoRR},
  volume       = {abs/1812.06562},
  year         = {2018},
  url          = {http://arxiv.org/abs/1812.06562},
  eprinttype    = {arXiv},
  eprint       = {1812.06562},
  timestamp    = {Wed, 04 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1812-06562.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jamia/CuiZTCBZ17,
  author       = {Licong Cui and
                  Wei Zhu and
                  Shiqiang Tao and
                  James T. Case and
                  Olivier Bodenreider and
                  Guo{-}Qiang Zhang},
  title        = {Mining non-lattice subgraphs for detecting missing hierarchical relations
                  and concepts in {SNOMED} {CT}},
  journal      = {J. Am. Medical Informatics Assoc.},
  volume       = {24},
  number       = {4},
  pages        = {788--798},
  year         = {2017},
  url          = {https://doi.org/10.1093/jamia/ocw175},
  doi          = {10.1093/JAMIA/OCW175},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jamia/CuiZTCBZ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/JungZ17,
  author       = {Achim Jung and
                  Guo{-}Qiang Zhang},
  title        = {Preface},
  journal      = {Math. Struct. Comput. Sci.},
  volume       = {27},
  number       = {4},
  pages        = {459},
  year         = {2017},
  url          = {https://doi.org/10.1017/S0960129515000249},
  doi          = {10.1017/S0960129515000249},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mscs/JungZ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amia/0001HC17,
  author       = {Guo{-}Qiang Zhang and
                  Yan Huang and
                  Licong Cui},
  title        = {Can {SNOMED} {CT} Changes Be Used as a Surrogate Standard for Evaluating
                  the Performance of Its Auditing Methods?},
  booktitle    = {{AMIA} 2017, American Medical Informatics Association Annual Symposium,
                  Washington, DC, USA, November 4-8, 2017},
  publisher    = {{AMIA}},
  year         = {2017},
  url          = {https://knowledge.amia.org/65881-amiab-1.4254737/t003-1.4258387/f003-1.4258388/2729482-1.4258401/2732323-1.4258398},
  timestamp    = {Wed, 17 Apr 2024 11:47:24 +0200},
  biburl       = {https://dblp.org/rec/conf/amia/0001HC17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amia/LiCTZ017,
  author       = {Xiaojin Li and
                  Licong Cui and
                  Shiqiang Tao and
                  Ningzhou Zeng and
                  Guo{-}Qiang Zhang},
  title        = {SpindleSphere: {A} Web-based Platform for Large-scale Sleep Spindle
                  Analysis and Visualization},
  booktitle    = {{AMIA} 2017, American Medical Informatics Association Annual Symposium,
                  Washington, DC, USA, November 4-8, 2017},
  publisher    = {{AMIA}},
  year         = {2017},
  url          = {https://knowledge.amia.org/65881-amiab-1.4254737/t003-1.4258387/f003-1.4258388/2732040-1.4258635/2732200-1.4258632},
  timestamp    = {Wed, 17 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/amia/LiCTZ017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amia/TaoCW017,
  author       = {Shiqiang Tao and
                  Licong Cui and
                  Xi Wu and
                  Guo{-}Qiang Zhang},
  title        = {Facilitating Cohort Discovery by Enhancing Ontology Exploration, Query
                  Management and Query Sharing for Large Clinical Data Repositories},
  booktitle    = {{AMIA} 2017, American Medical Informatics Association Annual Symposium,
                  Washington, DC, USA, November 4-8, 2017},
  publisher    = {{AMIA}},
  year         = {2017},
  url          = {https://knowledge.amia.org/65881-amiab-1.4254737/t003-1.4258387/f003-1.4258388/2731678-1.4258470/2727031-1.4258467},
  timestamp    = {Wed, 17 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/amia/TaoCW017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amia/TaoR017,
  author       = {Shiqiang Tao and
                  Steve K. Roggenkamp and
                  Guo{-}Qiang Zhang},
  title        = {A Practical Scientific Workflow of Sharing Large Selected Dataset
                  from Clinical Research Data Repository},
  booktitle    = {{AMIA} 2017, American Medical Informatics Association Annual Symposium,
                  Washington, DC, USA, November 4-8, 2017},
  publisher    = {{AMIA}},
  year         = {2017},
  url          = {https://knowledge.amia.org/65881-amiab-1.4254737/t004-1.4257399/f004-1.4257400/2732262-1.4257548/2730509-1.4257545},
  timestamp    = {Wed, 17 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/amia/TaoR017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amia/Zhu0C17,
  author       = {Wei Zhu and
                  Guo{-}Qiang Zhang and
                  Licong Cui},
  title        = {Spark-MCA: Large-scale, Exhaustive Formal Concept Analysis for Evaluating
                  the Semantic Completeness of {SNOMED} {CT}},
  booktitle    = {{AMIA} 2017, American Medical Informatics Association Annual Symposium,
                  Washington, DC, USA, November 4-8, 2017},
  publisher    = {{AMIA}},
  year         = {2017},
  url          = {https://knowledge.amia.org/65881-amiab-1.4254737/t003-1.4258387/f003-1.4258388/2731714-1.4258392/2732364-1.4258389},
  timestamp    = {Wed, 17 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/amia/Zhu0C17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bibm/WuRT017,
  author       = {Xi Wu and
                  Steven K. Roggenkamp and
                  Shiqiang Tao and
                  Guo{-}Qiang Zhang},
  editor       = {Xiaohua Hu and
                  Chi{-}Ren Shyu and
                  Yana Bromberg and
                  Jean Gao and
                  Yang Gong and
                  Dmitry Korkin and
                  Illhoi Yoo and
                  Huiru Jane Zheng},
  title        = {ImageSfERe: Image sharing for epilepsy research},
  booktitle    = {2017 {IEEE} International Conference on Bioinformatics and Biomedicine,
                  {BIBM} 2017, Kansas City, MO, USA, November 13-16, 2017},
  pages        = {817--823},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/BIBM.2017.8217760},
  doi          = {10.1109/BIBM.2017.8217760},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/bibm/WuRT017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bibm/Zeng0LC17,
  author       = {Ningzhou Zeng and
                  Guo{-}Qiang Zhang and
                  Xiaojin Li and
                  Licong Cui},
  editor       = {Xiaohua Hu and
                  Chi{-}Ren Shyu and
                  Yana Bromberg and
                  Jean Gao and
                  Yang Gong and
                  Dmitry Korkin and
                  Illhoi Yoo and
                  Huiru Jane Zheng},
  title        = {Evaluation of relational and NoSQL approaches for patient cohort identification
                  from heterogeneous data sources},
  booktitle    = {2017 {IEEE} International Conference on Bioinformatics and Biomedicine,
                  {BIBM} 2017, Kansas City, MO, USA, November 13-16, 2017},
  pages        = {1135--1140},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/BIBM.2017.8217817},
  doi          = {10.1109/BIBM.2017.8217817},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/bibm/Zeng0LC17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cri/TaoZWZLCZ17,
  author       = {Shiqiang Tao and
                  Ningzhou Zeng and
                  Xi Wu and
                  Wei Zhu and
                  Xiaojin Li and
                  Licong Cui and
                  Guo{-}Qiang Zhang},
  title        = {A Data Capture Framework for Large-scale Interventional Studies with
                  Survey Workflow Management},
  booktitle    = {Summit on Clinical Research Informatics, {CRI} 2017, San Francisco,
                  CA, USA, March 27-30, 2017},
  publisher    = {{AMIA}},
  year         = {2017},
  url          = {http://knowledge.amia.org/amia-64484-cri2017-1.3520710/t002-1.3521687/t002-1.3521688/a040-1.3521702/a041-1.3521699},
  timestamp    = {Mon, 24 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cri/TaoZWZLCZ17.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}
}
@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}
}
@article{DBLP:journals/biodatamining/XingZC16,
  author       = {Guangming Xing and
                  Guo{-}Qiang Zhang and
                  Licong Cui},
  title        = {{FEDRR:} fast, exhaustive detection of redundant hierarchical relations
                  for quality improvement of large biomedical ontologies},
  journal      = {BioData Min.},
  volume       = {9},
  pages        = {31},
  year         = {2016},
  url          = {https://doi.org/10.1186/s13040-016-0110-8},
  doi          = {10.1186/S13040-016-0110-8},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/biodatamining/XingZC16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/hij/SahooZBFSLTSWS16,
  author       = {Satya S. Sahoo and
                  Guo{-}Qiang Zhang and
                  Yvan Bamps and
                  Robert Fraser and
                  Shelley Stoll and
                  Samden D. Lhatoo and
                  Curtis Tatsuoka and
                  Johnny Sams and
                  Elisabeth Welter and
                  Martha Sajatovic},
  title        = {Managing information well: Toward an ontology-driven informatics platform
                  for data sharing and secondary use in epilepsy self-management research
                  centers},
  journal      = {Health Informatics J.},
  volume       = {22},
  number       = {3},
  pages        = {548--561},
  year         = {2016},
  url          = {https://doi.org/10.1177/1460458215572924},
  doi          = {10.1177/1460458215572924},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/hij/SahooZBFSLTSWS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfs/GuoLZ16,
  author       = {Lankun Guo and
                  Qingguo Li and
                  Guo{-}Qiang Zhang},
  title        = {A Note on L-fuzzy Closure Systems},
  journal      = {Int. J. Fuzzy Syst.},
  volume       = {18},
  number       = {1},
  pages        = {110--118},
  year         = {2016},
  url          = {https://doi.org/10.1007/s40815-015-0104-6},
  doi          = {10.1007/S40815-015-0104-6},
  timestamp    = {Wed, 29 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfs/GuoLZ16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tkdd/CuiTZ16,
  author       = {Licong Cui and
                  Shiqiang Tao and
                  Guo{-}Qiang Zhang},
  title        = {Biomedical Ontology Quality Assurance Using a Big Data Approach},
  journal      = {{ACM} Trans. Knowl. Discov. Data},
  volume       = {10},
  number       = {4},
  pages        = {41:1--41:28},
  year         = {2016},
  url          = {https://doi.org/10.1145/2768830},
  doi          = {10.1145/2768830},
  timestamp    = {Thu, 16 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tkdd/CuiTZ16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amia/CuiHTLZ16,
  author       = {Licong Cui and
                  Yan Huang and
                  Shiqiang Tao and
                  Samden D. Lhatoo and
                  Guo{-}Qiang Zhang},
  title        = {ODaCCI: Ontology-guided Data Curation for Multisite Clinical Research
                  Data Integration in the {NINDS} Center for {SUDEP} Research},
  booktitle    = {{AMIA} 2016, American Medical Informatics Association Annual Symposium,
                  Chicago, IL, USA, November 12-16, 2016},
  publisher    = {{AMIA}},
  year         = {2016},
  url          = {http://knowledge.amia.org/amia-63300-1.3360278/t004-1.3364525/f004-1.3364526/2497497-1.3364948/2497467-1.3364943},
  timestamp    = {Wed, 17 Apr 2024 11:47:32 +0200},
  biburl       = {https://dblp.org/rec/conf/amia/CuiHTLZ16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amia/ZhuLJBCZ16,
  author       = {Wei Zhu and
                  Lingyun Luo and
                  Tarun Jain and
                  Rebecca S. Boxer and
                  Licong Cui and
                  Guo{-}Qiang Zhang},
  title        = {{DCDS:} {A} Real-time Data Capture and Personalized Decision Support
                  System for Heart Failure Patients in Skilled Nursing Facilities},
  booktitle    = {{AMIA} 2016, American Medical Informatics Association Annual Symposium,
                  Chicago, IL, USA, November 12-16, 2016},
  publisher    = {{AMIA}},
  year         = {2016},
  url          = {https://knowledge.amia.org/amia-63300-1.3360278/t007-1.3362675/f007-1.3362676/2496128-1.3362682/2499445-1.3362677},
  timestamp    = {Wed, 17 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/amia/ZhuLJBCZ16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/his2/TaoWGZ16,
  author       = {Shiqiang Tao and
                  Benjamin L. Walter and
                  Sisi Gu and
                  Guo{-}Qiang Zhang},
  editor       = {Xiao{-}Xia Yin and
                  James Geller and
                  Ye Li and
                  Rui Zhou and
                  Hua Wang and
                  Yanchun Zhang},
  title        = {Web-Interface-Driven Development for Neuro3D, a Clinical Data Capture
                  and Decision Support System for Deep Brain Stimulation},
  booktitle    = {Health Information Science - 5th International Conference, {HIS} 2016,
                  Shanghai, China, November 5-7, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10038},
  pages        = {31--42},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-48335-1\_4},
  doi          = {10.1007/978-3-319-48335-1\_4},
  timestamp    = {Sun, 25 Oct 2020 22:59:51 +0100},
  biburl       = {https://dblp.org/rec/conf/his2/TaoWGZ16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/ChenLZX15,
  author       = {Yang Chen and
                  Li Li and
                  Guo{-}Qiang Zhang and
                  Rong Xu},
  title        = {Phenome-driven disease genetics prediction toward drug discovery},
  journal      = {Bioinform.},
  volume       = {31},
  number       = {12},
  pages        = {276--283},
  year         = {2015},
  url          = {https://doi.org/10.1093/bioinformatics/btv245},
  doi          = {10.1093/BIOINFORMATICS/BTV245},
  timestamp    = {Mon, 02 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/bioinformatics/ChenLZX15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fini/JayapandianWRZL15,
  author       = {Catherine P. Jayapandian and
                  Annan Wei and
                  Priya Ramesh and
                  Bilal Zonjy and
                  Samden D. Lhatoo and
                  Kenneth A. Loparo and
                  Guo{-}Qiang Zhang and
                  Satya S. Sahoo},
  title        = {A scalable neuroinformatics data flow for electrophysiological signals
                  using MapReduce},
  journal      = {Frontiers Neuroinformatics},
  volume       = {9},
  pages        = {4},
  year         = {2015},
  url          = {https://doi.org/10.3389/fninf.2015.00004},
  doi          = {10.3389/FNINF.2015.00004},
  timestamp    = {Tue, 07 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fini/JayapandianWRZL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jbi/ChenZZX15,
  author       = {Yang Chen and
                  Xiang Zhang and
                  Guo{-}Qiang Zhang and
                  Rong Xu},
  title        = {Comparative analysis of a novel disease phenotype network based on
                  clinical manifestations},
  journal      = {J. Biomed. Informatics},
  volume       = {53},
  pages        = {113--120},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.jbi.2014.09.007},
  doi          = {10.1016/J.JBI.2014.09.007},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jbi/ChenZZX15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amia/SunZTCZ15,
  author       = {Mengmeng Sun and
                  Wei Zhu and
                  Shiqiang Tao and
                  Licong Cui and
                  Guo{-}Qiang Zhang},
  title        = {{COBE:} {A} Conjunctive Ontology Browser and Explorer for Visualizing
                  {SNOMED} {CT} Fragments},
  booktitle    = {{AMIA} 2015, American Medical Informatics Association Annual Symposium,
                  San Francisco, CA, USA, November 14-18, 2015},
  publisher    = {{AMIA}},
  year         = {2015},
  url          = {https://knowledge.amia.org/59310-amia-1.2741865/t007-1.2744224/f007-1.2744225/2243369-1.2744238/2248689-1.2744235},
  timestamp    = {Wed, 17 Apr 2024 11:47:40 +0200},
  biburl       = {https://dblp.org/rec/conf/amia/SunZTCZ15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bibm/JayapandianWMDT15,
  author       = {Catherine P. Jayapandian and
                  Wei Wang and
                  Michael G. Morrical and
                  Dennis A. Dean and
                  Shiqiang Tao and
                  Daniel R. Mobley and
                  Matthew Kim and
                  Michael Rueschman and
                  Kenneth A. Loparo and
                  Susan Redline and
                  Guo{-}Qiang Zhang},
  editor       = {Jun Huan and
                  Satoru Miyano and
                  Amarda Shehu and
                  Xiaohua Tony Hu and
                  Bin Ma and
                  Sanguthevar Rajasekaran and
                  Vijay K. Gombar and
                  Matthieu{-}P. Schapranow and
                  Illhoi Yoo and
                  Jiayu Zhou and
                  Brian Chen and
                  Vinay Pai and
                  Brian G. Pierce},
  title        = {{RREV:} Reconfigurable Rendering Engine for visualization of clinically
                  annotated polysomnograms},
  booktitle    = {2015 {IEEE} International Conference on Bioinformatics and Biomedicine,
                  {BIBM} 2015, Washington, DC, USA, November 9-12, 2015},
  pages        = {309--316},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/BIBM.2015.7359700},
  doi          = {10.1109/BIBM.2015.7359700},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/bibm/JayapandianWMDT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/XingCZ15,
  author       = {Guangming Xing and
                  Licong Cui and
                  Guo{-}Qiang Zhang},
  editor       = {Dezhao Song and
                  Adam Fermier and
                  Cui Tao and
                  Frank Schilder},
  title        = {{FEDRR:} Fast, Exhaustive Detection of Redundant Hierarchical Relations
                  in Large Biomedical Ontologies},
  booktitle    = {Proceedings of International Workshop on Biomedical Data Mining, Modeling,
                  and Semantic Integration: {A} Promising Approach to Solving Unmet
                  Medical Needs {(BDM2I2015)} co-located with The 14th International
                  Semantic Web Conference {(ISWC} 2015), Bethlehem, United States, October
                  11th, 2015},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1428},
  publisher    = {CEUR-WS.org},
  year         = {2015},
  url          = {https://ceur-ws.org/Vol-1428/BDM2I\_2015\_paper\_7.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:07 +0100},
  biburl       = {https://dblp.org/rec/conf/semweb/XingCZ15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jamia/SahooLGCZJBZ14,
  author       = {Satya Sanket Sahoo and
                  Samden D. Lhatoo and
                  Deepak K. Gupta and
                  Licong Cui and
                  Meng Zhao and
                  Catherine P. Jayapandian and
                  Alireza Bozorgi and
                  Guo{-}Qiang Zhang},
  title        = {Epilepsy and seizure ontology: towards an epilepsy informatics infrastructure
                  for clinical research and patient care},
  journal      = {J. Am. Medical Informatics Assoc.},
  volume       = {21},
  number       = {1},
  pages        = {82--89},
  year         = {2014},
  url          = {https://doi.org/10.1136/amiajnl-2013-001696},
  doi          = {10.1136/AMIAJNL-2013-001696},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jamia/SahooLGCZJBZ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jamia/SahooJGKCBCLLZ14,
  author       = {Satya Sanket Sahoo and
                  Catherine P. Jayapandian and
                  Gaurav Garg and
                  Farhad Kaffashi and
                  Stephanie Chung and
                  Alireza Bozorgi and
                  Chien{-}Hung Chen and
                  Kenneth A. Loparo and
                  Samden D. Lhatoo and
                  Guo{-}Qiang Zhang},
  title        = {Heart beats in the cloud: distributed analysis of electrophysiological
                  '\emph{Big Data}' using cloud computing for epilepsy clinical research},
  journal      = {J. Am. Medical Informatics Assoc.},
  volume       = {21},
  number       = {2},
  pages        = {263--271},
  year         = {2014},
  url          = {https://doi.org/10.1136/amiajnl-2013-002156},
  doi          = {10.1136/AMIAJNL-2013-002156},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jamia/SahooJGKCBCLLZ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jbi/CuiSLGRBZ14,
  author       = {Licong Cui and
                  Satya Sanket Sahoo and
                  Samden D. Lhatoo and
                  Gaurav Garg and
                  Prashant Rai and
                  Alireza Bozorgi and
                  Guo{-}Qiang Zhang},
  title        = {Complex epilepsy phenotype extraction from narrative clinical discharge
                  summaries},
  journal      = {J. Biomed. Informatics},
  volume       = {51},
  pages        = {272--279},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.jbi.2014.06.006},
  doi          = {10.1016/J.JBI.2014.06.006},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jbi/CuiSLGRBZ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/midm/CuiXLWSZ14,
  author       = {Licong Cui and
                  Rong Xu and
                  Zhihui Luo and
                  Susan Wentz and
                  Kyle Scarberry and
                  Guo{-}Qiang Zhang},
  title        = {Multi-topic assignment for exploratory navigation of consumer health
                  information in NetWellness using formal concept analysis},
  journal      = {{BMC} Medical Informatics Decis. Mak.},
  volume       = {14},
  pages        = {63},
  year         = {2014},
  url          = {https://doi.org/10.1186/1472-6947-14-63},
  doi          = {10.1186/1472-6947-14-63},
  timestamp    = {Sun, 06 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/midm/CuiXLWSZ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/midm/LuoAPZ14,
  author       = {Jake Luo and
                  Carolyn Apperson{-}Hansen and
                  Clara M. Pelfrey and
                  Guo{-}Qiang Zhang},
  title        = {{RMS:} a platform for managing cross-disciplinary and multi-institutional
                  research project collaboration},
  journal      = {{BMC} Medical Informatics Decis. Mak.},
  volume       = {14},
  pages        = {106},
  year         = {2014},
  url          = {https://doi.org/10.1186/s12911-014-0106-6},
  doi          = {10.1186/S12911-014-0106-6},
  timestamp    = {Sun, 06 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/midm/LuoAPZ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amia/CuiTZ14,
  author       = {Licong Cui and
                  Shiqiang Tao and
                  Guo{-}Qiang Zhang},
  title        = {A Semantic-based Approach for Exploring Consumer Health Questions
                  Using {UMLS}},
  booktitle    = {{AMIA} 2014, American Medical Informatics Association Annual Symposium,
                  Washington, DC, USA, November 15-19, 2014},
  publisher    = {{AMIA}},
  year         = {2014},
  url          = {https://knowledge.amia.org/56638-amia-1.1540970/t-004-1.1544972/f-004-1.1544973/a-138-1.1545259/a-139-1.1545256},
  timestamp    = {Wed, 17 Apr 2024 11:47:48 +0200},
  biburl       = {https://dblp.org/rec/conf/amia/CuiTZ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amia/ZhangCLS14,
  author       = {Guo{-}Qiang Zhang and
                  Licong Cui and
                  Samden D. Lhatoo and
                  Satya S. Sahoo},
  title        = {{MEDCIS:} Multi-Modality Epilepsy Data Capture and Integration System},
  booktitle    = {{AMIA} 2014, American Medical Informatics Association Annual Symposium,
                  Washington, DC, USA, November 15-19, 2014},
  publisher    = {{AMIA}},
  year         = {2014},
  url          = {https://knowledge.amia.org/56638-amia-1.1540970/t-004-1.1544972/f-004-1.1544973/a-227-1.1544992/a-228-1.1544989},
  timestamp    = {Wed, 17 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/amia/ZhangCLS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bigdataconf/ZhangZSTBC14,
  author       = {Guo{-}Qiang Zhang and
                  Wei Zhu and
                  Mengmeng Sun and
                  Shiqiang Tao and
                  Olivier Bodenreider and
                  Licong Cui},
  editor       = {Jimmy Lin and
                  Jian Pei and
                  Xiaohua Hu and
                  Wo Chang and
                  Raghunath Nambiar and
                  Charu C. Aggarwal and
                  Nick Cercone and
                  Vasant G. Honavar and
                  Jun Huan and
                  Bamshad Mobasher and
                  Saumyadipta Pyne},
  title        = {MaPLE: {A} MapReduce Pipeline for Lattice-based Evaluation and its
                  application to {SNOMED} {CT}},
  booktitle    = {2014 {IEEE} International Conference on Big Data {(IEEE} BigData 2014),
                  Washington, DC, USA, October 27-30, 2014},
  pages        = {754--759},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/BigData.2014.7004301},
  doi          = {10.1109/BIGDATA.2014.7004301},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/bigdataconf/ZhangZSTBC14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/er/JayapandianCDLZS14,
  author       = {Catherine P. Jayapandian and
                  Chien{-}Hung Chen and
                  Aman Dabir and
                  Samden D. Lhatoo and
                  Guo{-}Qiang Zhang and
                  Satya Sanket Sahoo},
  editor       = {Eric S. K. Yu and
                  Gillian Dobbie and
                  Matthias Jarke and
                  Sandeep Purao},
  title        = {Domain Ontology As Conceptual Model for Big Data Management: Application
                  in Biomedical Informatics},
  booktitle    = {Conceptual Modeling - 33rd International Conference, {ER} 2014, Atlanta,
                  GA, USA, October 27-29, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8824},
  pages        = {144--157},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-12206-9\_12},
  doi          = {10.1007/978-3-319-12206-9\_12},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/er/JayapandianCDLZS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isdt/2013,
  editor       = {Ying{-}ming Liu and
                  Mao{-}kang Luo and
                  Michael W. Mislove and
                  Guo{-}Qiang Zhang},
  title        = {Proceedings of the 6th International Symposium on Domain Theory and
                  Its Applications, {ISDT} 2013, Hunan University in Changsha, China,
                  October 25-29, 2013},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {301},
  publisher    = {Elsevier},
  year         = {2014},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/301/suppl/C},
  timestamp    = {Wed, 05 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isdt/2013.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jamia/ChenRZX13,
  author       = {Yang Chen and
                  Xiaofeng Ren and
                  Guo{-}Qiang Zhang and
                  Rong Xu},
  title        = {Research and applications: Ontology-guided organ detection to retrieve
                  web images of disease manifestation: towards the construction of a
                  consumer-based health image library},
  journal      = {J. Am. Medical Informatics Assoc.},
  volume       = {20},
  number       = {6},
  pages        = {1076--1081},
  year         = {2013},
  url          = {https://doi.org/10.1136/amiajnl-2012-001380},
  doi          = {10.1136/AMIAJNL-2012-001380},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jamia/ChenRZX13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jbi/LuoMZ13,
  author       = {Lingyun Luo and
                  Jos{\'{e}} L. V. Mejino Jr. and
                  Guo{-}Qiang Zhang},
  title        = {An analysis of {FMA} using structural self-bisimilarity},
  journal      = {J. Biomed. Informatics},
  volume       = {46},
  number       = {3},
  pages        = {497--505},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.jbi.2013.03.005},
  doi          = {10.1016/J.JBI.2013.03.005},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jbi/LuoMZ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amia/JayapandianCBLZS13,
  author       = {Catherine P. Jayapandian and
                  Chien{-}Hung Chen and
                  Alireza Bozorgi and
                  Samden D. Lhatoo and
                  Guo{-}Qiang Zhang and
                  Satya Sanket Sahoo},
  title        = {Cloudwave: Distributed Processing of "Big Data" from Electrophysiological
                  Recordings for Epilepsy Clinical Research Using Hadoop},
  booktitle    = {{AMIA} 2013, American Medical Informatics Association Annual Symposium,
                  Washington, DC, USA, November 16-20, 2013},
  publisher    = {{AMIA}},
  year         = {2013},
  url          = {https://knowledge.amia.org/amia-55142-a2013e-1.580047/t-09-1.582024/f-009-1.582025/a-223-1.582104/a-227-1.582099},
  timestamp    = {Wed, 17 Apr 2024 11:47:55 +0200},
  biburl       = {https://dblp.org/rec/conf/amia/JayapandianCBLZS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ichi/CuiMSZ13,
  author       = {Licong Cui and
                  Remo Mueller and
                  Satya Sanket Sahoo and
                  Guo{-}Qiang Zhang},
  title        = {Querying Complex Federated Clinical Data Using Ontological Mapping
                  and Subsumption Reasoning},
  booktitle    = {{IEEE} International Conference on Healthcare Informatics, {ICHI}
                  2013, 9-11 September, 2013, Philadelphia, PA, {USA}},
  pages        = {351--360},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/ICHI.2013.49},
  doi          = {10.1109/ICHI.2013.49},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ichi/CuiMSZ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medinfo/JayapandianCBLZS13,
  author       = {Catherine P. Jayapandian and
                  Chien{-}Hung Chen and
                  Alireza Bozorgi and
                  Samden D. Lhatoo and
                  Guo{-}Qiang Zhang and
                  Satya Sanket Sahoo},
  editor       = {Christoph Ulrich Lehmann and
                  Elske Ammenwerth and
                  Christian N{\o}hr},
  title        = {Electrophysiological Signal Analysis and Visualization using Cloudwave
                  for Epilepsy Clinical Research},
  booktitle    = {{MEDINFO} 2013 - Proceedings of the 14th World Congress on Medical
                  and Health Informatics, 20-13 August 2013, Copenhagen, Denmark},
  series       = {Studies in Health Technology and Informatics},
  volume       = {192},
  pages        = {817--821},
  publisher    = {{IOS} Press},
  year         = {2013},
  url          = {https://doi.org/10.3233/978-1-61499-289-9-817},
  doi          = {10.3233/978-1-61499-289-9-817},
  timestamp    = {Wed, 03 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/medinfo/JayapandianCBLZS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LiuLMZ14,
  author       = {Ying{-}ming Liu and
                  Mao{-}kang Luo and
                  Michael W. Mislove and
                  Guo{-}Qiang Zhang},
  editor       = {Ying{-}ming Liu and
                  Mao{-}kang Luo and
                  Michael W. Mislove and
                  Guo{-}Qiang Zhang},
  title        = {Preface},
  booktitle    = {Proceedings of the 6th International Symposium on Domain Theory and
                  Its Applications, {ISDT} 2013, Hunan University in Changsha, China,
                  October 25-29, 2013},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {301},
  pages        = {1--2},
  publisher    = {Elsevier},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.entcs.2014.01.001},
  doi          = {10.1016/J.ENTCS.2014.01.001},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/LiuLMZ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcsb/JayapandianZEZS12,
  author       = {Catherine P. Jayapandian and
                  Meng Zhao and
                  Rob M. Ewing and
                  Guo{-}Qiang Zhang and
                  Satya Sanket Sahoo},
  title        = {A semantic proteomics dashboard (SemPoD) for data management in translational
                  research},
  journal      = {{BMC} Syst. Biol.},
  volume       = {6},
  number       = {{S-3}},
  pages        = {S20},
  year         = {2012},
  url          = {https://doi.org/10.1186/1752-0509-6-S3-S20},
  doi          = {10.1186/1752-0509-6-S3-S20},
  timestamp    = {Tue, 05 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bmcsb/JayapandianZEZS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amia/CuiLZSB12,
  author       = {Licong Cui and
                  Samden D. Lhatoo and
                  Guo{-}Qiang Zhang and
                  Satya Sanket Sahoo and
                  Alireza Bozorgi},
  title        = {EpiDEA: Extracting Structured Epilepsy and Seizure Information from
                  Patient Discharge Summaries for Cohort Identification},
  booktitle    = {{AMIA} 2012, American Medical Informatics Association Annual Symposium,
                  Chicago, Illinois, USA, November 3-7, 2012},
  publisher    = {{AMIA}},
  year         = {2012},
  url          = {https://knowledge.amia.org/amia-55142-a2012a-1.636547/t-003-1.640625/f-001-1.640626/a-134-1.640826/a-135-1.640823},
  timestamp    = {Wed, 17 Apr 2024 11:48:03 +0200},
  biburl       = {https://dblp.org/rec/conf/amia/CuiLZSB12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amia/SahooZLBGLZ12,
  author       = {Satya Sanket Sahoo and
                  Meng Zhao and
                  Lingyun Luo and
                  Alireza Bozorgi and
                  Deepak K. Gupta and
                  Samden D. Lhatoo and
                  Guo{-}Qiang Zhang},
  title        = {{OPIC:} Ontology-driven Patient Information Capturing System for Epilepsy},
  booktitle    = {{AMIA} 2012, American Medical Informatics Association Annual Symposium,
                  Chicago, Illinois, USA, November 3-7, 2012},
  publisher    = {{AMIA}},
  year         = {2012},
  url          = {https://knowledge.amia.org/amia-55142-a2012a-1.636547/t-003-1.640625/f-001-1.640626/a-092-1.640957/a-093-1.640954},
  timestamp    = {Wed, 17 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/amia/SahooZLBGLZ12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amia/ZhangLTJMS12,
  author       = {Guo{-}Qiang Zhang and
                  Lingyun Luo and
                  Chimezie Thomas{-}Ogbuji and
                  Cliff A. Joslyn and
                  Jos{\'{e}} Leonardo Villaraza Mejino Jr. and
                  Satya Sanket Sahoo},
  title        = {An Analysis of Multi-type Relational Interactions in {FMA} Using Graph
                  Motifs with Disjointness Constraints},
  booktitle    = {{AMIA} 2012, American Medical Informatics Association Annual Symposium,
                  Chicago, Illinois, USA, November 3-7, 2012},
  publisher    = {{AMIA}},
  year         = {2012},
  url          = {https://knowledge.amia.org/amia-55142-a2012a-1.636547/t-003-1.640625/f-001-1.640626/a-120-1.640869/a-121-1.640866},
  timestamp    = {Wed, 17 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/amia/ZhangLTJMS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hisb/ChenRZX12,
  author       = {Yang Chen and
                  Xiaofeng Ren and
                  Guo{-}Qiang Zhang and
                  Rong Xu},
  title        = {Ontology-Guided Approach to Retrieving Disease Manifestation Images
                  for Health Image Base Construction},
  booktitle    = {2012 {IEEE} Second International Conference on Healthcare Informatics,
                  Imaging and Systems Biology, {HISB} 2012, La Jolla, CA, USA, September
                  27-28, 2012},
  pages        = {107},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/HISB.2012.32},
  doi          = {10.1109/HISB.2012.32},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hisb/ChenRZX12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ihi/ChenZX12,
  author       = {Yang Chen and
                  Guo{-}Qiang Zhang and
                  Rong Xu},
  editor       = {Gang Luo and
                  Jiming Liu and
                  Christopher C. Yang},
  title        = {Semi-supervised image classification for automatic construction of
                  a health image library},
  booktitle    = {{ACM} International Health Informatics Symposium, {IHI} '12, Miami,
                  FL, USA, January 28-30, 2012},
  pages        = {111--120},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2110363.2110379},
  doi          = {10.1145/2110363.2110379},
  timestamp    = {Wed, 16 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ihi/ChenZX12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ihi/SahooSZ12,
  author       = {Satya Sanket Sahoo and
                  Amit P. Sheth and
                  Guo{-}Qiang Zhang},
  editor       = {Gang Luo and
                  Jiming Liu and
                  Christopher C. Yang},
  title        = {Role of semantic web in health informatics},
  booktitle    = {{ACM} International Health Informatics Symposium, {IHI} '12, Miami,
                  FL, USA, January 28-30, 2012},
  pages        = {881--882},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2110363.2110480},
  doi          = {10.1145/2110363.2110480},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ihi/SahooSZ12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qlsc/Cui012,
  author       = {Licong Cui and
                  Guo{-}Qiang Zhang},
  editor       = {Guojun Wang and
                  Bin Zhao and
                  Yongmin Li},
  title        = {A generalized non-pumping Lemma for Regular Languages},
  booktitle    = {Quantitative Logic and Soft Computing, Proceedings of the {QLSC} 2012,
                  Xi'an, China, 12-15 May 2012},
  series       = {World Scientific Proceedings Series on Computer Engineering and Informtion
                  Science},
  volume       = {5},
  publisher    = {World Scientific},
  year         = {2012},
  url          = {https://doi.org/10.1142/9789814401531\_0057},
  doi          = {10.1142/9789814401531\_0057},
  timestamp    = {Thu, 28 May 2020 14:56:48 +0200},
  biburl       = {https://dblp.org/rec/conf/qlsc/Cui012.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qlsc/ZhangZFC12,
  author       = {Guo{-}Qiang Zhang and
                  Xiangnan Zhou and
                  Robert Fraser and
                  Licong Cui},
  editor       = {Guojun Wang and
                  Bin Zhao and
                  Yongmin Li},
  title        = {Concatenation and Kleene Star on Deterministic finite Automata},
  booktitle    = {Quantitative Logic and Soft Computing, Proceedings of the {QLSC} 2012,
                  Xi'an, China, 12-15 May 2012},
  series       = {World Scientific Proceedings Series on Computer Engineering and Informtion
                  Science},
  volume       = {5},
  publisher    = {World Scientific},
  year         = {2012},
  url          = {https://doi.org/10.1142/9789814401531\_0056},
  doi          = {10.1142/9789814401531\_0056},
  timestamp    = {Thu, 05 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/qlsc/ZhangZFC12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dm/GuoHLZ11,
  author       = {Lankun Guo and
                  Fangping Huang and
                  Qingguo Li and
                  Guo{-}Qiang Zhang},
  title        = {Power contexts and their concept lattices},
  journal      = {Discret. Math.},
  volume       = {311},
  number       = {18-19},
  pages        = {2049--2063},
  year         = {2011},
  url          = {https://doi.org/10.1016/j.disc.2011.04.033},
  doi          = {10.1016/J.DISC.2011.04.033},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dm/GuoHLZ11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jbi/TranJRZ11,
  author       = {Van Anh Tran and
                  Nathan Johnson and
                  Susan Redline and
                  Guo{-}Qiang Zhang},
  title        = {OnWARD: Ontology-driven web-based framework for multi-center clinical
                  studies},
  journal      = {J. Biomed. Informatics},
  volume       = {44},
  number       = {Supplement-1},
  pages        = {S48--S53},
  year         = {2011},
  url          = {https://doi.org/10.1016/j.jbi.2011.08.019},
  doi          = {10.1016/J.JBI.2011.08.019},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jbi/TranJRZ11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/GuoZL11,
  author       = {Lankun Guo and
                  Guo{-}Qiang Zhang and
                  Qingguo Li},
  title        = {Fuzzy closure systems on \emph{L} - ordered sets},
  journal      = {Math. Log. Q.},
  volume       = {57},
  number       = {3},
  pages        = {281--291},
  year         = {2011},
  url          = {https://doi.org/10.1002/malq.201010007},
  doi          = {10.1002/MALQ.201010007},
  timestamp    = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/GuoZL11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tmi/HuangNWJZ11,
  author       = {Fangping Huang and
                  Sreenath Narayan and
                  David L. Wilson and
                  David H. Johnson and
                  Guo{-}Qiang Zhang},
  title        = {A Fast Iterated Conditional Modes Algorithm for Water-Fat Decomposition
                  in {MRI}},
  journal      = {{IEEE} Trans. Medical Imaging},
  volume       = {30},
  number       = {8},
  pages        = {1480--1492},
  year         = {2011},
  url          = {https://doi.org/10.1109/TMI.2011.2125980},
  doi          = {10.1109/TMI.2011.2125980},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tmi/HuangNWJZ11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0911-3214,
  author       = {Manfred Droste and
                  Guo{-}Qiang Zhang},
  title        = {Bifinite Chu Spaces},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {6},
  number       = {1},
  year         = {2010},
  url          = {http://arxiv.org/abs/0911.3214},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0911-3214.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/ZhangC10,
  author       = {Guo{-}Qiang Zhang and
                  Licong Cui},
  title        = {A set coverage problem},
  journal      = {Inf. Process. Lett.},
  volume       = {110},
  number       = {4},
  pages        = {158--159},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.ipl.2009.11.012},
  doi          = {10.1016/J.IPL.2009.11.012},
  timestamp    = {Sat, 24 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ipl/ZhangC10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fois/OgbujiAZZ10,
  author       = {Chimezie Ogbuji and
                  Sivaram Arabandi and
                  Songmao Zhang and
                  Guo{-}Qiang Zhang},
  editor       = {Antony Galton and
                  Riichiro Mizoguchi},
  title        = {Segmenting and Merging Domain-specific Ontology Modules for Clinical
                  Informatics},
  booktitle    = {Formal Ontology in Information Systems, Proceedings of the Sixth International
                  Conference, {FOIS} 2010, Toronto, Canada, May 11-14, 2010},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {209},
  pages        = {414--427},
  publisher    = {{IOS} Press},
  year         = {2010},
  url          = {https://doi.org/10.3233/978-1-60750-535-8-414},
  doi          = {10.3233/978-1-60750-535-8-414},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fois/OgbujiAZZ10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ksem/Zhang10,
  author       = {Guo{-}Qiang Zhang},
  editor       = {Yaxin Bi and
                  Mary{-}Anne Williams},
  title        = {Large-Scale, Exhaustive Lattice-Based Structural Auditing of {SNOMED}
                  {CT}},
  booktitle    = {Knowledge Science, Engineering and Management, 4th International Conference,
                  {KSEM} 2010, Belfast, Northern Ireland, UK, September 1-3, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6291},
  pages        = {615},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15280-1\_61},
  doi          = {10.1007/978-3-642-15280-1\_61},
  timestamp    = {Thu, 14 Oct 2021 10:12:35 +0200},
  biburl       = {https://dblp.org/rec/conf/ksem/Zhang10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/ZhangB10,
  author       = {Guo{-}Qiang Zhang and
                  Olivier Bodenreider},
  editor       = {Peter F. Patel{-}Schneider and
                  Yue Pan and
                  Pascal Hitzler and
                  Peter Mika and
                  Lei Zhang and
                  Jeff Z. Pan and
                  Ian Horrocks and
                  Birte Glimm},
  title        = {Using {SPARQL} to Test for Lattices: Application to Quality Assurance
                  in Biomedical Ontologies},
  booktitle    = {The Semantic Web - {ISWC} 2010 - 9th International Semantic Web Conference,
                  {ISWC} 2010, Shanghai, China, November 7-11, 2010, Revised Selected
                  Papers, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {6497},
  pages        = {273--288},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-17749-1\_18},
  doi          = {10.1007/978-3-642-17749-1\_18},
  timestamp    = {Tue, 12 Apr 2022 14:46:29 +0200},
  biburl       = {https://dblp.org/rec/conf/semweb/ZhangB10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jdi/SzymanskiWZ09,
  author       = {Jacek Szymanski and
                  David L. Wilson and
                  Guo{-}Qiang Zhang},
  title        = {{MIMI:} Multimodality, Multiresource, Information Integration Environment
                  for Biomedical Core Facilities},
  journal      = {J. Digit. Imaging},
  volume       = {22},
  number       = {5},
  pages        = {535--547},
  year         = {2009},
  url          = {https://doi.org/10.1007/s10278-007-9083-y},
  doi          = {10.1007/S10278-007-9083-Y},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jdi/SzymanskiWZ09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/MuellerTZ09,
  author       = {Remo Mueller and
                  Van Anh Tran and
                  Guo{-}Qiang Zhang},
  editor       = {Joaquim Filipe and
                  Jos{\'{e}} Cordeiro},
  title        = {A Scalable Parametric-RBAC Architecture for the Propagation of a Multi-modality,
                  Multi-resource Informatics System},
  booktitle    = {Enterprise Information Systems, 11th International Conference, {ICEIS}
                  2009, Milan, Italy, May 6-10, 2009. Proceedings},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {24},
  pages        = {114--124},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-01347-8\_10},
  doi          = {10.1007/978-3-642-01347-8\_10},
  timestamp    = {Tue, 16 Aug 2022 23:04:29 +0200},
  biburl       = {https://dblp.org/rec/conf/iceis/MuellerTZ09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/DaiMSZ09,
  author       = {Jie Dai and
                  Remo Mueller and
                  Jacek Szymanski and
                  Guo{-}Qiang Zhang},
  editor       = {Sung Y. Shin and
                  Sascha Ossowski},
  title        = {Towards "WYDIWYS" for {MIMI} using concept analysis},
  booktitle    = {Proceedings of the 2009 {ACM} Symposium on Applied Computing (SAC),
                  Honolulu, Hawaii, USA, March 9-12, 2009},
  pages        = {91--97},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1529282.1529302},
  doi          = {10.1145/1529282.1529302},
  timestamp    = {Tue, 06 Nov 2018 11:06:49 +0100},
  biburl       = {https://dblp.org/rec/conf/sac/DaiMSZ09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Zhang09,
  author       = {Guo{-}Qiang Zhang},
  editor       = {Yixiang Chen and
                  Ernst{-}Erich Doberkat and
                  Achim Jung},
  title        = {Closures in Binary Partial Algebras},
  booktitle    = {Proceedings of the Fifth International Symposium on Domain Theory,
                  {ISDT} 2009, Shanghai, China, September 12-14, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {257},
  pages        = {3--18},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.11.023},
  doi          = {10.1016/J.ENTCS.2009.11.023},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Zhang09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsi/DrosteZ08,
  author       = {Manfred Droste and
                  Guo{-}Qiang Zhang},
  title        = {Random Event Structures},
  journal      = {Int. J. Softw. Informatics},
  volume       = {2},
  number       = {1},
  pages        = {77--88},
  year         = {2008},
  url          = {http://www.ijsi.org/ch/reader/view\_abstract.aspx?file\_no=200877\&\#38;flag=1},
  timestamp    = {Thu, 06 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijsi/DrosteZ08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ChenZP08,
  author       = {Yixiang Chen and
                  Guo{-}Qiang Zhang and
                  Prakash Panangaden},
  editor       = {Yixiang Chen and
                  Guo{-}Qiang Zhang and
                  Prakash Panangaden},
  title        = {Preface},
  booktitle    = {Proceedings of the First International Conference on Foundations of
                  Informatics, Computing and Software, {FICS} 2008, Shanghai, China,
                  June 3-6, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {212},
  pages        = {1},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2008.04.049},
  doi          = {10.1016/J.ENTCS.2008.04.049},
  timestamp    = {Fri, 17 Feb 2023 09:48:03 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/ChenZP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HuangDZ08,
  author       = {Fangping Huang and
                  Manfred Droste and
                  Guo{-}Qiang Zhang},
  editor       = {Yixiang Chen and
                  Guo{-}Qiang Zhang and
                  Prakash Panangaden},
  title        = {A Monoidal Category of Bifinite Chu Spaces},
  booktitle    = {Proceedings of the First International Conference on Foundations of
                  Informatics, Computing and Software, {FICS} 2008, Shanghai, China,
                  June 3-6, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {212},
  pages        = {285--297},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2008.04.068},
  doi          = {10.1016/J.ENTCS.2008.04.068},
  timestamp    = {Fri, 17 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/HuangDZ08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fics2/2008,
  editor       = {Yixiang Chen and
                  Guo{-}Qiang Zhang and
                  Prakash Panangaden},
  title        = {Proceedings of the First International Conference on Foundations of
                  Informatics, Computing and Software, {FICS} 2008, Shanghai, China,
                  June 3-6, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {212},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/212/suppl/C},
  timestamp    = {Fri, 17 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fics2/2008.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fcsc/JiangZ07,
  author       = {Ying Jiang and
                  Guo{-}Qiang Zhang},
  title        = {Weakly distributive domains {(II)}},
  journal      = {Frontiers Comput. Sci. China},
  volume       = {1},
  number       = {4},
  pages        = {373--384},
  year         = {2007},
  url          = {https://doi.org/10.1007/s11704-007-0036-x},
  doi          = {10.1007/S11704-007-0036-X},
  timestamp    = {Mon, 19 Feb 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fcsc/JiangZ07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Zhang07,
  author       = {Guo{-}Qiang Zhang},
  title        = {Mediating secure information flow policies},
  journal      = {Inf. Comput.},
  volume       = {205},
  number       = {9},
  pages        = {1413--1425},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.ic.2007.02.005},
  doi          = {10.1016/J.IC.2007.02.005},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Zhang07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cai/DrosteZ07,
  author       = {Manfred Droste and
                  Guo{-}Qiang Zhang},
  editor       = {Symeon Bozapalidis and
                  George Rahonis},
  title        = {Bifinite Chu Spaces},
  booktitle    = {Algebraic Informatics, Second International Conference, {CAI} 2007,
                  Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4728},
  pages        = {73--74},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75414-5\_4},
  doi          = {10.1007/978-3-540-75414-5\_4},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/cai/DrosteZ07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/DrosteZ07,
  author       = {Manfred Droste and
                  Guo{-}Qiang Zhang},
  editor       = {Till Mossakowski and
                  Ugo Montanari and
                  Magne Haveraaen},
  title        = {Bifinite Chu Spaces},
  booktitle    = {Algebra and Coalgebra in Computer Science, Second International Conference,
                  {CALCO} 2007, Bergen, Norway, August 20-24, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4624},
  pages        = {179--193},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73859-6\_13},
  doi          = {10.1007/978-3-540-73859-6\_13},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/calco/DrosteZ07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccs/TroyZT07,
  author       = {Adam D. Troy and
                  Guo{-}Qiang Zhang and
                  Ye Tian},
  editor       = {Uta Priss and
                  Simon Polovina and
                  Richard Hill},
  title        = {Faster Concept Analysis},
  booktitle    = {Conceptual Structures: Knowledge Architectures for Smart Applications,
                  15th International Conference on Conceptual Structures, {ICCS} 2007,
                  Sheffield, UK, July 22-27, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4604},
  pages        = {206--219},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73681-3\_16},
  doi          = {10.1007/978-3-540-73681-3\_16},
  timestamp    = {Wed, 25 Sep 2019 18:14:44 +0200},
  biburl       = {https://dblp.org/rec/conf/iccs/TroyZT07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigir/TroyZ07,
  author       = {Adam D. Troy and
                  Guo{-}Qiang Zhang},
  editor       = {Wessel Kraaij and
                  Arjen P. de Vries and
                  Charles L. A. Clarke and
                  Norbert Fuhr and
                  Noriko Kando},
  title        = {Enhancing relevance scoring with chronological term rank},
  booktitle    = {{SIGIR} 2007: Proceedings of the 30th Annual International {ACM} {SIGIR}
                  Conference on Research and Development in Information Retrieval, Amsterdam,
                  The Netherlands, July 23-27, 2007},
  pages        = {599--606},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1277741.1277844},
  doi          = {10.1145/1277741.1277844},
  timestamp    = {Tue, 06 Nov 2018 11:07:23 +0100},
  biburl       = {https://dblp.org/rec/conf/sigir/TroyZ07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/JiangZ07,
  author       = {Ying Jiang and
                  Guo{-}Qiang Zhang},
  editor       = {Simona Ronchi Della Rocca},
  title        = {Weakly Distributive Domains},
  booktitle    = {Typed Lambda Calculi and Applications, 8th International Conference,
                  {TLCA} 2007, Paris, France, June 26-28, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4583},
  pages        = {194--206},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73228-0\_15},
  doi          = {10.1007/978-3-540-73228-0\_15},
  timestamp    = {Thu, 28 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tlca/JiangZ07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/SongCCSZTKKY06,
  author       = {Bin Song and
                  Jeong{-}Hyeon Choi and
                  Guangyu Chen and
                  Jacek Szymanski and
                  Guo{-}Qiang Zhang and
                  Anthony K. H. Tung and
                  Jaewoo Kang and
                  Sun Kim and
                  Jiong Yang},
  title        = {{ARCS:} an aggregated related column scoring scheme for aligned sequences},
  journal      = {Bioinform.},
  volume       = {22},
  number       = {19},
  pages        = {2326--2332},
  year         = {2006},
  url          = {https://doi.org/10.1093/bioinformatics/btl398},
  doi          = {10.1093/BIOINFORMATICS/BTL398},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/bioinformatics/SongCCSZTKKY06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cma/ChenZ06,
  author       = {Yixiang Chen and
                  Guo{-}Qiang Zhang},
  title        = {Maximality and totality of stable functions in the category of stable
                  bifinite domains},
  journal      = {Comput. Math. Appl.},
  volume       = {51},
  number       = {6-7},
  pages        = {1011--1020},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.camwa.2005.10.014},
  doi          = {10.1016/J.CAMWA.2005.10.014},
  timestamp    = {Thu, 11 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cma/ChenZ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/HitzlerKZ06,
  author       = {Pascal Hitzler and
                  Markus Kr{\"{o}}tzsch and
                  Guo{-}Qiang Zhang},
  title        = {A Categorical View on Algebraic Lattices in Formal Concept Analysis},
  journal      = {Fundam. Informaticae},
  volume       = {74},
  number       = {2-3},
  pages        = {301--328},
  year         = {2006},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi74-2-3-06},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/HitzlerKZ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/igarss/CrowleyCSSCZ06,
  author       = {Matthew David Crowley and
                  William Chen and
                  Eric J. Sukalac and
                  Xiuhong Sun and
                  Patrick L. Coronado and
                  Guo{-}Qiang Zhang},
  title        = {Visualization of Remote Hyperspectral Image Data Using Google Earth},
  booktitle    = {{IEEE} International Geoscience {\&} Remote Sensing Symposium,
                  {IGARSS} 2006, July 31 - August 4, 2006, Denver, Colorado, USA, Proceedings},
  pages        = {907--910},
  publisher    = {{IEEE}},
  year         = {2006},
  url          = {https://doi.org/10.1109/IGARSS.2006.233},
  doi          = {10.1109/IGARSS.2006.233},
  timestamp    = {Tue, 15 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/igarss/CrowleyCSSCZ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/trec/TroyZ06,
  author       = {Adam D. Troy and
                  Guo{-}Qiang Zhang},
  editor       = {Ellen M. Voorhees and
                  Lori P. Buckland},
  title        = {Case Western Reserve University at the {TREC} 2006 Enterprise Track},
  booktitle    = {Proceedings of the Fifteenth Text REtrieval Conference, {TREC} 2006,
                  Gaithersburg, Maryland, USA, November 14-17, 2006},
  series       = {{NIST} Special Publication},
  volume       = {500-272},
  publisher    = {National Institute of Standards and Technology {(NIST)}},
  year         = {2006},
  url          = {http://trec.nist.gov/pubs/trec15/papers/case-western.ent.final.pdf},
  timestamp    = {Wed, 07 Jul 2021 16:44:22 +0200},
  biburl       = {https://dblp.org/rec/conf/trec/TroyZ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/ZhangJ05,
  author       = {Guo{-}Qiang Zhang and
                  Ying Jiang},
  title        = {On an open problem of Amadio and Curien: The finite antichain condition},
  journal      = {Inf. Comput.},
  volume       = {202},
  number       = {1},
  pages        = {87--103},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.ic.2005.06.001},
  doi          = {10.1016/J.IC.2005.06.001},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/ZhangJ05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/ZhangSTS05,
  author       = {Guo{-}Qiang Zhang and
                  Gongqin Shen and
                  Ye Tian and
                  Jiayang Sun},
  editor       = {Stephen W. Gilroy and
                  Michael D. Harrison},
  title        = {Concept Analysis as a Formal Method for Menu Design},
  booktitle    = {Interactive Systems, Design, Specification, and Verification, 12th
                  International Workshop, {DSVIS} 2005, Newcastle upon Tyne, UK, July
                  13-15, 2005, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3941},
  pages        = {173--187},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11752707\_15},
  doi          = {10.1007/11752707\_15},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/dsvis/ZhangSTS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccs/KrotzschHZ05,
  author       = {Markus Kr{\"{o}}tzsch and
                  Pascal Hitzler and
                  Guo{-}Qiang Zhang},
  editor       = {Frithjof Dau and
                  Marie{-}Laure Mugnier and
                  Gerd Stumme},
  title        = {Morphisms in Context},
  booktitle    = {Conceptual Structures: Common Semantics for Sharing Knowledge, 13th
                  International Conference on Conceptual Structures, {ICCS} 2005, Kassel,
                  Germany, July 17-22, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3596},
  pages        = {223--237},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11524564\_15},
  doi          = {10.1007/11524564\_15},
  timestamp    = {Thu, 28 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iccs/KrotzschHZ05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0512049,
  author       = {Jeff Stuckman and
                  Guo{-}Qiang Zhang},
  title        = {Mastermind is NP-Complete},
  journal      = {CoRR},
  volume       = {abs/cs/0512049},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0512049},
  eprinttype    = {arXiv},
  eprint       = {cs/0512049},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0512049.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ZhangR04,
  author       = {Guo{-}Qiang Zhang and
                  William C. Rounds},
  title        = {Reasoning with power defaults},
  journal      = {Theor. Comput. Sci.},
  volume       = {323},
  number       = {1-3},
  pages        = {321--350},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.tcs.2004.04.008},
  doi          = {10.1016/J.TCS.2004.04.008},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/ZhangR04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccs/HitzlerZ04,
  author       = {Pascal Hitzler and
                  Guo{-}Qiang Zhang},
  editor       = {Karl Erich Wolff and
                  Heather D. Pfeiffer and
                  Harry S. Delugach},
  title        = {A Cartesian Closed Category of Approximable Concept Structures},
  booktitle    = {Conceptual Structures at Work: 12th International Conference on Conceptual
                  Structures, {ICCS} 2004, Huntsville, AL, USA, July 19-23, 2004. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3127},
  pages        = {170--185},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-27769-9\_11},
  doi          = {10.1007/978-3-540-27769-9\_11},
  timestamp    = {Thu, 28 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iccs/HitzlerZ04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-OH-0410065,
  author       = {Pascal Hitzler and
                  Markus Kr{\"{o}}tzsch and
                  Guo{-}Qiang Zhang},
  title        = {A Categorical View on Algebraic Lattices in Formal Concept Analysis},
  journal      = {CoRR},
  volume       = {cs.OH/0410065},
  year         = {2004},
  url          = {http://arxiv.org/abs/cs.OH/0410065},
  timestamp    = {Thu, 28 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/cs-OH-0410065.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/DrosteZ03,
  author       = {Manfred Droste and
                  Guo{-}Qiang Zhang},
  title        = {On transformations of formal power series},
  journal      = {Inf. Comput.},
  volume       = {184},
  number       = {2},
  pages        = {369--383},
  year         = {2003},
  url          = {https://doi.org/10.1016/S0890-5401(03)00066-X},
  doi          = {10.1016/S0890-5401(03)00066-X},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/DrosteZ03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/Zhang03,
  author       = {Guo{-}Qiang Zhang},
  title        = {Domain {\(\mathrm{\mu}\)}-calculus},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {37},
  number       = {4},
  pages        = {337--364},
  year         = {2003},
  url          = {https://doi.org/10.1051/ita:2003023},
  doi          = {10.1051/ITA:2003023},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/Zhang03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CoquandZ03,
  author       = {Thierry Coquand and
                  Guo{-}Qiang Zhang},
  title        = {A representation of stably compact spaces, and patch topology},
  journal      = {Theor. Comput. Sci.},
  volume       = {305},
  number       = {1-3},
  pages        = {77--84},
  year         = {2003},
  url          = {https://doi.org/10.1016/S0304-3975(02)00695-3},
  doi          = {10.1016/S0304-3975(02)00695-3},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/CoquandZ03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/Zhang03,
  author       = {Guo{-}Qiang Zhang},
  editor       = {Stephen D. Brookes and
                  Prakash Panangaden},
  title        = {Compact Coverages Generate Spectral Frames},
  booktitle    = {Proceedings of 19th Conference on the Mathematical Foundations of
                  Programming Semantics, {MFPS} 2003, Universit{\'{e}} de Montr{\'{e}}al,
                  QC, Canada, March 19-22, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {83},
  pages        = {279--285},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/S1571-0661(03)50015-9},
  doi          = {10.1016/S1571-0661(03)50015-9},
  timestamp    = {Mon, 08 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mfps/Zhang03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/Zhang03a,
  author       = {Guo{-}Qiang Zhang},
  editor       = {Stephen D. Brookes and
                  Prakash Panangaden},
  title        = {Chu Spaces, Concept Lattices, and Domains},
  booktitle    = {Proceedings of 19th Conference on the Mathematical Foundations of
                  Programming Semantics, {MFPS} 2003, Universit{\'{e}} de Montr{\'{e}}al,
                  QC, Canada, March 19-22, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {83},
  pages        = {287--302},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/S1571-0661(03)50016-0},
  doi          = {10.1016/S1571-0661(03)50016-0},
  timestamp    = {Mon, 08 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mfps/Zhang03a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fics/Zhang02,
  author       = {Guo{-}Qiang Zhang},
  editor       = {Zolt{\'{a}}n {\'{E}}sik and
                  Anna Ing{\'{o}}lfsd{\'{o}}ttir},
  title        = {Decidable fragments of domain mu-calculus: an automata-theoretic perspective},
  booktitle    = {Fixed Points in Computer Science, {FICS} 2002, Copenhagen, Denmark,
                  20-21 July 2002, Preliminary Proceedings},
  series       = {{BRICS} Notes Series},
  volume       = {{NS-02-2}},
  pages        = {54--57},
  publisher    = {University of Aarhus},
  year         = {2002},
  timestamp    = {Fri, 15 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fics/Zhang02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pcl/Zhang02,
  author       = {Guo{-}Qiang Zhang},
  editor       = {Hendrik Decker and
                  J{\o}rgen Villadsen and
                  Toshiharu Waragai},
  title        = {Axiomatic Aspects of Default Inference},
  booktitle    = {Paraconsistent Computational Logic, This proceedings volume contains
                  the papers presented at the {ICLP} 2002 workshop Paraconsistent Computational
                  Logic, on July 27, in Copenhagen, Denmark, as part of the Federated
                  Logic Conference (FLoC)},
  series       = {Datalogiske Skrifter},
  volume       = {95},
  pages        = {17--32},
  publisher    = {Roskilde University, Roskilde, Denmark},
  year         = {2002},
  url          = {https://arxiv.org/abs/cs/0207087},
  timestamp    = {Fri, 29 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pcl/Zhang02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/RoundsZ01,
  author       = {William C. Rounds and
                  Guo{-}Qiang Zhang},
  title        = {Clausal Logic and Logic Programming in Algebraic Domains},
  journal      = {Inf. Comput.},
  volume       = {171},
  number       = {2},
  pages        = {183--200},
  year         = {2001},
  url          = {https://doi.org/10.1006/inco.2001.3073},
  doi          = {10.1006/INCO.2001.3073},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/RoundsZ01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/DrosteZ01,
  author       = {Manfred Droste and
                  Guo{-}Qiang Zhang},
  editor       = {Fernando Orejas and
                  Paul G. Spirakis and
                  Jan van Leeuwen},
  title        = {Rational Transformations of Formal Power Series},
  booktitle    = {Automata, Languages and Programming, 28th International Colloquium,
                  {ICALP} 2001, Crete, Greece, July 8-12, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2076},
  pages        = {555--566},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-48224-5\_46},
  doi          = {10.1007/3-540-48224-5\_46},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/DrosteZ01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/CoquandZ00,
  author       = {Thierry Coquand and
                  Guo{-}Qiang Zhang},
  editor       = {Peter Clote and
                  Helmut Schwichtenberg},
  title        = {Sequents, Frames, and Completeness},
  booktitle    = {Computer Science Logic, 14th Annual Conference of the EACSL, Fischbachau,
                  Germany, August 21-26, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1862},
  pages        = {277--291},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44622-2\_18},
  doi          = {10.1007/3-540-44622-2\_18},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/CoquandZ00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Zhang99,
  author       = {Guo{-}Qiang Zhang},
  title        = {Automata, Boolean Matrices, and Ultimate Periodicity},
  journal      = {Inf. Comput.},
  volume       = {152},
  number       = {1},
  pages        = {138--154},
  year         = {1999},
  url          = {https://doi.org/10.1006/inco.1998.2787},
  doi          = {10.1006/INCO.1998.2787},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Zhang99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/KlavinsRZ98,
  author       = {Eric Klavins and
                  William C. Rounds and
                  Guo{-}Qiang Zhang},
  editor       = {Jack Mostow and
                  Chuck Rich},
  title        = {Experimenting with Power Default Reasoning},
  booktitle    = {Proceedings of the Fifteenth National Conference on Artificial Intelligence
                  and Tenth Innovative Applications of Artificial Intelligence Conference,
                  {AAAI} 98, {IAAI} 98, July 26-30, 1998, Madison, Wisconsin, {USA}},
  pages        = {846--852},
  publisher    = {{AAAI} Press / The {MIT} Press},
  year         = {1998},
  url          = {http://www.aaai.org/Library/AAAI/1998/aaai98-120.php},
  timestamp    = {Tue, 05 Sep 2023 09:10:47 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/KlavinsRZ98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/RoundsZ97,
  author       = {William C. Rounds and
                  Guo{-}Qiang Zhang},
  title        = {Logical Considerations on Default Semantics},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {20},
  number       = {1-4},
  pages        = {195--226},
  year         = {1997},
  url          = {https://doi.org/10.1023/A:1018932411629},
  doi          = {10.1023/A:1018932411629},
  timestamp    = {Fri, 15 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/RoundsZ97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/ZhangR97,
  author       = {Guo{-}Qiang Zhang and
                  William C. Rounds},
  title        = {Nonmonotonic Consequences in Default Domain Theory},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {20},
  number       = {1-4},
  pages        = {227--265},
  year         = {1997},
  url          = {https://doi.org/10.1023/A:1018988629376},
  doi          = {10.1023/A:1018988629376},
  timestamp    = {Fri, 15 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/ZhangR97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ZhangC97,
  author       = {Guo{-}Qiang Zhang and
                  E. Rodney Canfield},
  title        = {The End of Pumping?},
  journal      = {Theor. Comput. Sci.},
  volume       = {174},
  number       = {1-2},
  pages        = {275--279},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0304-3975(96)00247-2},
  doi          = {10.1016/S0304-3975(96)00247-2},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/ZhangC97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ZhangR97,
  author       = {Guo{-}Qiang Zhang and
                  William C. Rounds},
  title        = {Defaults in Domain Theory},
  journal      = {Theor. Comput. Sci.},
  volume       = {177},
  number       = {1},
  pages        = {155--182},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0304-3975(96)00238-1},
  doi          = {10.1016/S0304-3975(96)00238-1},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/ZhangR97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CastellaniZ97,
  author       = {Ilaria Castellani and
                  Guo{-}Qiang Zhang},
  title        = {Parallel Product of Event Structures},
  journal      = {Theor. Comput. Sci.},
  volume       = {179},
  number       = {1-2},
  pages        = {203--215},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0304-3975(96)00104-1},
  doi          = {10.1016/S0304-3975(96)00104-1},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/CastellaniZ97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/ZhangHCR97,
  author       = {Guo{-}Qiang Zhang and
                  Chang Huang and
                  William C. Rounds},
  title        = {A Modal Logic for Reasoning about Belief},
  booktitle    = {30th Annual Hawaii International Conference on System Sciences (HICSS-30),
                  7-10 January 1997, Maui, Hawaii, {USA}},
  pages        = {383},
  publisher    = {{IEEE} Computer Society},
  year         = {1997},
  url          = {https://doi.org/10.1109/HICSS.1997.663196},
  doi          = {10.1109/HICSS.1997.663196},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hicss/ZhangHCR97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/ZhangR97,
  author       = {Guo{-}Qiang Zhang and
                  William C. Rounds},
  title        = {Complexity of Power Default Reasoning},
  booktitle    = {Proceedings, 12th Annual {IEEE} Symposium on Logic in Computer Science,
                  Warsaw, Poland, June 29 - July 2, 1997},
  pages        = {328--339},
  publisher    = {{IEEE} Computer Society},
  year         = {1997},
  url          = {https://doi.org/10.1109/LICS.1997.614959},
  doi          = {10.1109/LICS.1997.614959},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/ZhangR97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/ZhangR97,
  author       = {Guo{-}Qiang Zhang and
                  William C. Rounds},
  editor       = {J{\"{u}}rgen Dix and
                  Ulrich Furbach and
                  Anil Nerode},
  title        = {Power Defaults},
  booktitle    = {Logic Programming and Nonmonotonic Reasoning, 4th International Conference,
                  LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1265},
  pages        = {152--169},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/3-540-63255-7\_11},
  doi          = {10.1007/3-540-63255-7\_11},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/lpnmr/ZhangR97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ZhangR97,
  author       = {Guo{-}Qiang Zhang and
                  William C. Rounds},
  editor       = {Stephen D. Brookes and
                  Michael W. Mislove},
  title        = {Resolution in the Smyth powerdomain},
  booktitle    = {Thirteenth Annual Conference on Mathematical Foundations of Progamming
                  Semantics, {MFPS} 1997, Carnegie Mellon University, Pittsburgh, PA,
                  USA, March 23-26, 1997},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {6},
  pages        = {409},
  publisher    = {Elsevier},
  year         = {1997},
  url          = {https://doi.org/10.1016/S1571-0661(05)80146-X},
  doi          = {10.1016/S1571-0661(05)80146-X},
  timestamp    = {Mon, 08 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/ZhangR97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Zhang96,
  author       = {Guo{-}Qiang Zhang},
  title        = {Quasi-Prime Algebraic Domains},
  journal      = {Theor. Comput. Sci.},
  volume       = {155},
  number       = {1},
  pages        = {221--264},
  year         = {1996},
  url          = {https://doi.org/10.1016/0304-3975(95)00133-6},
  doi          = {10.1016/0304-3975(95)00133-6},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Zhang96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Zhang96b,
  author       = {Guo{-}Qiang Zhang},
  title        = {The Largest Cartesian Closed Category of Stable Domains},
  journal      = {Theor. Comput. Sci.},
  volume       = {166},
  number       = {1{\&}2},
  pages        = {203--219},
  year         = {1996},
  url          = {https://doi.org/10.1016/0304-3975(95)00191-3},
  doi          = {10.1016/0304-3975(95)00191-3},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Zhang96b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/RoundsZ95,
  author       = {William C. Rounds and
                  Guo{-}Qiang Zhang},
  title        = {Domain Theory Meets Default Logic},
  journal      = {J. Log. Comput.},
  volume       = {5},
  number       = {1},
  pages        = {1--25},
  year         = {1995},
  url          = {https://doi.org/10.1093/logcom/5.1.1},
  doi          = {10.1093/LOGCOM/5.1.1},
  timestamp    = {Fri, 15 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/logcom/RoundsZ95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Zhang95a,
  author       = {Guo{-}Qiang Zhang},
  title        = {On Maximal Stable Functions},
  journal      = {Theor. Comput. Sci.},
  volume       = {146},
  number       = {1{\&}2},
  pages        = {331--339},
  year         = {1995},
  url          = {https://doi.org/10.1016/0304-3975(94)00167-H},
  doi          = {10.1016/0304-3975(94)00167-H},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Zhang95a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Zhang94,
  author       = {Guo{-}Qiang Zhang},
  title        = {A Representation of {SFP}},
  journal      = {Inf. Comput.},
  volume       = {110},
  number       = {1},
  pages        = {233--263},
  year         = {1994},
  url          = {https://doi.org/10.1006/inco.1994.1031},
  doi          = {10.1006/INCO.1994.1031},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Zhang94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Zhang93,
  author       = {Guo{-}Qiang Zhang},
  title        = {Some Monoidal Closed Categories of Stable Domains and Event Structures},
  journal      = {Math. Struct. Comput. Sci.},
  volume       = {3},
  number       = {2},
  pages        = {259--276},
  year         = {1993},
  url          = {https://doi.org/10.1017/S0960129500000207},
  doi          = {10.1017/S0960129500000207},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mscs/Zhang93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/Zhang93,
  author       = {Guo{-}Qiang Zhang},
  editor       = {Stephen D. Brookes and
                  Michael G. Main and
                  Austin Melton and
                  Michael W. Mislove and
                  David A. Schmidt},
  title        = {Universal Quasi-Prime Algebraic Domains},
  booktitle    = {Mathematical Foundations of Programming Semantics, 9th International
                  Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {802},
  pages        = {454--473},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-58027-1\_22},
  doi          = {10.1007/3-540-58027-1\_22},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/mfps/Zhang93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppcp/RoundsZ93,
  author       = {William C. Rounds and
                  Guo{-}Qiang Zhang},
  title        = {Constraints in Nonmonotonic Reasoning},
  booktitle    = {Principles and Practice of Constraint Programming, {PPCP} 1993, Newport,
                  Rhode Island},
  pages        = {247--257},
  year         = {1993},
  timestamp    = {Fri, 09 Aug 2019 11:23:42 +0200},
  biburl       = {https://dblp.org/rec/conf/ppcp/RoundsZ93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Zhang92,
  author       = {Guo{-}Qiang Zhang},
  title        = {dI-Domains as Prime Information Systems},
  journal      = {Inf. Comput.},
  volume       = {100},
  number       = {2},
  pages        = {151--177},
  year         = {1992},
  url          = {https://doi.org/10.1016/0890-5401(92)90011-4},
  doi          = {10.1016/0890-5401(92)90011-4},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Zhang92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Zhang92,
  author       = {Guo{-}Qiang Zhang},
  title        = {Stable Neighbourboods},
  journal      = {Theor. Comput. Sci.},
  volume       = {93},
  number       = {1},
  pages        = {143--157},
  year         = {1992},
  url          = {https://doi.org/10.1016/0304-3975(92)90215-2},
  doi          = {10.1016/0304-3975(92)90215-2},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Zhang92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Zhang92,
  author       = {Guo{-}Qiang Zhang},
  editor       = {Werner Kuich},
  title        = {Disjunctive Systems and L-Domains},
  booktitle    = {Automata, Languages and Programming, 19th International Colloquium,
                  ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {623},
  pages        = {284--295},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55719-9\_81},
  doi          = {10.1007/3-540-55719-9\_81},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/Zhang92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/Zhang91,
  author       = {Guo{-}Qiang Zhang},
  editor       = {Stephen D. Brookes and
                  Michael G. Main and
                  Austin Melton and
                  Michael W. Mislove and
                  David A. Schmidt},
  title        = {A Monoidal Closed Category of Event Structures},
  booktitle    = {Mathematical Foundations of Programming Semantics, 7th International
                  Conference, Pittsburgh, PA, USA, March 25-28, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {598},
  pages        = {426--435},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3-540-55511-0\_21},
  doi          = {10.1007/3-540-55511-0\_21},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/mfps/Zhang91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Zhang89,
  author       = {Guo{-}Qiang Zhang},
  title        = {Logics of domains},
  school       = {University of Cambridge, {UK}},
  year         = {1989},
  url          = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.333393},
  timestamp    = {Tue, 05 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/ethos/Zhang89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Zhang89,
  author       = {Guo{-}Qiang Zhang},
  editor       = {Giorgio Ausiello and
                  Mariangiola Dezani{-}Ciancaglini and
                  Simona Ronchi Della Rocca},
  title        = {DI-Domains as Information Systems (Extended Abstract)},
  booktitle    = {Automata, Languages and Programming, 16th International Colloquium,
                  ICALP89, Stresa, Italy, July 11-15, 1989, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {372},
  pages        = {773--788},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/BFb0035798},
  doi          = {10.1007/BFB0035798},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/Zhang89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/000186,
  author       = {Guo{-}Qiang Zhang},
  title        = {An O(ln n) parallel algorithm for the subset sum problem},
  journal      = {{SIGACT} News},
  volume       = {18},
  number       = {2},
  pages        = {57--63},
  year         = {1986},
  url          = {https://doi.org/10.1145/24652.24656},
  doi          = {10.1145/24652.24656},
  timestamp    = {Wed, 28 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigact/000186.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/Zhang84,
  author       = {Guo{-}Qiang Zhang},
  title        = {"NP = P?" and restricted partitions},
  journal      = {Inf. Sci.},
  volume       = {32},
  number       = {3},
  pages        = {231--242},
  year         = {1984},
  url          = {https://doi.org/10.1016/0020-0255(84)90036-7},
  doi          = {10.1016/0020-0255(84)90036-7},
  timestamp    = {Fri, 15 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/isci/Zhang84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics