 | 2009 |
|---|
| 13 |       | Min Yuan,
Zhiqiu Huang,
Fangxiong Xiao:
Modeling and Analysis of Flexible Transaction for Web Services.
ICWS 2009: 1008-1009 |
| 12 | | Fangxiong Xiao,
Zhiqiu Huang,
Zining Cao,
Jun Hu,
LinYuan Liu:
Modeling Cost-Aware Web Services Composition Using PTCCS.
ICWS 2009: 461-468 |
| 11 | | Min Yuan,
Zhiqiu Huang,
Jun Hu,
Xiang Li,
Yi Zhu:
Ensuring Coordination of Multi-business Interactions.
IEEE SCC 2009: 356-363 |
| 10 |  | Min Yuan,
Zhiqiu Huang,
Jian Zhao,
Xiang Li:
Modeling and Verification of Automatic Multi-business Transactions.
SEKE 2009: 274-279 |
| 2008 |
|---|
| 9 | | Junhua Zhang,
Zhiqiu Huang,
Zining Cao,
Fangxiong Xiao:
Counterexample Generation for Probabilistic Timed Automata Model Checking.
CSSE (2) 2008: 210-214 |
| 8 | | Fangxiong Xiao,
Zhiqiu Huang,
Jun Hu,
Min Yuan,
Junhua Zhang:
Support Web Services Composition with Optimal Cost Using PPA.
ICWS 2008: 760-761 |
| 7 | | Hang Zhou,
Zhiqiu Huang,
Yi Zhu:
Polymorphism Sequence Diagrams Test Data Automatic Generation Based on OCL.
ICYCS 2008: 1235-1240 |
| 6 | | Xiaodong Zhu,
Zhiqiu Huang,
Guohua Shen:
Description Logic Based Consistency Checking upon Data Mining Metadata.
RSKT 2008: 475-482 |
| 5 | | Xiaodong Zhu,
Zhiqiu Huang:
Conceptual modeling rules extracting for data streams.
Knowl.-Based Syst. 21(8): 934-940 (2008) |
| 2007 |
|---|
| 4 | | Xiaodong Zhu,
Zhiqiu Huang,
Shuqun Yang,
Guohua Shen:
Fuzzy Implication Methods in Fuzzy Logic.
FSKD (1) 2007: 154-158 |
| 3 | | Guohua Shen,
Zhiqiu Huang,
Xiaodong Zhu,
Lei Wang,
Gaoyou Xiang:
Using Description Logics Reasoner for Ontology Matching.
IITA 2007: 30-33 |
| 2006 |
|---|
| 2 | | Xiaofei Zhao,
Zhiqiu Huang:
A Formal Framework for Reasoning on Metadata Based on CWM.
ER 2006: 371-384 |
| 1 | | Guohua Shen,
Zhiqiu Huang,
Xiaodong Zhu,
Xiaofei Zhao:
Research on the Rules of Mapping from Relational Model to OWL.
OWLED 2006 |
