Yingzhou Zhang

Publication Activity (10 Years)

Years Active: 2003-2021
Publications (10 Years): 18

Top Topics

Program Slicing

Reinforcement Learning

Top Venues

Knowl. Based Syst.

Publications

Yingzhou Zhang
SymPas: Symbolic Program Slicing. J. Comput. Sci. Technol. 36 (2) (2021)
Chonghui Ge, Jian Sun, Yuxin Sun, Yunlong Di, Yongjin Zhu, Linfeng Xie, Yingzhou Zhang
Reversible Database Watermarking Based on Random Forest and Genetic Algorithm. CyberC (2020)
Yuxin Sun, Yingzhou Zhang, Linlin Zhu
An Anti-Collusion Fingerprinting based on CFF Code and RS Code. CyberC (2020)
Maolin Shen, Yingzhou Zhang, Yunlong Di, Yuxin Sun
Database Traceability Algorithm Based On Zero Watermark. CyberC (2020)
Chonghui Ge, Yunlong Di, Yuxin Sun, Yongjin Zhu, Linfeng Xie, Yingzhou Zhang
A Database Collusion Detection and Measurement Based on Bloom Filter. CyberC (2020)
Xi Shen, Yingzhou Zhang, Tianqi Wang, Yuxin Sun
Relational Database Watermarking for Data Tracing. CyberC (2020)
Yuxin Sun, Yingzhou Zhang, Junyan Qian
Program Slicing Method of LLVM IR Based on Information-Flow Analysis. CyberC (2019)
Ge Gao, Yingzhou Zhang, Junyan Qian, Yuxin Sun
The Lightweight System for UAV Cooperative Mission Planning Simulation. CyberC (2019)
Jian Sun, Yingzhou Zhang
A Reinforcement Learning-based Decentralized Method of Avoiding Multi-UAV Collision in 3-D Airspace. CSAI (2019)
Yingzhou Zhang
SymPas: Symbolic Program Slicing. CoRR (2019)
Yanbing Xiao, Yingzhou Zhang, Yuxin Sun, Junyan Qian
Multi-UAV Formation Transformation Based on Improved Heuristically-Accelerated Reinforcement Learning. CyberC (2019)
Yang Gao, Yingzhou Zhang, Shurong Zhu, Yi Sun
Multi-UAV Task Allocation Based on Improved Algorithm of Multi-objective Particle Swarm Optimization. CyberC (2018)
Shurong Zhu, Yingzhou Zhang, Yang Gao, Fan Wu
A Cooperative Task Assignment Method of Multi-UAV Based on Self Organizing Map. CyberC (2018)
Bihuan Xu, Junyan Qian, Yingzhou Zhang, Shurong Zhu
Monadic Dynamic Slicing of Object-Oriented Programs. CyberC (2018)
Lian Zhao, Yingzhou Zhang, Xing Wang, Xinghao Chen
Image Hiding Algorithm Based on Secure Steganography Mechanism. CyberC (2017)
Xiu Yin, Yingzhou Zhang, Xinghao Chen
A Binary-Classification Method Based on Dictionary Learning and ADMM for Network Intrusion Detection. CyberC (2017)
Xing Wang, Yingzhou Zhang, Lian Zhao, Xinghao Chen
Dead Code Detection Method Based on Program Slicing. CyberC (2017)
Yingzhou Zhang
A precise monadic dynamic slicing method. Knowl. Based Syst. 115 (2017)
Yingzhou Zhang, Wei Fu, Hareton K. N. Leung
Web service publishing and composition based on monadic methods and program slicing. Knowl. Based Syst. 37 (2013)
Xiaoyan Qian, Weifeng Zhang, Yingzhou Zhang, Guoqiang Zhou, Ziyuan Wang
Detecting Image Spam Based on K-Labels Propagation Model. IEEE WISA (2013)
Lei Chen, Geng Yang, Wei Zhu, Yingzhou Zhang, Zhen Yang
Clustering facilitated web services discovery model based on supervised term weighting and adaptive metric learning. Int. J. Web Eng. Technol. 8 (1) (2013)
Wei Fu, Yingzhou Zhang, Xianting Zhu, Junyan Qian
WSSecTool: A Web Service Security Analysis Tool Based on Program Slicing. SERVICES (2012)
Yingzhou Zhang, Wei Fu, Changhai Nie
monadWS: a monad-based testing tool for web services. AST (2011)
Weifeng Zhang, Danmei Zhu, Yingzhou Zhang, Guoqiang Zhou, Baowen Xu
Harmonic functions based semi-supervised learning for web spam detection. SAC (2011)
Yingzhou Zhang, Wei Fu, Lei Chen, Bihuan Xu
A Formal Model of Service Computing and Its Applications on Service Discovery. ICWS (2011)
Yingzhou Zhang, Wei Fu, Geng Yang, Lei Chen, Weifeng Zhang
Web Service Generation through Program Slicing. Int. J. Commun. Netw. Syst. Sci. 3 (11) (2010)
Lei Chen, Geng Yang, Dongrui Wang, Yingzhou Zhang
WordNet-powered Web Services Discovery Using Kernel-Based Similarity Matching Mechanism. SOSE (2010)
Yingzhou Zhang, Wei Fu, Xiaofei Qian, Wei Chen
Program Slicing Based Buffer Overflow Detection. J. Softw. Eng. Appl. 3 (10) (2010)
Xiaofang Qi, Xiaoyu Zhou, Xiaojing Xu, Yingzhou Zhang
Slicing Concurrent Programs Based on Program Reachability Graphs. QSIC (2010)
Wei Fu, Yingzhou Zhang, Wei Han, Xiaowei Fan, Geng Yang
Program Slicing Based Web-Service Generation and Composition. SOSE (2010)
Geng Yang, Jin-Song Xu, Shengshou Chen, Yingzhou Zhang
GICR: Global Information Based Clustering Routing Mechanism for Wireless Sensor Network. ICCCN (2009)
Wei Chen, Yingzhou Zhang, Yuanchun Wei
The Feasibility of Launching Reduction of Quality (RoQ) Attacks in 802.11 Wireless Networks. ICPADS (2008)
Yingzhou Zhang, Weifeng Zhang
Description Logic Representation for Requirement Specification. International Conference on Computational Science (2) (2007)
Wei Chen, Danwei Chen, Guozi Sun, Yingzhou Zhang
Defending Against Jamming Attacks in Wireless Local Area Networks. ATC (2007)
Yingzhou Zhang, José Emilio Labra Gayo, Agustín Cernuda del Río
A monadic program slicer. ACM SIGPLAN Notices 41 (5) (2006)
Zhongqiang Wu, Yingzhou Zhang, Baowen Xu
Modular Monadic Slicing in the Presence of Pointers. International Conference on Computational Science (4) (2006)
Yingzhou Zhang, Baowen Xu, José Emilio Labra Gayo
A Formal Method for Program Slicing. Australian Software Engineering Conference (2005)
Yingzhou Zhang, Baowen Xu
A Slice Monad Transformer and Its Applications in Program Slicing. ICECCS (2005)
Yingzhou Zhang, Baowen Xu, Liang Shi, Bixin Li, Hongji Yang
Modular Monadic Program Slicing. COMPSAC (2004)
Yingzhou Zhang, Baowen Xu, Ju Qian
Modular monadic slicing of concurrent programs. IASTED Conf. on Software Engineering and Applications (2004)
Yingzhou Zhang, Baowen Xu
A survey of semantic description frameworks for programming languages. ACM SIGPLAN Notices 39 (3) (2004)
Baowen Xu, Yingzhou Zhang, Yanhui Li
Retrospect and Prospect of Formal Methods Education in China. TFM (2004)
Baowen Xu, Jianjiang Lu, Yingzhou Zhang, Lei Xu, Huowang Chen, Hongji Yang
Parallel Algorithm for Mining Fuzzy Association Rules. CW (2003)
Dazhou Kang, Baowen Xu, Jianjiang Lu, Yingzhou Zhang
CSCW in Design on the Semantic Web. GCC (2) (2003)