dblp.uni-trier.dewww.uni-trier.de

Zhiqing Shao

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
7EEYi Guo, Zhiqing Shao, Nan Hua: A Hierarchical Text Clustering Algorithm with Cognitive Situation Dimensions. WKDD 2009: 11-14
6EELiqiong Chen, Zhiqing Shao, Guisheng Fan, Hanhua Ma: A Method for Analyzing and Predicting Reliability of BPEL Process. JSW 4(1): 11-18 (2009)
2008
5EELiqiong 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
3EEQingtao Wu, Zhiqing Shao: Network Anomaly Detection Using Time Series Analysis. ICAS/ICNS 2005: 42
2002
2EEDavid R. Musser, Zhiqing Shao: Concept Use or Concept Refinement: An Important Distinction in Building Generic Specifications. ICFEM 2002: 132-143
1998
1EEZhiqing Shao, Yongqiang Sun, Guoxin Song, Huiqun Yu: Proving Inductive Theorems Using Witnessed Test Sets. ICFEM 1998: 158-164

Coauthor Index

1Liqiong Chen [5] [6]
2Guisheng Fan [5] [6]
3Yi Guo [7]
4Xudong He [4]
5Nan Hua [7]
6Dongmei Liu [4]
7Hanhua Ma [5] [6]
8David R. Musser [2]
9Guoxin Song [1]
10Yongqiang Sun [1]
11Qingtao Wu [3]
12Huiqun Yu [1] [4]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)