The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Guo-Qiang Zhang: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. Thierry Coquand, Guo-Qiang Zhang
    Sequents, Frames, and Completeness. [Citation Graph (0, 0)][DBLP]
    CSL, 2000, pp:277-291 [Conf]
  3. 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]
  4. 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]
  5. Guo-Qiang Zhang
    Decidable fragments of domain mu-calculus: an automata-theoretic perspective. [Citation Graph (0, 0)][DBLP]
    FICS, 2002, pp:54-57 [Conf]
  6. 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]
  7. Manfred Droste, Guo-Qiang Zhang
    Rational Transformations of Formal Power Series. [Citation Graph (0, 0)][DBLP]
    ICALP, 2001, pp:555-566 [Conf]
  8. Guo-Qiang Zhang
    DI-Domains as Information Systems (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    ICALP, 1989, pp:773-788 [Conf]
  9. Guo-Qiang Zhang
    Disjunctive Systems and L-Domains. [Citation Graph (0, 0)][DBLP]
    ICALP, 1992, pp:284-295 [Conf]
  10. Pascal Hitzler, Guo-Qiang Zhang
    A Cartesian Closed Category of Approximable Concept Structures. [Citation Graph (0, 0)][DBLP]
    ICCS, 2004, pp:170-185 [Conf]
  11. Markus Krötzsch, Pascal Hitzler, Guo-Qiang Zhang
    Morphisms in Context. [Citation Graph (0, 0)][DBLP]
    ICCS, 2005, pp:223-237 [Conf]
  12. Guo-Qiang Zhang, William C. Rounds
    Complexity of Power Default Reasoning. [Citation Graph (0, 0)][DBLP]
    LICS, 1997, pp:328-339 [Conf]
  13. Guo-Qiang Zhang, William C. Rounds
    Power Defaults. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1997, pp:152-169 [Conf]
  14. Guo-Qiang Zhang
    A Monoidal Closed Category of Event Structures. [Citation Graph (0, 0)][DBLP]
    MFPS, 1991, pp:426-435 [Conf]
  15. Guo-Qiang Zhang
    Universal Quasi-Prime Algebraic Domains. [Citation Graph (0, 0)][DBLP]
    MFPS, 1993, pp:454-473 [Conf]
  16. Guo-Qiang Zhang
    Axiomatic Aspects of Default Inference. [Citation Graph (0, 0)][DBLP]
    Paraconsistent Computational Logic, 2002, pp:17-32 [Conf]
  17. William C. Rounds, Guo-Qiang Zhang
    Constraints in Nonmonotonic Reasoning. [Citation Graph (0, 0)][DBLP]
    PPCP, 1993, pp:247-257 [Conf]
  18. 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]
  19. 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]
  20. 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]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. 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]
  26. 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]
  27. Guo-Qiang Zhang
    A Representation of SFP [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1994, v:110, n:1, pp:233-263 [Journal]
  28. 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]
  29. 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]
  30. Guo-Qiang Zhang
    "NP = P?" and restricted partitions. [Citation Graph (0, 0)][DBLP]
    Inf. Sci., 1984, v:32, n:3, pp:231-242 [Journal]
  31. Guo-Qiang Zhang
    Domain µ-calculus. [Citation Graph (0, 0)][DBLP]
    ITA, 2003, v:37, n:4, pp:337-364 [Journal]
  32. 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]
  33. 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]
  34. 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]
  35. 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]
  36. Guo-Qiang Zhang
    Stable Neighbourboods. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1992, v:93, n:1, pp:143-157 [Journal]
  37. 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]
  38. Guo-Qiang Zhang
    Quasi-Prime Algebraic Domains. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1996, v:155, n:1, pp:221-264 [Journal]
  39. 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]
  40. 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]
  41. 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]
  42. 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]
  43. Manfred Droste, Guo-Qiang Zhang
    Bifinite Chu Spaces. [Citation Graph (0, 0)][DBLP]
    CALCO, 2007, pp:179-193 [Conf]
  44. Adam D. Troy, Guo-Qiang Zhang, Ye Tian
    Faster Concept Analysis. [Citation Graph (0, 0)][DBLP]
    ICCS, 2007, pp:206-219 [Conf]
  45. Adam D. Troy, Guo-Qiang Zhang
    Enhancing relevance scoring with chronological term rank. [Citation Graph (0, 0)][DBLP]
    SIGIR, 2007, pp:599-606 [Conf]
  46. Ying Jiang, Guo-Qiang Zhang
    Weakly Distributive Domains. [Citation Graph (0, 0)][DBLP]
    TLCA, 2007, pp:194-206 [Conf]
  47. Guo-Qiang Zhang
    Mediating secure information flow policies. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2007, v:205, n:9, pp:1413-1425 [Journal]

  48. Segmenting and Merging Domain-specific Ontology Modules for Clinical Informatics. [Citation Graph (, )][DBLP]


  49. A Scalable Parametric-RBAC Architecture for the Propagation of a Multi-modality, Multi-resource Informatics System. [Citation Graph (, )][DBLP]


  50. Large-Scale, Exhaustive Lattice-Based Structural Auditing of SNOMED CT. [Citation Graph (, )][DBLP]


  51. Towards "WYDIWYS" for MIMI using concept analysis. [Citation Graph (, )][DBLP]


  52. Case Western Reserve University at the TREC 2006 Enterprise Track. [Citation Graph (, )][DBLP]


  53. Bifinite Chu Spaces. [Citation Graph (, )][DBLP]


  54. A Compact Distance Labeling Scheme for Trees of Small Depths. [Citation Graph (, )][DBLP]


  55. Chinese Internet AS-level Topology [Citation Graph (, )][DBLP]


  56. Mastermind is NP-Complete [Citation Graph (, )][DBLP]


  57. Bifinite Chu Spaces [Citation Graph (, )][DBLP]


  58. A Monoidal Category of Bifinite Chu Spaces. [Citation Graph (, )][DBLP]


  59. Closures in Binary Partial Algebras. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002