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