2009 |
7 | EE | Yi Guo,
Zhiqing Shao,
Nan Hua:
A Hierarchical Text Clustering Algorithm with Cognitive Situation Dimensions.
WKDD 2009: 11-14 |
6 | EE | Liqiong Chen,
Zhiqing Shao,
Guisheng Fan,
Hanhua Ma:
A Method for Analyzing and Predicting Reliability of BPEL Process.
JSW 4(1): 11-18 (2009) |
2008 |
5 | EE | Liqiong Chen,
Zhiqing Shao,
Guisheng Fan,
Hanhua Ma:
A Petri Net based Method for Analyzing Schedulability of Distributed Real-time Embedded Systems.
JCP 3(12): 35-42 (2008) |
2006 |
4 | | Huiqun Yu,
Dongmei Liu,
Zhiqing Shao,
Xudong He:
Modeling Complex Software Systems Using an Aspect Extension of Object-Z.
SEKE 2006: 11-16 |
2005 |
3 | EE | Qingtao Wu,
Zhiqing Shao:
Network Anomaly Detection Using Time Series Analysis.
ICAS/ICNS 2005: 42 |
2002 |
2 | EE | David R. Musser,
Zhiqing Shao:
Concept Use or Concept Refinement: An Important Distinction in Building Generic Specifications.
ICFEM 2002: 132-143 |
1998 |
1 | EE | Zhiqing Shao,
Yongqiang Sun,
Guoxin Song,
Huiqun Yu:
Proving Inductive Theorems Using Witnessed Test Sets.
ICFEM 1998: 158-164 |