2008 |
13 | EE | Wei Chen,
Yingzhou Zhang,
Yuanchun Wei:
The Feasibility of Launching Reduction of Quality (RoQ) Attacks in 802.11 Wireless Networks.
ICPADS 2008: 517-524 |
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 |