| 2007 |
|---|
| 12 | EE | Wei Chen,
Danwei Chen,
Guozi Sun,
Yingzhou Zhang:
Defending Against Jamming Attacks in Wireless Local Area Networks.
ATC 2007: 519-528 |
| 11 | EE | Yingzhou Zhang,
Weifeng Zhang:
Description Logic Representation for Requirement Specification.
International Conference on Computational Science (2) 2007: 1147-1154 |
| 2006 |
|---|
| 10 | EE | Zhongqiang Wu,
Yingzhou Zhang,
Baowen Xu:
Modular Monadic Slicing in the Presence of Pointers.
International Conference on Computational Science (4) 2006: 748-756 |
| 9 | EE | Yingzhou Zhang,
José Emilio Labra Gayo,
Agustín Cernuda del Río:
A monadic program slicer.
SIGPLAN Notices 41(5): 30-38 (2006) |
| 2005 |
|---|
| 8 | EE | Yingzhou Zhang,
Baowen Xu,
José Emilio Labra Gayo:
A Formal Method for Program Slicing.
Australian Software Engineering Conference 2005: 140-148 |
| 7 | EE | Yingzhou Zhang,
Baowen Xu:
A Slice Monad Transformer and Its Applications in Program Slicing.
ICECCS 2005: 147-154 |
| 2004 |
|---|
| 6 | EE | Yingzhou Zhang,
Baowen Xu,
Liang Shi,
Bixin Li,
Hongji Yang:
Modular Monadic Program Slicing.
COMPSAC 2004: 66-71 |
| 5 | | Yingzhou Zhang,
Baowen Xu,
Ju Qian:
Modular monadic slicing of concurrent programs.
IASTED Conf. on Software Engineering and Applications 2004: 583-587 |
| 4 | EE | Baowen Xu,
Yingzhou Zhang,
Yanhui Li:
Retrospect and Prospect of Formal Methods Education in China.
TFM 2004: 225-234 |
| 3 | EE | Yingzhou Zhang,
Baowen Xu:
A survey of semantic description frameworks for programming languages.
SIGPLAN Notices 39(3): 14-30 (2004) |
| 2003 |
|---|
| 2 | EE | Baowen Xu,
Jianjiang Lu,
Yingzhou Zhang,
Lei Xu,
Huowang Chen,
Hongji Yang:
Parallel Algorithm for Mining Fuzzy Association Rules.
CW 2003: 288-293 |
| 1 | EE | Dazhou Kang,
Baowen Xu,
Jianjiang Lu,
Yingzhou Zhang:
CSCW in Design on the Semantic Web.
GCC (2) 2003: 736-743 |
