Yingzhou Zhang

According to our database, Yingzhou Zhang authored at least 44 papers between 2003 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Clash: Enhancing context-sensitivity in data-flow analysis for mitigating the impact of indirect calls.

Jinyan Xie, Yingzhou Zhang, Mingzhe Hu, Liping Han, Le Yu, Qiuran Ding

J. Syst. Softw., 2026

2021

SymPas: Symbolic Program Slicing.

Yingzhou Zhang

J. Comput. Sci. Technol., 2021

2020

An Anti-Collusion Fingerprinting based on CFF Code and RS Code.

Yuxin Sun, Yingzhou Zhang, Linlin Zhu

Proceedings of the International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery, 2020

Relational Database Watermarking for Data Tracing.

Xi Shen, Yingzhou Zhang, Tianqi Wang, Yuxin Sun

Proceedings of the International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery, 2020

Database Traceability Algorithm Based On Zero Watermark.

Maolin Shen, Yingzhou Zhang, Yunlong Di, Yuxin Sun

Proceedings of the International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery, 2020

Reversible Database Watermarking Based on Random Forest and Genetic Algorithm.

Chonghui Ge, Jian Sun, Yuxin Sun, Yunlong Di, Yongjin Zhu, Linfeng Xie, Yingzhou Zhang

Proceedings of the International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery, 2020

A Database Collusion Detection and Measurement Based on Bloom Filter.

Chonghui Ge, Yunlong Di, Yuxin Sun, Yongjin Zhu, Linfeng Xie, Yingzhou Zhang

Proceedings of the International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery, 2020

2019

Multi-UAV Formation Transformation Based on Improved Heuristically-Accelerated Reinforcement Learning.

Yanbing Xiao, Yingzhou Zhang, Yuxin Sun, Junyan Qian

Proceedings of the 2019 International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery, 2019

Program Slicing Method of LLVM IR Based on Information-Flow Analysis.

Yuxin Sun, Yingzhou Zhang, Junyan Qian

Proceedings of the 2019 International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery, 2019

The Lightweight System for UAV Cooperative Mission Planning Simulation.

Ge Gao, Yingzhou Zhang, Junyan Qian, Yuxin Sun

Proceedings of the 2019 International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery, 2019

A Reinforcement Learning-based Decentralized Method of Avoiding Multi-UAV Collision in 3-D Airspace.

Jian Sun, Yingzhou Zhang

Proceedings of the CSAI 2019: 2019 3rd International Conference on Computer Science and Artificial Intelligence, 2019

2018

A Cooperative Task Assignment Method of Multi-UAV Based on Self Organizing Map.

Shurong Zhu, Yingzhou Zhang, Yang Gao, Fan Wu

Proceedings of the International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery, 2018

Monadic Dynamic Slicing of Object-Oriented Programs.

Bihuan Xu, Junyan Qian, Yingzhou Zhang, Shurong Zhu

Proceedings of the International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery, 2018

Multi-UAV Task Allocation Based on Improved Algorithm of Multi-objective Particle Swarm Optimization.

Yang Gao, Yingzhou Zhang, Shurong Zhu, Yi Sun

Proceedings of the International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery, 2018

2017

A precise monadic dynamic slicing method.

Yingzhou Zhang

Knowl. Based Syst., 2017

Image Hiding Algorithm Based on Secure Steganography Mechanism.

Lian Zhao, Yingzhou Zhang, Xing Wang, Xinghao Chen

Proceedings of the 2017 International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery, 2017

A Binary-Classification Method Based on Dictionary Learning and ADMM for Network Intrusion Detection.

Xiu Yin, Yingzhou Zhang, Xinghao Chen

Proceedings of the 2017 International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery, 2017

Dead Code Detection Method Based on Program Slicing.

Xing Wang, Yingzhou Zhang, Lian Zhao, Xinghao Chen

Proceedings of the 2017 International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery, 2017

2013

Web service publishing and composition based on monadic methods and program slicing.

Yingzhou Zhang, Wei Fu, Hareton K. N. Leung

Knowl. Based Syst., 2013

Clustering facilitated web services discovery model based on supervised term weighting and adaptive metric learning.

Lei Chen, Geng Yang, Wei Zhu, Yingzhou Zhang, Zhen Yang

Int. J. Web Eng. Technol., 2013

Detecting Image Spam Based on K-Labels Propagation Model.

Xiaoyan Qian, Weifeng Zhang, Yingzhou Zhang, Guoqiang Zhou, Ziyuan Wang

Proceedings of the 2013 10th Web Information System and Application Conference, 2013

2012

WSSecTool: A Web Service Security Analysis Tool Based on Program Slicing.

Wei Fu, Yingzhou Zhang, Xianting Zhu, Junyan Qian

Proceedings of the Eighth IEEE World Congress on Services, 2012

2011

Harmonic functions based semi-supervised learning for web spam detection.

Weifeng Zhang, Danmei Zhu, Yingzhou Zhang, Guoqiang Zhou, Baowen Xu

Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

A Formal Model of Service Computing and Its Applications on Service Discovery.

Yingzhou Zhang, Wei Fu, Lei Chen, Bihuan Xu

Proceedings of the IEEE International Conference on Web Services, 2011

monadWS: a monad-based testing tool for web services.

Yingzhou Zhang, Wei Fu, Changhai Nie

Proceedings of the 6th International Workshop on Automation of Software Test, 2011

2010

Program Slicing Based Buffer Overflow Detection.

Yingzhou Zhang, Wei Fu, Xiaofei Qian, Wei Chen

J. Softw. Eng. Appl., 2010

Web Service Generation through Program Slicing.

Yingzhou Zhang, Wei Fu, Geng Yang, Lei Chen, Weifeng Zhang

Int. J. Commun. Netw. Syst. Sci., 2010

Program Slicing Based Web-Service Generation and Composition.

Wei Fu, Yingzhou Zhang, Wei Han, Xiaowei Fan, Geng Yang

Proceedings of the Fifth IEEE International Symposium on Service-Oriented System Engineering, 2010

WordNet-powered Web Services Discovery Using Kernel-Based Similarity Matching Mechanism.

Lei Chen, Geng Yang, Dongrui Wang, Yingzhou Zhang

Proceedings of the Fifth IEEE International Symposium on Service-Oriented System Engineering, 2010

Slicing Concurrent Programs Based on Program Reachability Graphs.

Xiaofang Qi, Xiaoyu Zhou, Xiaojing Xu, Yingzhou Zhang

Proceedings of the 10th International Conference on Quality Software, 2010

2009

GICR: Global Information Based Clustering Routing Mechanism for Wireless Sensor Network.

Geng Yang, Jin-Song Xu, Shengshou Chen, Yingzhou Zhang

Proceedings of the 18th International Conference on Computer Communications and Networks, 2009

2008

The Feasibility of Launching Reduction of Quality (RoQ) Attacks in 802.11 Wireless Networks.

Wei Chen, Yingzhou Zhang, Yuanchun Wei

Proceedings of the 14th International Conference on Parallel and Distributed Systems, 2008

2007

Description Logic Representation for Requirement Specification.

Yingzhou Zhang, Weifeng Zhang

Proceedings of the Computational Science - ICCS 2007, 7th International Conference, Beijing, China, May 27, 2007

Defending Against Jamming Attacks in Wireless Local Area Networks.

Wei Chen, Danwei Chen, Guozi Sun, Yingzhou Zhang

Proceedings of the Autonomic and Trusted Computing, 4th International Conference, 2007

2006

A monadic program slicer.

Yingzhou Zhang, José Emilio Labra Gayo, Agustín Cernuda del Río

ACM SIGPLAN Notices, 2006

Modular Monadic Slicing in the Presence of Pointers.

Zhongqiang Wu, Yingzhou Zhang, Baowen Xu

Proceedings of the Computational Science, 2006

2005

A Slice Monad Transformer and Its Applications in Program Slicing.

Yingzhou Zhang, Baowen Xu

Proceedings of the 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 2005

A Formal Method for Program Slicing.

Yingzhou Zhang, Baowen Xu, José Emilio Labra Gayo

Proceedings of the 16th Australian Software Engineering Conference (ASWEC 2005), 31 March, 2005

2004

A survey of semantic description frameworks for programming languages.

Yingzhou Zhang, Baowen Xu

ACM SIGPLAN Notices, 2004

Retrospect and Prospect of Formal Methods Education in China.

Baowen Xu, Yingzhou Zhang, Yanhui Li

Proceedings of the Teaching Formal Methods, CoLogNET/FME Symposium, 2004

Modular monadic slicing of concurrent programs.

Yingzhou Zhang, Baowen Xu, Ju Qian

Proceedings of the IASTED Conference on Software Engineering and Applications, 2004

Modular Monadic Program Slicing.

Yingzhou Zhang, Baowen Xu, Liang Shi, Bixin Li, Hongji Yang

Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004

2003

CSCW in Design on the Semantic Web.

Dazhou Kang, Baowen Xu, Jianjiang Lu, Yingzhou Zhang

Proceedings of the Grid and Cooperative Computing, Second International Workshop, 2003

Parallel Algorithm for Mining Fuzzy Association Rules.

Baowen Xu, Jianjiang Lu, Yingzhou Zhang, Lei Xu, Huowang Chen, Hongji Yang

Proceedings of the 2nd International Conference on Cyberworlds (CW 2003), 2003