"NP = P?" and restricted partitions. - Guo-Qiang Zhang 001 (Inf. Sci., 1984)

An O(ln n) parallel algorithm for the subset sum problem. - Guo-Qiang Zhang 001 (SIGACT News, 1986)

DI-Domains as Information Systems (Extended Abstract). - Guo-Qiang Zhang 001 (ICALP, 1989)

Logics of domains. - Guo-Qiang Zhang 001 (1989)

A Monoidal Closed Category of Event Structures. - Guo-Qiang Zhang 001 (MFPS, 1991)

Disjunctive Systems and L-Domains. - Guo-Qiang Zhang 001 (ICALP, 1992)

Stable Neighbourboods. - Guo-Qiang Zhang 001 (Theor. Comput. Sci., 1992)

dI-Domains as Prime Information Systems - Guo-Qiang Zhang 001 (Inf. Comput., 1992)

Universal Quasi-Prime Algebraic Domains. - Guo-Qiang Zhang 001 (MFPS, 1993)

Constraints in Nonmonotonic Reasoning. - William C. Rounds; Guo-Qiang Zhang 001 (PPCP, 1993)

Some Monoidal Closed Categories of Stable Domains and Event Structures. - Guo-Qiang Zhang 001 (Math. Struct. Comput. Sci., 1993)

A Representation of SFP - Guo-Qiang Zhang 001 (Inf. Comput., 1994)

Domain Theory Meets Default Logic. - William C. Rounds; Guo-Qiang Zhang 001 (J. Log. Comput., 1995)

On Maximal Stable Functions. - Guo-Qiang Zhang 001 (Theor. Comput. Sci., 1995)

Quasi-Prime Algebraic Domains. - Guo-Qiang Zhang 001 (Theor. Comput. Sci., 1996)

The Largest Cartesian Closed Category of Stable Domains. - Guo-Qiang Zhang 001 (Theor. Comput. Sci., 1996)

A Modal Logic for Reasoning about Belief. - Guo-Qiang Zhang 001; Chang Huang; William C. Rounds (HICSS (5), 1997)

Complexity of Power Default Reasoning. - Guo-Qiang Zhang 001; William C. Rounds (LICS, 1997)

Power Defaults. - Guo-Qiang Zhang 001; William C. Rounds (LPNMR, 1997)

Logical Considerations on Default Semantics. - William C. Rounds; Guo-Qiang Zhang 001 (Ann. Math. Artif. Intell., 1997)

Nonmonotonic Consequences in Default Domain Theory. - Guo-Qiang Zhang 001; William C. Rounds (Ann. Math. Artif. Intell., 1997)

Resolution in the Smyth powerdomain. - Guo-Qiang Zhang 001; William C. Rounds (MFPS, 1997)

Parallel Product of Event Structures. - Ilaria Castellani; Guo-Qiang Zhang 001 (Theor. Comput. Sci., 1997)

The End of Pumping? - Guo-Qiang Zhang 001; E. Rodney Canfield (Theor. Comput. Sci., 1997)

Defaults in Domain Theory. - Guo-Qiang Zhang 001; William C. Rounds (Theor. Comput. Sci., 1997)

Experimenting with Power Default Reasoning. - Eric Klavins; William C. Rounds; Guo-Qiang Zhang 001 (AAAI/IAAI, 1998)

Automata, Boolean Matrices, and Ultimate Periodicity. - Guo-Qiang Zhang 001 (Inf. Comput., 1999)

Sequents, Frames, and Completeness. - Thierry Coquand; Guo-Qiang Zhang 001 (CSL, 2000)

Rational Transformations of Formal Power Series. - Manfred Droste; Guo-Qiang Zhang 001 (ICALP, 2001)

Clausal Logic and Logic Programming in Algebraic Domains. - William C. Rounds; Guo-Qiang Zhang 001 (Inf. Comput., 2001)

Domains via Graphs. - Guoqiang Zhang 001; Yixiang Chen 001 (J. Comput. Sci. Technol., 2001)

Decidable fragments of domain mu-calculus: an automata-theoretic perspective. - Guo-Qiang Zhang 001 (FICS, 2002)

Axiomatic Aspects of Default Inference. - Guo-Qiang Zhang 001 (Paraconsistent Computational Logic, 2002)

Compact Coverages Generate Spectral Frames. - Guo-Qiang Zhang 001 (MFPS, 2003)

Chu Spaces, Concept Lattices, and Domains. - Guo-Qiang Zhang 001 (MFPS, 2003)

On transformations of formal power series. - Manfred Droste; Guo-Qiang Zhang 001 (Inf. Comput., 2003)

Domain µ-calculus. - Guo-Qiang Zhang 001 (RAIRO Theor. Informatics Appl., 2003)

A representation of stably compact spaces, and patch topology. - Thierry Coquand; Guo-Qiang Zhang 001 (Theor. Comput. Sci., 2003)

A Cartesian Closed Category of Approximable Concept Structures. - Pascal Hitzler; Guo-Qiang Zhang 001 (ICCS, 2004)

Reasoning with power defaults. - Guo-Qiang Zhang 001; William C. Rounds (Theor. Comput. Sci., 2004)

Outdated Ideas of the Design Process and the Future of Formal Models, Methods and Notations. - Dominic Furniss; Alan J. Dix; Christophe Ponsard; Guo-Qiang Zhang 001 (DSV-IS, 2005)

Concept Analysis as a Formal Method for Menu Design. - Guo-Qiang Zhang 001; Gongqin Shen; Ye Tian; Jiayang Sun (DSV-IS, 2005)

Morphisms in Context. - Markus Krötzsch; Pascal Hitzler; Guo-Qiang Zhang 001 (ICCS, 2005)

Mastermind is NP-Complete - Jeff Stuckman; Guo-Qiang Zhang 001 (CoRR, 2005)

On an open problem of Amadio and Curien: The finite antichain condition. - Guo-Qiang Zhang 001; Ying Jiang (Inf. Comput., 2005)

Visualization of Remote Hyperspectral Image Data Using Google Earth. - Matthew David Crowley; William Chen; Eric J. Sukalac; Xiuhong Sun; Patrick L. Coronado; Guo-Qiang Zhang 001 (IGARSS, 2006)

Case Western Reserve University at the TREC 2006 Enterprise Track. - Adam D. Troy; Guo-Qiang Zhang 001 (TREC, 2006)

ARCS: an aggregated related column scoring scheme for aligned sequences. - Bin Song; Jeong-Hyeon Choi; Guangyu Chen; Jacek Szymanski; Guo-Qiang Zhang 001; Anthony K. H. Tung; Jaewoo Kang; Sun Kim; Jiong Yang 001 (Bioinform., 2006)

Maximality and totality of stable functions in the category of stable bifinite domains. - Yixiang Chen 001; Guo-Qiang Zhang 001 (Comput. Math. Appl., 2006)

A Categorical View on Algebraic Lattices in Formal Concept Analysis. - Pascal Hitzler; Markus Krötzsch; Guo-Qiang Zhang 001 (Fundam. Informaticae, 2006)

Faster Concept Analysis. - Adam D. Troy; Guo-Qiang Zhang 001; Ye Tian (ICCS, 2007)

Enhancing relevance scoring with chronological term rank. - Adam D. Troy; Guo-Qiang Zhang 001 (SIGIR, 2007)

Weakly Distributive Domains. - Ying Jiang; Guo-Qiang Zhang 001 (TLCA, 2007)

Weakly distributive domains (II). - Ying Jiang; Guo-Qiang Zhang 001 (Frontiers Comput. Sci. China, 2007)

Mediating secure information flow policies. - Guo-Qiang Zhang 001 (Inf. Comput., 2007)

Preface. - Yixiang Chen 001; Guo-Qiang Zhang 001; Prakash Panangaden (FICS, 2008)

A Monoidal Category of Bifinite Chu Spaces. - Fangping Huang; Manfred Droste; Guo-Qiang Zhang 001 (FICS, 2008)

Random Event Structures. - Manfred Droste; Guo-Qiang Zhang 001 (Int. J. Softw. Informatics, 2008)

A Scalable Parametric-RBAC Architecture for the Propagation of a Multi-modality, Multi-resource Informatics System. - Remo Mueller; Van Anh Tran; Guo-Qiang Zhang 001 (ICEIS, 2009)

Towards "WYDIWYS" for MIMI using concept analysis. - Jie Dai; Remo Mueller; Jacek Szymanski; Guo-Qiang Zhang 001 (SAC, 2009)

Closures in Binary Partial Algebras. - Guo-Qiang Zhang 001 (ISDT, 2009)

MIMI: Multimodality, Multiresource, Information Integration Environment for Biomedical Core Facilities. - Jacek Szymanski; David L. Wilson; Guo-Qiang Zhang 001 (J. Digit. Imaging, 2009)

Segmenting and Merging Domain-specific Ontology Modules for Clinical Informatics. - Chimezie Ogbuji; Sivaram Arabandi; Songmao Zhang; Guo-Qiang Zhang 001 (FOIS, 2010)

Large-Scale, Exhaustive Lattice-Based Structural Auditing of SNOMED CT. - Guo-Qiang Zhang 001 (KSEM, 2010)

Using SPARQL to Test for Lattices: Application to Quality Assurance in Biomedical Ontologies. - Guo-Qiang Zhang 001; Olivier Bodenreider (ISWC (2), 2010)

Bifinite Chu Spaces - Manfred Droste; Guo-Qiang Zhang 001 (Log. Methods Comput. Sci., 2010)

A set coverage problem. - Guo-Qiang Zhang 001; Licong Cui (Inf. Process. Lett., 2010)

Power contexts and their concept lattices. - Lankun Guo; Fangping Huang; Qingguo Li; Guo-Qiang Zhang 001 (Discret. Math., 2011)

OnWARD: Ontology-driven web-based framework for multi-center clinical studies. - Van Anh Tran; Nathan Johnson; Susan Redline; Guo-Qiang Zhang 001 (J. Biomed. Informatics, 2011)

Fuzzy closure systems on L - ordered sets. - Lankun Guo; Guo-Qiang Zhang 001; Qingguo Li (Math. Log. Q., 2011)

A Fast Iterated Conditional Modes Algorithm for Water-Fat Decomposition in MRI. - Fangping Huang; Sreenath Narayan; David L. Wilson; David H. Johnson 001; Guo-Qiang Zhang 001 (IEEE Trans. Medical Imaging, 2011)

EpiDEA: Extracting Structured Epilepsy and Seizure Information from Patient Discharge Summaries for Cohort Identification. - Licong Cui; Samden D. Lhatoo; Guo-Qiang Zhang 001; Satya Sanket Sahoo; Alireza Bozorgi (AMIA, 2012)

OPIC: Ontology-driven Patient Information Capturing System for Epilepsy. - Satya Sanket Sahoo; Meng Zhao; Lingyun Luo; Alireza Bozorgi; Deepak K. Gupta; Samden D. Lhatoo; Guo-Qiang Zhang 001 (AMIA, 2012)

An Analysis of Multi-type Relational Interactions in FMA Using Graph Motifs with Disjointness Constraints. - Guo-Qiang Zhang 001; Lingyun Luo; Chimezie Thomas-Ogbuji; Cliff A. Joslyn; José Leonardo Villaraza Mejino Jr.; Satya Sanket Sahoo (AMIA, 2012)

Ontology-Guided Approach to Retrieving Disease Manifestation Images for Health Image Base Construction. - Yang Chen 022; Xiaofeng Ren; Guo-Qiang Zhang 001; Rong Xu (HISB, 2012)

Semi-supervised image classification for automatic construction of a health image library. - Yang Chen 022; Guo-Qiang Zhang 001; Rong Xu (IHI, 2012)

Role of semantic web in health informatics. - Satya Sanket Sahoo; Amit P. Sheth; Guo-Qiang Zhang 001 (IHI, 2012)

A generalized non-pumping Lemma for Regular Languages. - Licong Cui; Guo-Qiang Zhang 001 (QLSC, 2012)

Concatenation and Kleene Star on Deterministic finite Automata. - Guo-Qiang Zhang 001; Xiangnan Zhou; Robert Fraser; Licong Cui (QLSC, 2012)

A semantic proteomics dashboard (SemPoD) for data management in translational research. - Catherine P. Jayapandian; Meng Zhao; Rob M. Ewing; Guo-Qiang Zhang 001; Satya Sanket Sahoo (BMC Syst. Biol., 2012)

Creation and Comparative Analysis of a Novel Disease Phenotype Network Based on Clinical Manifestation. - Yang Chen 022; Xiang Zhang 001; Guoqiang Zhang 001; Rong Xu (AMIA, 2013)

Cloudwave: Distributed Processing of "Big Data" from Electrophysiological Recordings for Epilepsy Clinical Research Using Hadoop. - Catherine P. Jayapandian; Chien-Hung Chen; Alireza Bozorgi; Samden D. Lhatoo; Guo-Qiang Zhang 001; Satya Sanket Sahoo (AMIA, 2013)

Querying Complex Federated Clinical Data Using Ontological Mapping and Subsumption Reasoning. - Licong Cui; Remo Mueller; Satya Sanket Sahoo; Guo-Qiang Zhang 001 (ICHI, 2013)

Electrophysiological Signal Analysis and Visualization using Cloudwave for Epilepsy Clinical Research. - Catherine P. Jayapandian; Chien-Hung Chen; Alireza Bozorgi; Samden D. Lhatoo; Guo-Qiang Zhang 001; Satya Sanket Sahoo (MedInfo, 2013)

Preface. - Ying-ming Liu; Mao-kang Luo; Michael W. Mislove; Guo-Qiang Zhang 001 (ISDT, 2013)

Research and applications: Ontology-guided organ detection to retrieve web images of disease manifestation: towards the construction of a consumer-based health image library. - Yang Chen 022; Xiaofeng Ren; Guo-Qiang Zhang 001; Rong Xu (J. Am. Medical Informatics Assoc., 2013)

An analysis of FMA using structural self-bisimilarity. - Lingyun Luo; José L. V. Mejino Jr.; Guo-Qiang Zhang 001 (J. Biomed. Informatics, 2013)

A Semantic-based Approach for Exploring Consumer Health Questions Using UMLS. - Licong Cui; Shiqiang Tao; Guo-Qiang Zhang 001 (AMIA, 2014)

MEDCIS: Multi-Modality Epilepsy Data Capture and Integration System. - Guo-Qiang Zhang 001; Licong Cui; Samden D. Lhatoo; Satya S. Sahoo (AMIA, 2014)

MaPLE: A MapReduce Pipeline for Lattice-based Evaluation and its application to SNOMED CT. - Guo-Qiang Zhang 001; Wei Zhu 010; Mengmeng Sun; Shiqiang Tao; Olivier Bodenreider; Licong Cui (IEEE BigData, 2014)

Domain Ontology As Conceptual Model for Big Data Management: Application in Biomedical Informatics. - Catherine P. Jayapandian; Chien-Hung Chen; Aman Dabir; Samden D. Lhatoo; Guo-Qiang Zhang 001; Satya Sanket Sahoo (ER, 2014)

Heart beats in the cloud: distributed analysis of electrophysiological 'Big Data' using cloud computing for epilepsy clinical research. - Satya Sanket Sahoo; Catherine P. Jayapandian; Gaurav Garg; Farhad Kaffashi; Stephanie Chung; Alireza Bozorgi; Chien-Hung Chen; Kenneth A. Loparo; Samden D. Lhatoo; Guo-Qiang Zhang 001 (J. Am. Medical Informatics Assoc., 2014)

Epilepsy and seizure ontology: towards an epilepsy informatics infrastructure for clinical research and patient care. - Satya Sanket Sahoo; Samden D. Lhatoo; Deepak K. Gupta; Licong Cui; Meng Zhao; Catherine P. Jayapandian; Alireza Bozorgi; Guo-Qiang Zhang 001 (J. Am. Medical Informatics Assoc., 2014)

Complex epilepsy phenotype extraction from narrative clinical discharge summaries. - Licong Cui; Satya Sanket Sahoo; Samden D. Lhatoo; Gaurav Garg; Prashant Rai; Alireza Bozorgi; Guo-Qiang Zhang 001 (J. Biomed. Informatics, 2014)

Multi-topic assignment for exploratory navigation of consumer health information in NetWellness using formal concept analysis. - Licong Cui; Rong Xu; Zhihui Luo 001; Susan Wentz; Kyle Scarberry; Guo-Qiang Zhang 001 (BMC Medical Informatics Decis. Mak., 2014)

RMS: a platform for managing cross-disciplinary and multi-institutional research project collaboration. - Jake Luo; Carolyn Apperson-Hansen; Clara M. Pelfrey; Guo-Qiang Zhang 001 (BMC Medical Informatics Decis. Mak., 2014)

COBE: A Conjunctive Ontology Browser and Explorer for Visualizing SNOMED CT Fragments. - Mengmeng Sun; Wei Zhu 010; Shiqiang Tao; Licong Cui; Guo-Qiang Zhang 001 (AMIA, 2015)

RREV: Reconfigurable Rendering Engine for visualization of clinically annotated polysomnograms. - Catherine P. Jayapandian; Wei Wang; Michael G. Morrical; Dennis A. Dean; Shiqiang Tao; Daniel R. Mobley; Matthew Kim; Michael Rueschman; Kenneth A. Loparo; Susan Redline; Guo-Qiang Zhang 001 (BIBM, 2015)

FEDRR: Fast, Exhaustive Detection of Redundant Hierarchical Relations in Large Biomedical Ontologies. - Guangming Xing; Licong Cui; Guo-Qiang Zhang 001 (BDM2I@ISWC, 2015)

Phenome-driven disease genetics prediction toward drug discovery. - Yang Chen 022; Li Li; Guo-Qiang Zhang 001; Rong Xu (Bioinform., 2015)

A scalable neuroinformatics data flow for electrophysiological signals using MapReduce. - Catherine P. Jayapandian; Annan Wei; Priya Ramesh; Bilal Zonjy; Samden D. Lhatoo; Kenneth A. Loparo; Guo-Qiang Zhang 001; Satya S. Sahoo (Frontiers Neuroinformatics, 2015)

Comparative analysis of a novel disease phenotype network based on clinical manifestations. - Yang Chen 022; Xiang Zhang 001; Guo-Qiang Zhang 001; Rong Xu (J. Biomed. Informatics, 2015)

ODaCCI: Ontology-guided Data Curation for Multisite Clinical Research Data Integration in the NINDS Center for SUDEP Research. - Licong Cui; Yan Huang 034; Shiqiang Tao; Samden D. Lhatoo; Guo-Qiang Zhang 001 (AMIA, 2016)

DCDS: A Real-time Data Capture and Personalized Decision Support System for Heart Failure Patients in Skilled Nursing Facilities. - Wei Zhu 010; Lingyun Luo; Tarun Jain; Rebecca S. Boxer; Licong Cui; Guo-Qiang Zhang 001 (AMIA, 2016)

Web-Interface-Driven Development for Neuro3D, a Clinical Data Capture and Decision Support System for Deep Brain Stimulation. - Shiqiang Tao; Benjamin L. Walter; Sisi Gu; Guo-Qiang Zhang 001 (HIS, 2016)

FEDRR: fast, exhaustive detection of redundant hierarchical relations for quality improvement of large biomedical ontologies. - Guangming Xing; Guo-Qiang Zhang 001; Licong Cui (BioData Min., 2016)

Managing information well: Toward an ontology-driven informatics platform for data sharing and secondary use in epilepsy self-management research centers. - Satya S. Sahoo; Guo-Qiang Zhang 001; Yvan Bamps; Robert Fraser; Shelley Stoll; Samden D. Lhatoo; Curtis Tatsuoka; Johnny Sams; Elisabeth Welter; Martha Sajatovic (Health Informatics J., 2016)

A Note on L-fuzzy Closure Systems. - Lankun Guo; Qingguo Li; Guo-Qiang Zhang 001 (Int. J. Fuzzy Syst., 2016)

Biomedical Ontology Quality Assurance Using a Big Data Approach. - Licong Cui; Shiqiang Tao; Guo-Qiang Zhang 001 (ACM Trans. Knowl. Discov. Data, 2016)

Can SNOMED CT Changes Be Used as a Surrogate Standard for Evaluating the Performance of Its Auditing Methods? - Guo-Qiang Zhang 001; Yan Huang 034; Licong Cui (AMIA, 2017)

SpindleSphere: A Web-based Platform for Large-scale Sleep Spindle Analysis and Visualization. - Xiaojin Li; Licong Cui; Shiqiang Tao; Ningzhou Zeng; Guo-Qiang Zhang 001 (AMIA, 2017)

Facilitating Cohort Discovery by Enhancing Ontology Exploration, Query Management and Query Sharing for Large Clinical Data Repositories. - Shiqiang Tao; Licong Cui; Xi Wu; Guo-Qiang Zhang 001 (AMIA, 2017)

A Practical Scientific Workflow of Sharing Large Selected Dataset from Clinical Research Data Repository. - Shiqiang Tao; Steve K. Roggenkamp; Guo-Qiang Zhang 001 (AMIA, 2017)

Spark-MCA: Large-scale, Exhaustive Formal Concept Analysis for Evaluating the Semantic Completeness of SNOMED CT. - Wei Zhu 010; Guo-Qiang Zhang 001; Licong Cui (AMIA, 2017)

ImageSfERe: Image sharing for epilepsy research. - Xi Wu; Steven K. Roggenkamp; Shiqiang Tao; Guo-Qiang Zhang 001 (BIBM, 2017)

Evaluation of relational and NoSQL approaches for patient cohort identification from heterogeneous data sources. - Ningzhou Zeng; Guo-Qiang Zhang 001; Xiaojin Li; Licong Cui (BIBM, 2017)

A Data Capture Framework for Large-scale Interventional Studies with Survey Workflow Management. - Shiqiang Tao; Ningzhou Zeng; Xi Wu; Wei Zhu 010; Xiaojin Li; Licong Cui; Guo-Qiang Zhang 001 (CRI, 2017)

Preface. - Mao-kang Luo; Achim Jung; Guo-Qiang Zhang 001 (ISDT, 2017)

Mining non-lattice subgraphs for detecting missing hierarchical relations and concepts in SNOMED CT. - Licong Cui; Wei Zhu 010; Shiqiang Tao; James T. Case; Olivier Bodenreider; Guo-Qiang Zhang 001 (J. Am. Medical Informatics Assoc., 2017)

Preface. - Achim Jung; Guo-Qiang Zhang 001 (Math. Struct. Comput. Sci., 2017)

A Cross-Cohort Query System for the National Sleep Research Resource (NSRR). - Licong Cui; Guo-Qiang Zhang 001 (AMIA, 2018)

Retrospective analysis of health claims to evaluate pharmacotherapies with potential for repurposing: Association of bupropion and stimulant use disorder remission. - Emily R. Hankosky; Heather M. Bush; Linda P. Dwoskin; Daniel R. Harris; Darren W. Henderson; Guo-Qiang Zhang 001; Patricia R. Freeman; Jeffery C. Talbert (AMIA, 2018)

System Demonstration: Integration of Patient Reported Outcomes with Electronic Health Records - the EASI-PRO Project. - Justin Starren; Daniella Meeker; Kenneth D. Mandl; Guo-Qiang Zhang 001; Alyssa White; Raheel Sayeed; Daniel Gottlieb 001; Alex Wormuth; Welmoed Van Deen; Shiqiang Tao (AMIA, 2018)

Predicting Substance Use Disorder in ADHD Patients using Long-Short Term Memory Model. - Sajjad Fouladvand; Emily R. Hankosky; Darren W. Henderson; Heather Bush; Jin Chen 004; Linda P. Dwoskin; Patricia R. Freeman; Kathleen Kantak; Jeffery C. Talbert; Shiqiang Tao; Guo-Qiang Zhang 001 (ICHI Workshops, 2018)

A Robust Deep Learning Approach for Automatic Seizure Detection. - Xinghua Yao; Xiaojin Li; Qiang Ye 003; Yan Huang 034; Qiang Cheng 001; Guoqiang Zhang 001 (CoRR, 2018)

The National Sleep Research Resource: towards a sleep data commons. - Guo-Qiang Zhang 001; Licong Cui; Remo Mueller; Shiqiang Tao; Matthew Kim; Michael Rueschman; Sara Mariani; Daniel R. Mobley; Susan Redline (J. Am. Medical Informatics Assoc., 2018)

An efficient, large-scale, non-lattice-detection algorithm for exhaustive structural auditing of biomedical ontologies. - Guo-Qiang Zhang 001; Guangming Xing; Licong Cui (J. Biomed. Informatics, 2018)

Auditing SNOMED CT hierarchical relations based on lexical features of concepts in non-lattice subgraphs. - Licong Cui; Olivier Bodenreider; Jay Shi; Guo-Qiang Zhang 001 (J. Biomed. Informatics, 2018)

Quality assurance of biomedical terminologies and ontologies. - James Geller; Yehoshua Perl; Licong Cui; Guo-Qiang Zhang 001 (J. Biomed. Informatics, 2018)

X-search: an open access interface for cross-cohort exploration of the National Sleep Research Resource. - Licong Cui; Ningzhou Zeng; Matthew Kim; Remo Mueller; Emily R. Hankosky; Susan Redline; Guo-Qiang Zhang 001 (BMC Medical Informatics Decis. Mak., 2018)

HyCLASSS: A Hybrid Classifier for Automatic Sleep Stage Scoring. - Xiaojin Li; Licong Cui; Shiqiang Tao; Jing Chen 002; Xiang Zhang 001; Guo-Qiang Zhang 001 (IEEE J. Biomed. Health Informatics, 2018)

SeizureBank: A Repository of Analysis-ready Seizure Signal Data. - Xiaojin Li; Yan Huang 034; Shiqiang Tao; Licong Cui; Samden D. Lhatoo; Guo-Qiang Zhang 001 (AMIA, 2019)

Insomnia Prediction Using Temporal Feature of Spindles. - Hao Yu; Ying Zhang; Jin Chen 004; Shiqiang Tao; Taylor D. Smith; Guo-Qiang Zhang 001; Xiaojin Li; Xiaoqian Jiang; Xiaoling Wang 004; Xinyu Wang 017 (ICHI, 2019)

Validating Auto-Suggested Changes for SNOMED CT in Non-Lattice Subgraphs Using Relational Machine Learning. - Qi Sun; Guo-Qiang Zhang 001; Wei Zhu 010; Licong Cui (MedInfo, 2019)

A Novel Independent RNN Approach to Classification of Seizures against Non-seizures. - Xinghua Yao; Qiang Cheng 001; Guo-Qiang Zhang 001 (CoRR, 2019)

Combining Representation Learning with Tensor Factorization for Risk Factor Analysis - an application to Epilepsy and Alzheimer's disease. - Xiaoqian Jiang; Samden D. Lhatoo; Guo-Qiang Zhang 001; Luyao Chen; Yejin Kim 001 (CoRR, 2019)

Automated Classification of Seizures against Nonseizures: A Deep Learning Approach. - Xinghua Yao; Qiang Cheng 001; Guo-Qiang Zhang 001 (CoRR, 2019)

Preface. - Achim Jung; Qingguo Li; Luoshan Xu; Guo-Qiang Zhang 001 (ISDT, 2019)

A representation of continuous domains via relationally approximable concepts in a generalized framework of formal concept analysis. - Lankun Guo; Qingguo Li; Guo-Qiang Zhang 001 (Int. J. Approx. Reason., 2019)

STAN-CT: Standardizing CT Image using Generative Adversarial Networks. - Md. Selim; Jie Zhang 092; Baowei Fei; Guo-Qiang Zhang 001; Jin Chen 004 (AMIA, 2020)

STAN-CT: Standardizing CT Image using Generative Adversarial Network. - Md. Selim; Jie Zhang 092; Baowei Fei; Guo-Qiang Zhang 001; Jin Chen 004 (CoRR, 2020)

Predicting substance use disorder using long-term attention deficit hyperactivity disorder medication records in Truven. - Sajjad Fouladvand; Emily R. Hankosky; Heather Bush; Jin Chen 004; Linda P. Dwoskin; Patricia R. Freeman; Darren W. Henderson; Kathleen Kantak; Jeffery C. Talbert; Shiqiang Tao; Guo-Qiang Zhang 001 (Health Informatics J., 2020)

Temporal phenotyping for transitional disease progress: An application to epilepsy and Alzheimer's disease. - Yejin Kim 001; Samden D. Lhatoo; Guo-Qiang Zhang 001; Luyao Chen; Xiaoqian Jiang (J. Biomed. Informatics, 2020)

A community effort for automatic detection of postictal generalized EEG suppression in epilepsy. - Yejin Kim 001; Xiaoqian Jiang; Samden D. Lhatoo; Guoqiang Zhang 001; Shiqiang Tao; Licong Cui; Xiaojin Li; Robert D. Jolly; Luyao Chen; Michael Phan; Cung Ha; Marijane Detranaltes; et al. (BMC Medical Informatics Decis. Mak., 2020)

Automated detection of activity onset after postictal generalized EEG suppression. - Bishal Lamichhane; Yejin Kim 001; Santiago Segarra; Guoqiang Zhang 001; Samden D. Lhatoo; Jaison Hampson; Xiaoqian Jiang (BMC Medical Informatics Decis. Mak., 2020)

Categorisation of EEG suppression using enhanced feature extraction for SUDEP risk assessment. - Juan C. Mier; Yejin Kim 001; Xiaoqian Jiang; Guo-Qiang Zhang 001; Samden D. Lhatoo (BMC Medical Informatics Decis. Mak., 2020)

Web-based interactive mapping from data dictionaries to ontologies, with an application to cancer registry. - Shiqiang Tao; Ningzhou Zeng; Isaac Hands; Joseph Hurt-Mueller; Eric B. Durbin; Licong Cui; Guo-Qiang Zhang 001 (BMC Medical Informatics Decis. Mak., 2020)

Learning to detect the onset of slow activity after a generalized tonic-clonic seizure. - Carroll Vance; Yejin Kim 001; Guo-Qiang Zhang 001; Samden D. Lhatoo; Shiqiang Tao; Licong Cui; Xiaojin Li; Xiaoqian Jiang (BMC Medical Informatics Decis. Mak., 2020)

A lightweight convolutional neural network for assessing an EEG risk marker for sudden unexpected death in epilepsy. - Cong Zhu; Yejin Kim 001; Xiaoqian Jiang; Samden D. Lhatoo; Hampson Jaison; Guo-Qiang Zhang 001 (BMC Medical Informatics Decis. Mak., 2020)

Ontologies as nested facet systems for human-data interaction. - Guoqiang Zhang 001; Shiqiang Tao; Ningzhou Zeng; Licong Cui (Semantic Web, 2020)

Identifying Sleep-Related Factors Associated with Cognitive Function in a Hispanics/Latinos Cohort: A Dual Random Forest Approach. - Xiaojin Li; Licong Cui; Fei Wang; Paul E. Schulz; Guo-Qiang Zhang 001 (AMIA, 2021)

Cross-Vendor CT Image Data Harmonization Using CVH-CT. - Md. Selim; Jie Zhang 092; Baowei Fei; Guo-Qiang Zhang 001; Gary Yeeming Ge; Jin Chen 004 (AMIA, 2021)

CT Image Harmonization for Enhancing Radiomics Studies. - Md. Selim; Jie Zhang 092; Baowei Fei; Guo-Qiang Zhang 001; Jin Chen 004 (BIBM, 2021)

A robust deep learning approach for automatic classification of seizures against non-seizures. - Xinghua Yao; Xiaojin Li; Qiang Ye 003; Yan Huang 034; Qiang Cheng 001; Guo-Qiang Zhang 001 (Biomed. Signal Process. Control., 2021)

ELII: A novel inverted index for fast temporal query, with application to a large Covid-19 EHR dataset. - Yan Huang 034; Xiaojin Li; Guo-Qiang Zhang 001 (J. Biomed. Informatics, 2021)

Temporal Cohort Logic. - Guo-Qiang Zhang 001; Xiaojin Li; Yan Huang 034; Licong Cui (AMIA, 2022)

UDA-CT: A General Framework for CT Image Standardization. - Md. Selim; Jie Zhang 092; Baowei Fei; Matthew A. Lewis; Guo-Qiang Zhang 001; Jin Chen 004 (BIBM, 2022)

IMI-CDE: an interactive interface for collaborative mapping of study variables to common data elements. - Shiqiang Tao; Wei-Chun Chou; Jianfu Li; Jingcheng Du; Pritham Ram; Rashmie Abeysinghe; Hua Xu 001; Xiaoqian Jiang; Peter W. Rose; Lucila Ohno-Machado; Guo-Qiang Zhang 001 (ICHI, 2022)

A multimodal clinical data resource for personalized risk assessment of sudden unexpected death in epilepsy. - Xiaojin Li; Shiqiang Tao; Samden D. Lhatoo; Licong Cui; Yan Huang 034; Johnson P. Hampson; Guo-Qiang Zhang 001 (Frontiers Big Data, 2022)

A hybrid unsupervised and supervised learning approach for postictal generalized EEG suppression detection. - Xiaojin Li; Yan Huang 034; Samden D. Lhatoo; Shiqiang Tao; Laura Vilella Bertran; Guo-Qiang Zhang 001; Licong Cui (Frontiers Neuroinformatics, 2022)

A hierarchical strategy to minimize privacy risk when linking "De-identified" data in biomedical research consortia. - Lucila Ohno-Machado; Xiaoqian Jiang; Tsung-Ting Kuo; Shiqiang Tao; Luyao Chen; Pritham Ram; Guo-Qiang Zhang 001; Hua Xu 001 (J. Biomed. Informatics, 2023)

An ontology-based approach for harmonization and cross-cohort query of Alzheimer's disease data resources. - Xubing Hao; Xiaojin Li; Guo-Qiang Zhang 001; Cui Tao; Paul E. Schulz; Licong Cui (BMC Medical Informatics Decis. Mak., 2023)

Identifying Factors Associated with COVID-19 All-Cause 90-Day Readmission: Machine Learning Approaches. - Shiwei Lin; Shiqiang Tao; Yan Huang 034; Xiaojin Li; Guo-Qiang Zhang 001 (AIME (1), 2024)

Temporal Ensemble Logic. - Guo-Qiang Zhang 001 (CoRR, 2024)

Identifying Developmental Intellectual Disability as a SUDEP Risk Marker from Epilepsy Monitoring Unit Reports Using Large Language Models. - Ran Hu; Rashmie Abeysinghe; Gorbachev Jowah; Shiqiang Tao; Samden D. Lhatoo; Guo-Qiang Zhang 001; Licong Cui (FLAIRS, 2025)

Quantitatively assessing the impact of the quality of SNOMED CT subtype hierarchy on cohort queries. - Xubing Hao; Xiaojin Li; Yan Huang 034; Jay Shi; Rashmie Abeysinghe; Cui Tao; Kirk Roberts; Guo-Qiang Zhang 001; Licong Cui (J. Am. Medical Informatics Assoc., 2025)

Leveraging pretrained language models for seizure frequency extraction from epilepsy evaluation reports. - Rashmie Abeysinghe; Shiqiang Tao; Samden D. Lhatoo; Guoqiang Zhang 001; Licong Cui (npj Digit. Medicine, 2025)