|
Search the dblp DataBase
Guo-Qiang Zhang:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Eric Klavins, William C. Rounds, Guo-Qiang Zhang
Experimenting with Power Default Reasoning. [Citation Graph (0, 0)][DBLP] AAAI/IAAI, 1998, pp:846-852 [Conf]
- Thierry Coquand, Guo-Qiang Zhang
Sequents, Frames, and Completeness. [Citation Graph (0, 0)][DBLP] CSL, 2000, pp:277-291 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] DSV-IS, 2005, pp:265- [Conf]
- Guo-Qiang Zhang, Gongqin Shen, Ye Tian, Jiayang Sun
Concept Analysis as a Formal Method for Menu Design. [Citation Graph (0, 0)][DBLP] DSV-IS, 2005, pp:173-187 [Conf]
- Guo-Qiang Zhang
Decidable fragments of domain mu-calculus: an automata-theoretic perspective. [Citation Graph (0, 0)][DBLP] FICS, 2002, pp:54-57 [Conf]
- Guo-Qiang Zhang, Chang Huang, William C. Rounds
A Modal Logic for Reasoning about Belief. [Citation Graph (0, 0)][DBLP] HICSS (5), 1997, pp:383-0 [Conf]
- Manfred Droste, Guo-Qiang Zhang
Rational Transformations of Formal Power Series. [Citation Graph (0, 0)][DBLP] ICALP, 2001, pp:555-566 [Conf]
- Guo-Qiang Zhang
DI-Domains as Information Systems (Extended Abstract). [Citation Graph (0, 0)][DBLP] ICALP, 1989, pp:773-788 [Conf]
- Guo-Qiang Zhang
Disjunctive Systems and L-Domains. [Citation Graph (0, 0)][DBLP] ICALP, 1992, pp:284-295 [Conf]
- Pascal Hitzler, Guo-Qiang Zhang
A Cartesian Closed Category of Approximable Concept Structures. [Citation Graph (0, 0)][DBLP] ICCS, 2004, pp:170-185 [Conf]
- Markus Krötzsch, Pascal Hitzler, Guo-Qiang Zhang
Morphisms in Context. [Citation Graph (0, 0)][DBLP] ICCS, 2005, pp:223-237 [Conf]
- Guo-Qiang Zhang, William C. Rounds
Complexity of Power Default Reasoning. [Citation Graph (0, 0)][DBLP] LICS, 1997, pp:328-339 [Conf]
- Guo-Qiang Zhang, William C. Rounds
Power Defaults. [Citation Graph (0, 0)][DBLP] LPNMR, 1997, pp:152-169 [Conf]
- Guo-Qiang Zhang
A Monoidal Closed Category of Event Structures. [Citation Graph (0, 0)][DBLP] MFPS, 1991, pp:426-435 [Conf]
- Guo-Qiang Zhang
Universal Quasi-Prime Algebraic Domains. [Citation Graph (0, 0)][DBLP] MFPS, 1993, pp:454-473 [Conf]
- Guo-Qiang Zhang
Axiomatic Aspects of Default Inference. [Citation Graph (0, 0)][DBLP] Paraconsistent Computational Logic, 2002, pp:17-32 [Conf]
- William C. Rounds, Guo-Qiang Zhang
Constraints in Nonmonotonic Reasoning. [Citation Graph (0, 0)][DBLP] PPCP, 1993, pp:247-257 [Conf]
- William C. Rounds, Guo-Qiang Zhang
Logical Considerations on Default Semantics. [Citation Graph (0, 0)][DBLP] Ann. Math. Artif. Intell., 1997, v:20, n:1-4, pp:195-226 [Journal]
- Guo-Qiang Zhang, William C. Rounds
Nonmonotonic Consequences in Default Domain Theory. [Citation Graph (0, 0)][DBLP] Ann. Math. Artif. Intell., 1997, v:20, n:1-4, pp:227-265 [Journal]
- 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. [Citation Graph (0, 0)][DBLP] Bioinformatics, 2006, v:22, n:19, pp:2326-2332 [Journal]
- Pascal Hitzler, Markus Krötzsch, Guo-Qiang Zhang
A Categorical View on Algebraic Lattices in Formal Concept Analysis [Citation Graph (0, 0)][DBLP] CoRR, 2004, v:0, n:, pp:- [Journal]
- Guo-Qiang Zhang, William C. Rounds
Resolution in the Smyth powerdomain. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1997, v:6, n:, pp:- [Journal]
- Pascal Hitzler, Markus Krötzsch, Guo-Qiang Zhang
A Categorical View on Algebraic Lattices in Formal Concept Analysis. [Citation Graph (0, 0)][DBLP] Fundam. Inform., 2006, v:74, n:2-3, pp:301-328 [Journal]
- Manfred Droste, Guo-Qiang Zhang
On transformations of formal power series. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2003, v:184, n:2, pp:369-383 [Journal]
- William C. Rounds, Guo-Qiang Zhang
Clausal Logic and Logic Programming in Algebraic Domains. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2001, v:171, n:2, pp:183-200 [Journal]
- Guo-Qiang Zhang
dI-Domains as Prime Information Systems [Citation Graph (0, 0)][DBLP] Inf. Comput., 1992, v:100, n:2, pp:151-177 [Journal]
- Guo-Qiang Zhang
A Representation of SFP [Citation Graph (0, 0)][DBLP] Inf. Comput., 1994, v:110, n:1, pp:233-263 [Journal]
- Guo-Qiang Zhang
Automata, Boolean Matrices, and Ultimate Periodicity. [Citation Graph (0, 0)][DBLP] Inf. Comput., 1999, v:152, n:1, pp:138-154 [Journal]
- Guo-Qiang Zhang, Ying Jiang
On an open problem of Amadio and Curien: The finite antichain condition. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2005, v:202, n:1, pp:87-103 [Journal]
- Guo-Qiang Zhang
"NP = P?" and restricted partitions. [Citation Graph (0, 0)][DBLP] Inf. Sci., 1984, v:32, n:3, pp:231-242 [Journal]
- Guo-Qiang Zhang
Domain µ-calculus. [Citation Graph (0, 0)][DBLP] ITA, 2003, v:37, n:4, pp:337-364 [Journal]
- William C. Rounds, Guo-Qiang Zhang
Domain Theory Meets Default Logic. [Citation Graph (0, 0)][DBLP] J. Log. Comput., 1995, v:5, n:1, pp:1-25 [Journal]
- Guo-Qiang Zhang
Some Monoidal Closed Categories of Stable Domains and Event Structures. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 1993, v:3, n:2, pp:259-276 [Journal]
- Ilaria Castellani, Guo-Qiang Zhang
Parallel Product of Event Structures. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1997, v:179, n:1-2, pp:203-215 [Journal]
- Thierry Coquand, Guo-Qiang Zhang
A representation of stably compact spaces, and patch topology. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2003, v:305, n:1-3, pp:77-84 [Journal]
- Guo-Qiang Zhang
Stable Neighbourboods. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1992, v:93, n:1, pp:143-157 [Journal]
- Guo-Qiang Zhang
On Maximal Stable Functions. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1995, v:146, n:1&2, pp:331-339 [Journal]
- Guo-Qiang Zhang
Quasi-Prime Algebraic Domains. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1996, v:155, n:1, pp:221-264 [Journal]
- Guo-Qiang Zhang
The Largest Cartesian Closed Category of Stable Domains. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1996, v:166, n:1&2, pp:203-219 [Journal]
- Guo-Qiang Zhang, E. Rodney Canfield
The End of Pumping? [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1997, v:174, n:1-2, pp:275-279 [Journal]
- Guo-Qiang Zhang, William C. Rounds
Reasoning with power defaults. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2004, v:323, n:1-3, pp:321-350 [Journal]
- Guo-Qiang Zhang, William C. Rounds
Defaults in Domain Theory. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1997, v:177, n:1, pp:155-182 [Journal]
- Manfred Droste, Guo-Qiang Zhang
Bifinite Chu Spaces. [Citation Graph (0, 0)][DBLP] CALCO, 2007, pp:179-193 [Conf]
- Adam D. Troy, Guo-Qiang Zhang, Ye Tian
Faster Concept Analysis. [Citation Graph (0, 0)][DBLP] ICCS, 2007, pp:206-219 [Conf]
- Adam D. Troy, Guo-Qiang Zhang
Enhancing relevance scoring with chronological term rank. [Citation Graph (0, 0)][DBLP] SIGIR, 2007, pp:599-606 [Conf]
- Ying Jiang, Guo-Qiang Zhang
Weakly Distributive Domains. [Citation Graph (0, 0)][DBLP] TLCA, 2007, pp:194-206 [Conf]
- Guo-Qiang Zhang
Mediating secure information flow policies. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2007, v:205, n:9, pp:1413-1425 [Journal]
Segmenting and Merging Domain-specific Ontology Modules for Clinical Informatics. [Citation Graph (, )][DBLP]
A Scalable Parametric-RBAC Architecture for the Propagation of a Multi-modality, Multi-resource Informatics System. [Citation Graph (, )][DBLP]
Large-Scale, Exhaustive Lattice-Based Structural Auditing of SNOMED CT. [Citation Graph (, )][DBLP]
Towards "WYDIWYS" for MIMI using concept analysis. [Citation Graph (, )][DBLP]
Case Western Reserve University at the TREC 2006 Enterprise Track. [Citation Graph (, )][DBLP]
Bifinite Chu Spaces. [Citation Graph (, )][DBLP]
A Compact Distance Labeling Scheme for Trees of Small Depths. [Citation Graph (, )][DBLP]
Chinese Internet AS-level Topology [Citation Graph (, )][DBLP]
Mastermind is NP-Complete [Citation Graph (, )][DBLP]
Bifinite Chu Spaces [Citation Graph (, )][DBLP]
A Monoidal Category of Bifinite Chu Spaces. [Citation Graph (, )][DBLP]
Closures in Binary Partial Algebras. [Citation Graph (, )][DBLP]
Search in 0.035secs, Finished in 0.487secs
|