Yingzhou Zhang

47 papers A 1B 5C 2Misc 4Journal 11Unranked 24

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