Guo-Qiang Zhang

	2012
69		Satya Sanket Sahoo, Amit P. Sheth, Guo-Qiang Zhang: Role of semantic web in health informatics. IHI 2012: 881-882
	2011
68		Lankun Guo, Fangping Huang, Qingguo Li, Guo-Qiang Zhang: Power contexts and their concept lattices. Discrete Mathematics 311(18-19): 2049-2063 (2011)
67		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)
66		Lankun Guo, Guo-Qiang Zhang, Qingguo Li: Fuzzy closure systems on L - ordered sets. Math. Log. Q. 57(3): 281-291 (2011)
	2010
65		Chimezie Ogbuji, Sivaram Arabandi, Songmao Zhang, Guo-Qiang Zhang: Segmenting and Merging Domain-specific Ontology Modules for Clinical Informatics. FOIS 2010: 414-427
64		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
63		Guo-Qiang Zhang: Large-Scale, Exhaustive Lattice-Based Structural Auditing of SNOMED CT. KSEM 2010: 615
62		Guo-Qiang Zhang: Link power coordination for energy conservation in complex communication networks CoRR abs/1010.1894: (2010)
61		Guo-Qiang Zhang, Licong Cui: A set coverage problem. Inf. Process. Lett. 110(4): 158-159 (2010)
60		Manfred Droste, Guo-Qiang Zhang: Bifinite Chu Spaces Logical Methods in Computer Science 6(1): (2010)
	2009
59		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
58		Jie Dai, Remo Mueller, Jacek Szymanski, Guo-Qiang Zhang: Towards "WYDIWYS" for MIMI using concept analysis. SAC 2009: 91-97
57		Guo-Qiang Zhang: Closures in Binary Partial Algebras. Electr. Notes Theor. Comput. Sci. 257: 3-18 (2009)
56		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)
	2008
55		Fangping Huang, Manfred Droste, Guo-Qiang Zhang: A Monoidal Category of Bifinite Chu Spaces. Electr. Notes Theor. Comput. Sci. 212: 285-297 (2008)
54		Manfred Droste, Guo-Qiang Zhang: Random Event Structures. Int. J. Software and Informatics 2(1): 77-88 (2008)
	2007
53		Manfred Droste, Guo-Qiang Zhang: Bifinite Chu Spaces. CAI 2007: 73-74
52		Manfred Droste, Guo-Qiang Zhang: Bifinite Chu Spaces. CALCO 2007: 179-193
51		Adam D. Troy, Guo-Qiang Zhang, Ye Tian: Faster Concept Analysis. ICCS 2007: 206-219
50		Adam D. Troy, Guo-Qiang Zhang: Enhancing relevance scoring with chronological term rank. SIGIR 2007: 599-606
49		Ying Jiang, Guo-Qiang Zhang: Weakly Distributive Domains. TLCA 2007: 194-206
48		Ying Jiang, Guo-Qiang Zhang: Weakly distributive domains (II). Frontiers of Computer Science in China 1(4): 373-384 (2007)
47		Guo-Qiang Zhang: Mediating secure information flow policies. Inf. Comput. 205(9): 1413-1425 (2007)
	2006
46		Adam D. Troy, Guo-Qiang Zhang: Case Western Reserve University at the TREC 2006 Enterprise Track. TREC 2006
45		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)
44		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)
	2005
43		Guo-Qiang Zhang, Gongqin Shen, Ye Tian, Jiayang Sun: Concept Analysis as a Formal Method for Menu Design. DSV-IS 2005: 173-187
42		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
41		Markus Krötzsch, Pascal Hitzler, Guo-Qiang Zhang: Morphisms in Context. ICCS 2005: 223-237
40		Shi Zhou, Guo-Qiang Zhang, Guo-Qing Zhang: Chinese Internet AS-level Topology CoRR abs/cs/0511101: (2005)
39		Jeff Stuckman, Guo-Qiang Zhang: Mastermind is NP-Complete CoRR abs/cs/0512049: (2005)
38		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)
37		Guo-Qiang Zhang, Ying Jiang: On an open problem of Amadio and Curien: The finite antichain condition. Inf. Comput. 202(1): 87-103 (2005)
	2004
36		Pascal Hitzler, Guo-Qiang Zhang: A Cartesian Closed Category of Approximable Concept Structures. ICCS 2004: 170-185
35		Pascal Hitzler, Markus Krötzsch, Guo-Qiang Zhang: A Categorical View on Algebraic Lattices in Formal Concept Analysis CoRR cs.OH/0410065: (2004)
34		Guo-Qiang Zhang, William C. Rounds: Reasoning with power defaults. Theor. Comput. Sci. 323(1-3): 321-350 (2004)
	2003
33		Guo-Qiang Zhang: Domain µ-calculus. ITA 37(4): 337-364 (2003)
32		Manfred Droste, Guo-Qiang Zhang: On transformations of formal power series. Inf. Comput. 184(2): 369-383 (2003)
31		Thierry Coquand, Guo-Qiang Zhang: A representation of stably compact spaces, and patch topology. Theor. Comput. Sci. 305(1-3): 77-84 (2003)
	2002
30		Guo-Qiang Zhang: Decidable fragments of domain mu-calculus: an automata-theoretic perspective. FICS 2002: 54-57
29		Guo-Qiang Zhang: Axiomatic Aspects of Default Inference. Paraconsistent Computational Logic 2002: 17-32
	2001
28		Manfred Droste, Guo-Qiang Zhang: Rational Transformations of Formal Power Series. ICALP 2001: 555-566
27		William C. Rounds, Guo-Qiang Zhang: Clausal Logic and Logic Programming in Algebraic Domains. Inf. Comput. 171(2): 183-200 (2001)
	2000
26		Thierry Coquand, Guo-Qiang Zhang: Sequents, Frames, and Completeness. CSL 2000: 277-291
	1999
25		Guo-Qiang Zhang: Automata, Boolean Matrices, and Ultimate Periodicity. Inf. Comput. 152(1): 138-154 (1999)
	1998
24		Eric Klavins, William C. Rounds, Guo-Qiang Zhang: Experimenting with Power Default Reasoning. AAAI/IAAI 1998: 846-852
	1997
23		Guo-Qiang Zhang, Chang Huang, William C. Rounds: A Modal Logic for Reasoning about Belief. HICSS (5) 1997: 383-
22		Guo-Qiang Zhang, William C. Rounds: Complexity of Power Default Reasoning. LICS 1997: 328-339
21		Guo-Qiang Zhang, William C. Rounds: Power Defaults. LPNMR 1997: 152-169
20		William C. Rounds, Guo-Qiang Zhang: Logical Considerations on Default Semantics. Ann. Math. Artif. Intell. 20(1-4): 195-226 (1997)
19		Guo-Qiang Zhang, William C. Rounds: Nonmonotonic Consequences in Default Domain Theory. Ann. Math. Artif. Intell. 20(1-4): 227-265 (1997)
18		Guo-Qiang Zhang, William C. Rounds: Resolution in the Smyth powerdomain. Electr. Notes Theor. Comput. Sci. 6: 409 (1997)
17		Guo-Qiang Zhang, E. Rodney Canfield: The End of Pumping? Theor. Comput. Sci. 174(1-2): 275-279 (1997)
16		Guo-Qiang Zhang, William C. Rounds: Defaults in Domain Theory. Theor. Comput. Sci. 177(1): 155-182 (1997)
15		Ilaria Castellani, Guo-Qiang Zhang: Parallel Product of Event Structures. Theor. Comput. Sci. 179(1-2): 203-215 (1997)
	1996
14		Guo-Qiang Zhang: Quasi-Prime Algebraic Domains. Theor. Comput. Sci. 155(1): 221-264 (1996)
13		Guo-Qiang Zhang: The Largest Cartesian Closed Category of Stable Domains. Theor. Comput. Sci. 166(1&2): 203-219 (1996)
	1995
12		William C. Rounds, Guo-Qiang Zhang: Domain Theory Meets Default Logic. J. Log. Comput. 5(1): 1-25 (1995)
11		Guo-Qiang Zhang: On Maximal Stable Functions. Theor. Comput. Sci. 146(1&2): 331-339 (1995)
	1994
10		Guo-Qiang Zhang: A Representation of SFP Inf. Comput. 110(1): 233-263 (1994)
	1993
9		Guo-Qiang Zhang: Universal Quasi-Prime Algebraic Domains. MFPS 1993: 454-473
8		William C. Rounds, Guo-Qiang Zhang: Constraints in Nonmonotonic Reasoning. PPCP 1993: 247-257
7		Guo-Qiang Zhang: Some Monoidal Closed Categories of Stable Domains and Event Structures. Mathematical Structures in Computer Science 3(2): 259-276 (1993)
	1992
6		Guo-Qiang Zhang: Disjunctive Systems and L-Domains. ICALP 1992: 284-295
5		Guo-Qiang Zhang: dI-Domains as Prime Information Systems Inf. Comput. 100(2): 151-177 (1992)
4		Guo-Qiang Zhang: Stable Neighbourboods. Theor. Comput. Sci. 93(1): 143-157 (1992)
	1991
3		Guo-Qiang Zhang: A Monoidal Closed Category of Event Structures. MFPS 1991: 426-435
	1989
2		Guo-Qiang Zhang: DI-Domains as Information Systems (Extended Abstract). ICALP 1989: 773-788
	1984
1		Guo-Qiang Zhang: "NP = P?" and restricted partitions. Inf. Sci. 32(3): 231-242 (1984)

Coauthor Index

1	Sivaram Arabandi	[65]
2	Mogens Blanke	[38]
3	Olivier Bodenreider	[64]
4	Ian Braithwaite	[38]
5	E. Rodney Canfield	[17]
6	Jens Michael Carstensen	[38]
7	Ilaria Castellani	[15]
8	Guangyu Chen	[45]
9	Jeong-Hyeon Choi	[45]
10	Thierry Coquand	[26] [31]
11	Licong Cui	[61]
12	Jie Dai	[58]
13	Alan J. Dix	[42]
14	Manfred Droste	[28] [32] [52] [53] [54] [55] [60]
15	Dominic Furniss	[42]
16	Lankun Guo	[66] [68]
17	Pascal Hitzler	[35] [36] [41] [44]
18	Chang Huang	[23]
19	Fangping Huang	[55] [67] [68]
20	Ying Jiang	[37] [48] [49]
21	David Johnson	[67]
22	Jaewoo Kang	[45]
23	Sun Kim	[45]
24	Eric Klavins	[24]
25	Markus Krötzsch (Markus Kroetzsch)	[35] [41] [44]
26	Qingguo Li	[66] [68]
27	Remo Mueller	[58] [59]
28	Sreenath Narayan	[67]
29	Chimezie Ogbuji	[65]
30	Christophe Ponsard	[42]
31	William C. Rounds	[8] [12] [16] [18] [19] [20] [21] [22] [23] [24] [27] [34]
32	Satya Sanket Sahoo	[69]
33	Gongqin Shen	[43]
34	Amit P. Sheth	[69]
35	Bin Song	[45]
36	Jeff Stuckman	[39]
37	Jiayang Sun	[43]
38	Jacek Szymanski	[45] [56] [58]
39	Ye Tian	[43] [51]
40	Van Anh Tran	[59]
41	Adam D. Troy	[46] [50] [51]
42	Anthony K. H. Tung	[45]
43	David L. Wilson	[56] [67]
44	Jiong Yang	[45]
45	Guo-Qing Zhang	[40]
46	Songmao Zhang	[65]
47	Shi Zhou	[40]

Colors in the list of coauthors

Last update Sat May 26 02:31:23 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page