dblp.uni-trier.dewww.uni-trier.de

Guo-Qiang Zhang Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
55EERemo 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
54EEJie Dai, Remo Mueller, Jacek Szymanski, Guo-Qiang Zhang: Towards "WYDIWYS" for MIMI using concept analysis. SAC 2009: 91-97
2008
53EEFang-Ping Huang, Manfred Droste, Guo-Qiang Zhang: A Monoidal Category of Bifinite Chu Spaces. Electr. Notes Theor. Comput. Sci. 212: 285-297 (2008)
2007
52EEManfred Droste, Guo-Qiang Zhang: Bifinite Chu Spaces. CAI 2007: 73-74
51EEManfred Droste, Guo-Qiang Zhang: Bifinite Chu Spaces. CALCO 2007: 179-193
50EEAdam D. Troy, Guo-Qiang Zhang, Ye Tian: Faster Concept Analysis. ICCS 2007: 206-219
49EEAdam D. Troy, Guo-Qiang Zhang: Enhancing relevance scoring with chronological term rank. SIGIR 2007: 599-606
48EEYing Jiang, Guo-Qiang Zhang: Weakly Distributive Domains. TLCA 2007: 194-206
47EEYing Jiang, Guo-Qiang Zhang: Weakly distributive domains (II). Frontiers of Computer Science in China 1(4): 373-384 (2007)
46EEGuo-Qiang Zhang: Mediating secure information flow policies. Inf. Comput. 205(9): 1413-1425 (2007)
2006
45EEAdam D. Troy, Guo-Qiang Zhang: Case Western Reserve University at the TREC 2006 Enterprise Track. TREC 2006
44EEBin 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)
43EEPascal 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
42EEGuo-Qiang Zhang, Gongqin Shen, Ye Tian, Jiayang Sun: Concept Analysis as a Formal Method for Menu Design. DSV-IS 2005: 173-187
41EEDominic 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
40EEMarkus Krötzsch, Pascal Hitzler, Guo-Qiang Zhang: Morphisms in Context. ICCS 2005: 223-237
39EEShi Zhou, Guo-Qiang Zhang, Guo-Qing Zhang: Chinese Internet AS-level Topology CoRR abs/cs/0511101: (2005)
38EEJeff Stuckman, Guo-Qiang Zhang: Mastermind is NP-Complete CoRR abs/cs/0512049: (2005)
37EEGuo-Qiang Zhang, Ying Jiang: On an open problem of Amadio and Curien: The finite antichain condition. Inf. Comput. 202(1): 87-103 (2005)
2004
36EEPascal Hitzler, Guo-Qiang Zhang: A Cartesian Closed Category of Approximable Concept Structures. ICCS 2004: 170-185
35EEPascal Hitzler, Markus Krötzsch, Guo-Qiang Zhang: A Categorical View on Algebraic Lattices in Formal Concept Analysis CoRR cs.OH/0410065: (2004)
34EEGuo-Qiang Zhang, William C. Rounds: Reasoning with power defaults. Theor. Comput. Sci. 323(1-3): 321-350 (2004)
2003
33EEGuo-Qiang Zhang: Domain µ-calculus. ITA 37(4): 337-364 (2003)
32EEManfred Droste, Guo-Qiang Zhang: On transformations of formal power series. Inf. Comput. 184(2): 369-383 (2003)
31EEThierry 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
29EEGuo-Qiang Zhang: Axiomatic Aspects of Default Inference. Paraconsistent Computational Logic 2002: 17-32
2001
28EEManfred Droste, Guo-Qiang Zhang: Rational Transformations of Formal Power Series. ICALP 2001: 555-566
27EEWilliam C. Rounds, Guo-Qiang Zhang: Clausal Logic and Logic Programming in Algebraic Domains. Inf. Comput. 171(2): 183-200 (2001)
2000
26EEThierry 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
23EEGuo-Qiang Zhang, Chang Huang, William C. Rounds: A Modal Logic for Reasoning about Belief. HICSS (5) 1997: 383-
22EEGuo-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)
18EEGuo-Qiang Zhang, William C. Rounds: Resolution in the Smyth powerdomain. Electr. Notes Theor. Comput. Sci. 6: (1997)
17EEGuo-Qiang Zhang, E. Rodney Canfield: The End of Pumping? Theor. Comput. Sci. 174(1-2): 275-279 (1997)
16EEGuo-Qiang Zhang, William C. Rounds: Defaults in Domain Theory. Theor. Comput. Sci. 177(1): 155-182 (1997)
15EEIlaria Castellani, Guo-Qiang Zhang: Parallel Product of Event Structures. Theor. Comput. Sci. 179(1-2): 203-215 (1997)
1996
14EEGuo-Qiang Zhang: Quasi-Prime Algebraic Domains. Theor. Comput. Sci. 155(1): 221-264 (1996)
13EEGuo-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)
11EEGuo-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
9EEGuo-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
6EEGuo-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
3EEGuo-Qiang Zhang: A Monoidal Closed Category of Event Structures. MFPS 1991: 426-435
1989
2EEGuo-Qiang Zhang: DI-Domains as Information Systems (Extended Abstract). ICALP 1989: 773-788
1984
1EEGuo-Qiang Zhang: "NP = P?" and restricted partitions. Inf. Sci. 32(3): 231-242 (1984)

Coauthor Index

1E. Rodney Canfield [17]
2Ilaria Castellani [15]
3Guangyu Chen [44]
4Jeong-Hyeon Choi [44]
5Thierry Coquand [26] [31]
6Jie Dai [54]
7Alan J. Dix [41]
8Manfred Droste [28] [32] [51] [52] [53]
9Dominic Furniss [41]
10Pascal Hitzler [35] [36] [40] [43]
11Chang Huang [23]
12Fang-Ping Huang [53]
13Ying Jiang [37] [47] [48]
14Jaewoo Kang [44]
15Sun Kim [44]
16Eric Klavins [24]
17Markus Krötzsch [35] [40] [43]
18Remo Mueller [54] [55]
19Christophe Ponsard [41]
20William C. Rounds [8] [12] [16] [18] [19] [20] [21] [22] [23] [24] [27] [34]
21Gongqin Shen [42]
22Bin Song [44]
23Jeff Stuckman [38]
24Jiayang Sun [42]
25Jacek Szymanski [44] [54]
26Ye Tian [42] [50]
27Van Anh Tran [55]
28Adam D. Troy [45] [49] [50]
29Anthony K. H. Tung [44]
30Jiong Yang [44]
31Guo-Qing Zhang [39]
32Shi Zhou [39]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)