Search the dblp DataBase

Publications of Author

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