| 2008 |
|---|
| 9 | EE | Junhua Zhang,
Zhiqiu Huang,
Zining Cao,
Fangxiong Xiao:
Counterexample Generation for Probabilistic Timed Automata Model Checking.
CSSE (2) 2008: 210-214 |
| 8 | EE | Fangxiong Xiao,
Zhiqiu Huang,
Jun Hu,
Min Yuan,
Junhua Zhang:
Support Web Services Composition with Optimal Cost Using PPA.
ICWS 2008: 760-761 |
| 7 | EE | Hang Zhou,
Zhiqiu Huang,
Yi Zhu:
Polymorphism Sequence Diagrams Test Data Automatic Generation Based on OCL.
ICYCS 2008: 1235-1240 |
| 6 | EE | Xiaodong Zhu,
Zhiqiu Huang,
Guohua Shen:
Description Logic Based Consistency Checking upon Data Mining Metadata.
RSKT 2008: 475-482 |
| 5 | EE | Xiaodong Zhu,
Zhiqiu Huang:
Conceptual modeling rules extracting for data streams.
Knowl.-Based Syst. 21(8): 934-940 (2008) |
| 2007 |
|---|
| 4 | EE | Xiaodong Zhu,
Zhiqiu Huang,
Shuqun Yang,
Guohua Shen:
Fuzzy Implication Methods in Fuzzy Logic.
FSKD (1) 2007: 154-158 |
| 3 | EE | Guohua Shen,
Zhiqiu Huang,
Xiaodong Zhu,
Lei Wang,
Gaoyou Xiang:
Using Description Logics Reasoner for Ontology Matching.
IITA 2007: 30-33 |
| 2006 |
|---|
| 2 | EE | Xiaofei Zhao,
Zhiqiu Huang:
A Formal Framework for Reasoning on Metadata Based on CWM.
ER 2006: 371-384 |
| 1 | EE | Guohua Shen,
Zhiqiu Huang,
Xiaodong Zhu,
Xiaofei Zhao:
Research on the Rules of Mapping from Relational Model to OWL.
OWLED 2006 |
