|
Fangping Huang, Manfred Droste and Guo-Qiang Zhang.
A monoidal category of bifinite Chu spaces.
Electronic Notes in Theoretical Computer Science (In Press).
Adam Troy and Guo-Qiang Zhang.
Beyond PubMed and Google Scholar: using vertical digital
library portals to enhance exploratory biomedical literature mining.
Special Issue on Bioinformatics, International Journal of Computational Science
(In Press; Invited Paper).
Adam Troy, Guo-Qiang Zhang.
Enhancing relevance scoring with chronological term rank.
 pdf
SIGIR'07:
Proceedings of the 30th Annual International ACM SIGIR Conference, pages 599-606, 2007.
Jacek Szymanski, David L. Wilson and Guo-Qiang Zhang.
MIMI: Multimodality, Multiresource, Information Integration Environment for
Biomedical Core Facilities.
Journal of Digital Imaging, Springer (In Press: 10.1007/s10278-007-9083-y).
Ying Jiang and Guo-Qiang Zhang.
Weakly distributive domains (II)
Frontiers of Computer Science in China, Vol 1, No. 4, pages 373-384, Springer, 2007.
Adam Troy, Guo-Qiang Zhang and Ye Tian.
Faster concept analysis.
pdf
ICCS'07: 15th International Conference on Conceptual Structures,
Lecture Notes in Artificial Intelligence, Vol. 4604, pages 206-219, 2007.
Guo-Qiang Zhang.
Mediating secure information-flow policies.
pdf
Information and Computation,Vol 205, issue 9, pages 1413-1425, 2007.
Manfred Droste and Guo-Qiang Zhang.
Bifinite Chu spaces.
pdf
CALCO'07: 2nd Conference on Algebra and Coalgebra in Computer Science,
Lecture Notes in Computer Science,
Vol. 4624, pages 179-193, 2007
Ying Jiang and Guo-Qiang Zhang.
Weakly distributive domains.
pdf
TLCA'07: Typed Lambda Calculi and Applications,
Lecture Notes in Computer Science, Vol. 4583, pages 194-206, 2007.
Guo-Qiang Zhang and Gongqin Shen.
Approximable Concepts, Chu spaces, information systems.
pdf
In V. De Paiva and V. Pratt (edts.) Theory and Applications of Categories
Special Volume on Chu Spaces: Theory and Applications, Vol. 17, No. 5, pp. 80-102, 2006.
Pascal Hitzler, Markus Krotzsch, Guo-Qiang Zhang.
A categorical view on algebraic lattices in FCA.
pdf
Fundamenta Informaticae, Volume 74 (2-3), pp. 301 - 328, 2006.
Jeff Stuckman and Guo-Qiang Zhang.
Mastermind is NP-Complete.
pdf
INFOCOMP Journal of Computer Science, Vol 5, pp. 25 - 28, 2006.
Guo-Qiang Zhang, Lee White, C. Hesse, M. Buchner, M. Mehregany.
Roadmap for a departmental website.
pdf
Educause Quarterly, Volume 28, Number 3, 2005.
Guo-Qiang Zhang, Adam D. Troy, Keith Bourgoin.
Bootstrapping ontology learning for
information retrieval using FCA and information anchors.
pdf
14th International Conference on Conceptual Structures, Aalborg, Denmark, July 2006.
Adam D. Troy, Guo-Qiang Zhang, Mehran Mehregany.
Evolution of the Hilton Head Workshop research community.
pdf
Education Technical Digest of Sensors, Actuators and Microsystems Workshop,
Hilton Head, SC, June 2006.
Guo-Qiang Zhang and Ying Jiang.
On an open problem of Amadio and Curien:
the finite antichain condition.
pdf
Information and Computation, Vol. 202, pp. 87 - 103, 2005.
Yixiang Chen and
Guo-Qiang Zhang.
Maximality and totality of stable functions
in the category of stable bifinite domains.
pdf
Computers and Mathematics with Applications,
Vol 51, pp. 1011-1020, 2006.
Guo-Qiang Zhang, Gongqin Shen, Ye Tian, and Jiayang Sun.
Concept analysis as a formal method
for menu design.
Springer Lecture Notes in Computer Science, Vol. 3941
(Proceedings of the 12th International Workshop on
Design, Specification and Verification of Interactive Systems,
Newcastle-upon-Tyne, England, July 13-15, 2005.)
Guo-Qiang Zhang and Devin Tian.
ACOSys: an experimental
system for automated content organization.
Proceedings of the 13th International Conference on Conceptual Structures
July 18-22, 2005, Kassel, Germany.
Markus Krotzsch, Pascal Hitzler, Guo-Qiang Zhang.
Morphisms in Context.
Proceedings of the 13th International Conference on Conceptual Structures
July 18-22, 2005, Kassel, Germany.
Guo-Qiang Zhang and William Rounds.
Reasoning with power defaults.
Theoretical Computer Science, Vol. 323/1-3, pp 321-350, 2004.
Guo-Qiang Zhang, Josh Staiger, Gongqin Shen, Adam Troy, J Sun.
Web-menu design using formal concept analysis.
Position paper. In Pfeiffer Wolff and Delugach (Eds.)
Conceptual Structures at Work, Shaker Verlag, ISBN 3-8322-2950-7, pp 141 - 145, 2004.
Pascal Hitzler and Guo-Qiang Zhang.
A cartesian closed category of approximating concepts.
Proceedings of 12th International Conference on Conceptual Structures, ICCS 2004, Huntsville, AL, July 2004,
Lecture Notes in Artificial Intelligence Vol 3127, pp 170 - 185, 2004.
Guo-Qiang Zhang.
Compact coverages generate spectral frames.
Electronic Notes in Theoretical
Computer Science, Vol. 83, 7 pages, 2004.
Guo-Qiang Zhang.
Chu spaces, concept lattices, and domains.
19th Conference on the Mathematical Foundations of Programming Semantics, Montreal, Canada, March 19-22, 2003,
Electronic Notes in Theoretical Computer Science, Vol. 83, 17 pages, 2004.
(pdf)
Thierry Coquand and Guo-Qiang Zhang.
A representation of stably compact spaces, and patch topology.
Theoretical Computer Science, Vol. 305, pp 77-84, 2003.
Manfred Droste and Guo-Qiang Zhang.
On transformations of formal power series.
Information and Computation, Vol. 184, pp 369-383, 2003.
Guo-Qiang Zhang.
Domain mu-calculus.
Theoretical Informatics and Applications, Vol 37, pp 337 - 364, 2003 (postscript format)
(slides presented at the Summer Topology Conference in DC, July 12, 2003)
Guo-Qiang Zhang.
Logic, semantics and computer science: some fundamental ideas.
Advances in Mathematics, Vol 31, No. 5, October 2002, pages 389-402.
Guo-Qiang Zhang.
Axiomatic aspects of default inference.
In Decker et al. pages 17-32.
Paraconsistent Computational Logic'02,
CoRR (Computing Research Repository).
Guo-Qiang Zhang.
Decidable fragments of domain mu-calculus: an automata-theoretic perspective.
In Esik and Ingolfsdottir, Fixed Points In Computer Science Copenhagen,B Denmark, July 20-21, 2002.
Bill Rounds and Guo-Qiang Zhang.
Clausal logic and logic programming in algebraic domains. [PDF]
Information and Computation vol 171:183-200, December 2001.
T. Coquand and Guo-Qiang Zhang.
Sequents, frames, and completeness.
[Abstract]
[Postscript]
[PDF]
Computer Science Logic 2000,
Lecture Notes in Computer Science, 1862, 277-291.
Guo-Qiang Zhang and Bill Rounds.
Semantics of logic programs and representation of Smyth powerdomain.
[Postscript]
In: (Keimel et al eds.) Domains and Processes,
Kluwer Academic Publishers, 2001, 151-179.
G.-Q. Zhang and L. Smith.
A collection of functional libraries for theory of computation.
Proceedings of the 39th ACM-SE Conference, ACM PRESS, May 2001, 83-90.
M. Droste and G.-Q. Zhang.
Rational transformations of formal power series.
[PDF]
In: Automata, Languages and Programming
(28th ICALP, Crete),
Lecture Notes in Computer Science vol 2076, Springer 2001, 555 - 566.
G.-Q. Zhang and Y. Chen.
A category of graphs.
Journal of Computer Science
and Technology. December 2001.
Eric Klavins, W. Rounds and Guo-Qiang Zhang.
Experimenting with power default reasoning.
[Abstract]
[Postscript]
AAAI'98.
Guo-Qiang Zhang.
Automata, Boolean matrices, and ultimate periodicity.
[Abstract]
[Postscript]
[PDF]
Information and Computation, Vol. 152, Number 1, pages
138-154, July 1999.
W. Rounds
and Guo-Qiang Zhang.
Logical considerations of default semantics.
[Abstract]
[Postscript]
Annals of Mathematics and Artificial Intelligence.
vol 20, 1997, 195-226.
Guo-Qiang Zhang and
W. Rounds.
Nonmonotonic consequences of default domain theory.
[Abstract]
[Postscript]
Annals of Mathematics and Artificial Intelligence.
vol 20,1997, 227-265.
Bill Rounds and Guo-Qiang Zhang.
Clausal logic and logic programming in algebraic domains. [PDF]
Information and Computation vol 171:183-200, December 2001.
Ilaria Castallani and Guo-Qiang Zhang.
Parallel product of event structures.[Abstract][Postscript]
Theoretical Computer Science, vol 179, Issue 1-2, 1997, 203-215.
Guo-Qiang Zhang and W. Rounds.
Defaults in domain theory.[Abstract][Postscript]
Theoretical Computer Science, vol 177, Issue 1, 1997, 155-182.
Guo-Qiang Zhang and E. Rodny Canfield.
The end of pumping?.[Abstract][Postscript]
Theoretical Computer Science, vol 174, Issue 1-2, 1997, 275-279.
Guo-Qiang Zhang and W. Rounds.
Complexity of power default reasoning, (LICS'97)[Abstract][Postscript]
Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science, 328-339, Warsaw, Poland, July 1997.
Guo-Qiang Zhang and W. Rounds.
Reasoning with power defaults (preliminary report) (LPNMR'97).
[Abstract]
[Postscript]
Proceedings of the 4th International Conference on
Logic programming and Non-monotonic Reasoning, 152-169, Dagstuhl, Germany, July 1997.
Guo-Qiang Zhang, W. Rounds, and Chang Huang.
A modal logic for reasoning about belief.[Abstract][Postscript]
Proceedings of the 30th International Conference on System Sciences,
vol V, pages 383-391, Maui, Hawaii, Jan. 1997.
Guo-Qiang Zhang and W. Rounds.
Resolution in the Smyth powerdomain, (MFPS'97).
[Abstract]
[Postscript]
Proceedings of the 13rd International Conference on
Mathematical Foundations of Programming Semantics,
(Carnegie-Mellon University, Pittsburgh, March 1997)
ENTCS, Volume 6.
W. Rounds and Guo-Qiang Zhang.
Lecture Notes on Domain Theory and Nonmonotonic Reasoning.
European Summer School in Logic, Language, and Information
(ESSLLI 97).
[Slides]
Guo-Qiang Zhang.
The largest cartesian closed category of stable domains.
[Abstract]
[Postscript]
Theoretical Computer Science, vol 166, Issue 1-2, 1996, 203-219.
Guo-Qiang Zhang.
Quasi-prime algebraic domains.
Theoretical Computer Science, Vol 155, 1996, 221-264.
W. Rounds and Guo-Qiang Zhang.
Attunement to constraints in nonmonotonic reasoning.
[Abstract]
[Postscript]
Logic, Language, and Computation, vol 1, 479--494.
CSLI Lecture Notes, vol 58, CSLI Publication, Stanford, CA., 1996.
W. Rounds and Guo-Qiang Zhang.
Domain theory meets default logic.
[Abstract]
[Postscript]
Journal of Logic and Computation, vol 5, no.1, 1995, 1-25.
Guo-Qiang Zhang.
Maximal stable functions.
[Abstract]
[Postscript]
Theoretical Computer Science, vol 146, 1995, 331-339.
W. Rounds and Guo-Qiang Zhang.
Suggestions for a nonmonotonic feature logic.
[Abstract]
[Postscript]
CWI Technical Report CS-R9551, ISSN 0169-118X, 1995.
Guo-Qiang Zhang.
A representation of SFP.[Abstract]
[Postscript]
Information and Computation, vol 110, no.1, 1994, 233-263.
Guo-Qiang Zhang.
Universal quasi-prime algebraic domains, (MFPS'94).[Abstract][Postscript]
Proceedings of the 9th International Conference on the Mathematical
Foundations of Programming Semantics, Lecture Notes in Computer Science 802,
Guo-Qiang Zhang.
Some monoidal closed categories of stable domains and event structures.
[Abstract]
[Postscript]
Mathematical Structures in Computer Science, vol 3, 1993, 259--276.
Guo-Qiang Zhang.
DI-domains as prime information systems.
[Abstract]
[Postscript]
Information and Computation, vol 100, 1992, 151-177.
Guo-Qiang Zhang.
Stable neighborhoods.[Abstract]
[Postscript]
Theoretical Computer Science, vol 93, 1992, 143-157.
Guo-Qiang Zhang.
Disjunctive systems and L-domains, (ICALP'92).
[Abstract]
[Postscript]
19th International Colloquium on Automata, Languages,
and Programming, Lecture Notes in Computer Science 623,
1992, pp. 284-295.
Guo-Qiang Zhang.
A monoidal closed category of event structures, (MFPS'91).
Proceedings of the 7th International Conference on the Mathematical
Foundations of Programming Semantics,
Lecture Notes in Computer Science 598, 1991, pp.426--435.
Guo-Qiang Zhang.
DI-domains as information systems, (ICALP'89).
6th International Colloquium on Automata, Languages, and Programming,
Lecture Notes in Computer Science 372, 1989, pp.773-788.
|