 | 2010 |
|---|
| 18 |       | Lingzhong Zhao,
Junyan Qian,
Liang Chang,
Guoyong Cai:
Using ASP for knowledge management with user authorization.
Data Knowl. Eng. 69(8): 737-762 (2010) |
| 2009 |
|---|
| 17 | | Junyan Qian,
Lingzhong Zhao,
Guoyong Cai,
Tianlong Gu:
Automatic Construction of Complete Abstraction by Abstract Interpretation.
ACIS-ICIS 2009: 927-932 |
| 16 | | Guoyong Cai,
Xining Nie,
Yong Huang:
A Fast Hybrid Pattern Matching Algorithm for Biological Sequences.
BMEI 2009: 1-5 |
| 15 | | Bin Hu,
Ji Gao,
Guoyong Cai:
An Autonomous Layered Normative System Framework.
CSIE (4) 2009: 564-568 |
| 14 | | Guoyong Cai,
Baifa Luo,
ZhenRong Deng,
Weizhi Liao:
Policy-Driven Service-Augmented Agents toward Developing Flexible E-business Institution.
NCM 2009: 1990-1995 |
| 13 | | Guoyong Cai,
Lei Shi,
Xin Sui:
Illegal Information Flow Detection in Electronic Institution.
WGEC 2009: 240-243 |
| 12 | | Guoyong Cai,
Junyan Qian,
Ji Gao:
Supervising Mechanism for Contract Based Virtual Organization.
WGEC 2009: 859-862 |
| 2008 |
|---|
| 11 | | Yong Huang,
Lingdi Ping,
Xuezeng Pan,
Guoyong Cai:
A Fast Exact Pattern Matching Algorithm for Biological Sequences.
BMEI (1) 2008: 8-12 |
| 10 | | Guoyong Cai,
Junyan Qian,
Ji Gao,
Yong Huang:
A Formal Framework for Policy-Governed Institutional Agency.
CSSE (3) 2008: 437-440 |
| 9 | | Junyan Qian,
Lingzhong Zhao,
Guoyong Cai,
Tianlong Gu:
Formula-Dependent Abstraction for CTL Model Checking.
ICCSA (2) 2008: 1035-1048 |
| 8 | | Lingzhong Zhao,
Tianlong Gu,
Junyan Qian,
Guoyong Cai:
Test frame updating in CPM testing of Prolog programs.
Software Quality Journal 16(2): 277-298 (2008) |
| 2007 |
|---|
| 7 | | Lingzhong Zhao,
Tianlong Gu,
Junyan Qian,
Guoyong Cai:
A Novel Test Case Generation Method for Prolog Programs Based on Call Patterns Semantics.
APLAS 2007: 105-121 |
| 6 | | Guoyong Cai,
Ji Gao,
Yong Huang:
Modeling electronic institutions with extended colored Petri net.
SNPD (3) 2007: 1072-1077 |
| 2006 |
|---|
| 5 | | Guoyong Cai,
Ji Gao,
Bin Hu:
A Lightweight Approach towards Autonomic Service-Oriented Computing System Development.
APSCC 2006: 392-399 |
| 4 | | Lingzhong Zhao,
Tianlong Gu,
Junyan Qian,
Guoyong Cai:
On the New Application of Call Patterns to CPM Testing of Prolog Programs.
Australian Conference on Artificial Intelligence 2006: 1265-1270 |
| 3 | | Lingzhong Zhao,
Tianlong Gu,
Junyan Qian,
Guoyong Cai:
Designing Prolog Semantics for a Class of Observables.
PRICAI 2006: 1052-1057 |
| 2 |  | Lingzhong Zhao,
Tianlong Gu,
Junyan Qian,
Guoyong Cai:
A Constraint-based Correct Call Pattern Semantics for Prolog as an Abstraction of Decorated Tree Semantics.
SEKE 2006: 359-362 |
| 1 | | Lingzhong Zhao,
Tianlong Gu,
Junyan Qian,
Guoyong Cai:
A Base for Achieving Semantics for Prolog with Cut for Correct Observables.
Software Engineering Research and Practice 2006: 664-670 |
Data released under the ODC-BY 1.0 license — See also our legal information page