The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Yingzhou Zhang: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.035secs, Finished in 0.036secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002