Guo-Qiang Zhang

Satya Sanket Sahoo, Amit P. Sheth, Guo-Qiang Zhang: Role of semantic web in health informatics. IHI 2012: 881-882

Guo-Qing Zhang, Su-Qi Cheng, Guo-Qiang Zhang: A universal assortativity measure for network analysis. CoRR abs/1212.6456 (2012)

Lankun Guo, Fangping Huang, Qingguo Li, Guo-Qiang Zhang: Power contexts and their concept lattices. Discrete Mathematics 311(18-19): 2049-2063 (2011)

Lankun Guo, Guo-Qiang Zhang, Qingguo Li: Fuzzy closure systems on L - ordered sets. Math. Log. Q. 57(3): 281-291 (2011)

Fangping Huang, Sreenath Narayan, David L. Wilson, David Johnson, Guo-Qiang Zhang: A Fast Iterated Conditional Modes Algorithm for Water-Fat Decomposition in MRI. IEEE Trans. Med. Imaging 30(8): 1480-1492 (2011)

Manfred Droste, Guo-Qiang Zhang: Bifinite Chu Spaces. Logical Methods in Computer Science 6(1) (2010)

Guo-Qiang Zhang, Licong Cui: A set coverage problem. Inf. Process. Lett. 110(4): 158-159 (2010)

Chimezie Ogbuji, Sivaram Arabandi, Songmao Zhang, Guo-Qiang Zhang: Segmenting and Merging Domain-specific Ontology Modules for Clinical Informatics. FOIS 2010: 414-427

Guo-Qiang Zhang: Large-Scale, Exhaustive Lattice-Based Structural Auditing of SNOMED CT. KSEM 2010: 615

Guo-Qiang Zhang, Olivier Bodenreider: Using SPARQL to Test for Lattices: Application to Quality Assurance in Biomedical Ontologies. International Semantic Web Conference (2) 2010: 273-288

Guo-Qiang Zhang: Link power coordination for energy conservation in complex communication networks. CoRR abs/1010.1894 (2010)

Guo-Qiang Zhang: Closures in Binary Partial Algebras. Electr. Notes Theor. Comput. Sci. 257: 3-18 (2009)

Jacek Szymanski, David L. Wilson, Guo-Qiang Zhang: MIMI: Multimodality, Multiresource, Information Integration Environment for Biomedical Core Facilities. J. Digital Imaging 22(5): 535-547 (2009)

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

Jie Dai, Remo Mueller, Jacek Szymanski, Guo-Qiang Zhang: Towards "WYDIWYS" for MIMI using concept analysis. SAC 2009: 91-97

Fangping Huang, Manfred Droste, Guo-Qiang Zhang: A Monoidal Category of Bifinite Chu Spaces. Electr. Notes Theor. Comput. Sci. 212: 285-297 (2008)

Manfred Droste, Guo-Qiang Zhang: Random Event Structures. Int. J. Software and Informatics 2(1): 77-88 (2008)

Ying Jiang, Guo-Qiang Zhang: Weakly distributive domains (II). Frontiers of Computer Science in China 1(4): 373-384 (2007)

Guo-Qiang Zhang: Mediating secure information flow policies. Inf. Comput. 205(9): 1413-1425 (2007)

Manfred Droste, Guo-Qiang Zhang: Bifinite Chu Spaces. CAI 2007: 73-74

Manfred Droste, Guo-Qiang Zhang: Bifinite Chu Spaces. CALCO 2007: 179-193

Adam D. Troy, Guo-Qiang Zhang, Ye Tian: Faster Concept Analysis. ICCS 2007: 206-219

Adam D. Troy, Guo-Qiang Zhang: Enhancing relevance scoring with chronological term rank. SIGIR 2007: 599-606

Ying Jiang, Guo-Qiang Zhang: Weakly Distributive Domains. TLCA 2007: 194-206

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

Pascal Hitzler, Markus Krötzsch, Guo-Qiang Zhang: A Categorical View on Algebraic Lattices in Formal Concept Analysis. Fundam. Inform. 74(2-3): 301-328 (2006)

Adam D. Troy, Guo-Qiang Zhang: Case Western Reserve University at the TREC 2006 Enterprise Track. TREC 2006

Ian Braithwaite, Mogens Blanke, Guo-Qiang Zhang, Jens Michael Carstensen: Design of a Vision-Based Sensor for Autonomous Pig House Cleaning. EURASIP J. Adv. Sig. Proc. 2005(13): 2005-2017 (2005)

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

Guo-Qiang Zhang, Gongqin Shen, Ye Tian, Jiayang Sun: Concept Analysis as a Formal Method for Menu Design. DSV-IS 2005: 173-187

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

Markus Krötzsch, Pascal Hitzler, Guo-Qiang Zhang: Morphisms in Context. ICCS 2005: 223-237

Shi Zhou, Guo-Qiang Zhang, Guo-Qing Zhang: Chinese Internet AS-level Topology. CoRR abs/cs/0511101 (2005)

Jeff Stuckman, Guo-Qiang Zhang: Mastermind is NP-Complete. CoRR abs/cs/0512049 (2005)

Guo-Qiang Zhang, William C. Rounds: Reasoning with power defaults. Theor. Comput. Sci. 323(1-3): 321-350 (2004)

Pascal Hitzler, Guo-Qiang Zhang: A Cartesian Closed Category of Approximable Concept Structures. ICCS 2004: 170-185

Pascal Hitzler, Markus Krötzsch, Guo-Qiang Zhang: A Categorical View on Algebraic Lattices in Formal Concept Analysis. CoRR cs.OH/0410065 (2004)

Manfred Droste, Guo-Qiang Zhang: On transformations of formal power series. Inf. Comput. 184(2): 369-383 (2003)

Guo-Qiang Zhang: Domain µ-calculus. ITA 37(4): 337-364 (2003)

Thierry Coquand, Guo-Qiang Zhang: A representation of stably compact spaces, and patch topology. Theor. Comput. Sci. 305(1-3): 77-84 (2003)

Guo-Qiang Zhang: Decidable fragments of domain mu-calculus: an automata-theoretic perspective. FICS 2002: 54-57

Guo-Qiang Zhang: Axiomatic Aspects of Default Inference. Paraconsistent Computational Logic 2002: 17-32

William C. Rounds, Guo-Qiang Zhang: Clausal Logic and Logic Programming in Algebraic Domains. Inf. Comput. 171(2): 183-200 (2001)

Manfred Droste, Guo-Qiang Zhang: Rational Transformations of Formal Power Series. ICALP 2001: 555-566

Thierry Coquand, Guo-Qiang Zhang: Sequents, Frames, and Completeness. CSL 2000: 277-291

Guo-Qiang Zhang: Automata, Boolean Matrices, and Ultimate Periodicity. Inf. Comput. 152(1): 138-154 (1999)

Eric Klavins, William C. Rounds, Guo-Qiang Zhang: Experimenting with Power Default Reasoning. AAAI/IAAI 1998: 846-852

William C. Rounds, Guo-Qiang Zhang: Logical Considerations on Default Semantics. Ann. Math. Artif. Intell. 20(1-4): 195-226 (1997)

Guo-Qiang Zhang, William C. Rounds: Nonmonotonic Consequences in Default Domain Theory. Ann. Math. Artif. Intell. 20(1-4): 227-265 (1997)

Guo-Qiang Zhang, William C. Rounds: Resolution in the Smyth powerdomain. Electr. Notes Theor. Comput. Sci. 6: 409 (1997)

Guo-Qiang Zhang, E. Rodney Canfield: The End of Pumping? Theor. Comput. Sci. 174(1-2): 275-279 (1997)

Guo-Qiang Zhang, William C. Rounds: Defaults in Domain Theory. Theor. Comput. Sci. 177(1): 155-182 (1997)

Ilaria Castellani, Guo-Qiang Zhang: Parallel Product of Event Structures. Theor. Comput. Sci. 179(1-2): 203-215 (1997)

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

Guo-Qiang Zhang, William C. Rounds: Complexity of Power Default Reasoning. LICS 1997: 328-339

Guo-Qiang Zhang, William C. Rounds: Power Defaults. LPNMR 1997: 152-169

Guo-Qiang Zhang: Quasi-Prime Algebraic Domains. Theor. Comput. Sci. 155(1): 221-264 (1996)

Guo-Qiang Zhang: The Largest Cartesian Closed Category of Stable Domains. Theor. Comput. Sci. 166(1&2): 203-219 (1996)

William C. Rounds, Guo-Qiang Zhang: Domain Theory Meets Default Logic. J. Log. Comput. 5(1): 1-25 (1995)

Guo-Qiang Zhang: On Maximal Stable Functions. Theor. Comput. Sci. 146(1&2): 331-339 (1995)

Guo-Qiang Zhang: A Representation of SFP. Inf. Comput. 110(1): 233-263 (1994)

Guo-Qiang Zhang: Some Monoidal Closed Categories of Stable Domains and Event Structures. Mathematical Structures in Computer Science 3(2): 259-276 (1993)

Guo-Qiang Zhang: Universal Quasi-Prime Algebraic Domains. MFPS 1993: 454-473

William C. Rounds, Guo-Qiang Zhang: Constraints in Nonmonotonic Reasoning. PPCP 1993: 247-257

Guo-Qiang Zhang: dI-Domains as Prime Information Systems. Inf. Comput. 100(2): 151-177 (1992)

Guo-Qiang Zhang: Stable Neighbourboods. Theor. Comput. Sci. 93(1): 143-157 (1992)

Guo-Qiang Zhang: Disjunctive Systems and L-Domains. ICALP 1992: 284-295

Guo-Qiang Zhang: A Monoidal Closed Category of Event Structures. MFPS 1991: 426-435

Guo-Qiang Zhang: DI-Domains as Information Systems (Extended Abstract). ICALP 1989: 773-788

Guo-Qiang Zhang: "NP = P?" and restricted partitions. Inf. Sci. 32(3): 231-242 (1984)