default search action
Yingzhou Zhang
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2021
- [j8]Yingzhou Zhang:
SymPas: Symbolic Program Slicing. J. Comput. Sci. Technol. 36(2): 397-418 (2021) - 2020
- [c35]Yuxin Sun, Yingzhou Zhang, Linlin Zhu:
An Anti-Collusion Fingerprinting based on CFF Code and RS Code. CyberC 2020: 56-63 - [c34]Xi Shen, Yingzhou Zhang, Tianqi Wang, Yuxin Sun:
Relational Database Watermarking for Data Tracing. CyberC 2020: 224-231 - [c33]Chonghui Ge, Yunlong Di, Yuxin Sun, Yongjin Zhu, Linfeng Xie, Yingzhou Zhang:
A Database Collusion Detection and Measurement Based on Bloom Filter. CyberC 2020: 232-238 - [c32]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: 239-247 - [c31]Maolin Shen, Yingzhou Zhang, Yunlong Di, Yuxin Sun:
Database Traceability Algorithm Based On Zero Watermark. CyberC 2020: 254-259
2010 – 2019
- 2019
- [c30]Jian Sun, Yingzhou Zhang:
A Reinforcement Learning-based Decentralized Method of Avoiding Multi-UAV Collision in 3-D Airspace. CSAI 2019: 77-82 - [c29]Yanbing Xiao, Yingzhou Zhang, Yuxin Sun, Junyan Qian:
Multi-UAV Formation Transformation Based on Improved Heuristically-Accelerated Reinforcement Learning. CyberC 2019: 341-347 - [c28]Ge Gao, Yingzhou Zhang, Junyan Qian, Yuxin Sun:
The Lightweight System for UAV Cooperative Mission Planning Simulation. CyberC 2019: 371-374 - [c27]Yuxin Sun, Yingzhou Zhang, Junyan Qian:
Program Slicing Method of LLVM IR Based on Information-Flow Analysis. CyberC 2019: 383-390 - [i1]Yingzhou Zhang:
SymPas: Symbolic Program Slicing. CoRR abs/1903.05333 (2019) - 2018
- [c26]Yang Gao, Yingzhou Zhang, Shurong Zhu, Yi Sun:
Multi-UAV Task Allocation Based on Improved Algorithm of Multi-objective Particle Swarm Optimization. CyberC 2018 - [c25]Bihuan Xu, Junyan Qian, Yingzhou Zhang, Shurong Zhu:
Monadic Dynamic Slicing of Object-Oriented Programs. CyberC 2018 - [c24]Shurong Zhu, Yingzhou Zhang, Yang Gao, Fan Wu:
A Cooperative Task Assignment Method of Multi-UAV Based on Self Organizing Map. CyberC 2018 - 2017
- [j7]Yingzhou Zhang:
A precise monadic dynamic slicing method. Knowl. Based Syst. 115: 40-54 (2017) - [c23]Lian Zhao, Yingzhou Zhang, Xing Wang, Xinghao Chen:
Image Hiding Algorithm Based on Secure Steganography Mechanism. CyberC 2017: 122-129 - [c22]Xing Wang, Yingzhou Zhang, Lian Zhao, Xinghao Chen:
Dead Code Detection Method Based on Program Slicing. CyberC 2017: 155-158 - [c21]Xiu Yin, Yingzhou Zhang, Xinghao Chen:
A Binary-Classification Method Based on Dictionary Learning and ADMM for Network Intrusion Detection. CyberC 2017: 326-333 - 2013
- [j6]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): 58-80 (2013) - [j5]Yingzhou Zhang, Wei Fu, Hareton K. N. Leung:
Web service publishing and composition based on monadic methods and program slicing. Knowl. Based Syst. 37: 296-304 (2013) - [c20]Xiaoyan Qian, Weifeng Zhang, Yingzhou Zhang, Guoqiang Zhou, Ziyuan Wang:
Detecting Image Spam Based on K-Labels Propagation Model. IEEE WISA 2013: 170-175 - 2012
- [c19]Wei Fu, Yingzhou Zhang, Xianting Zhu, Junyan Qian:
WSSecTool: A Web Service Security Analysis Tool Based on Program Slicing. SERVICES 2012: 179-183 - 2011
- [c18]Yingzhou Zhang, Wei Fu, Changhai Nie:
monadWS: a monad-based testing tool for web services. AST 2011: 111-112 - [c17]Yingzhou Zhang, Wei Fu, Lei Chen, Bihuan Xu:
A Formal Model of Service Computing and Its Applications on Service Discovery. ICWS 2011: 710-711 - [c16]Weifeng Zhang, Danmei Zhu, Yingzhou Zhang, Guoqiang Zhou, Baowen Xu:
Harmonic functions based semi-supervised learning for web spam detection. SAC 2011: 74-75 - 2010
- [j4]Yingzhou Zhang, Wei Fu, Geng Yang, Lei Chen, Weifeng Zhang:
Web Service Generation through Program Slicing. Int. J. Commun. Netw. Syst. Sci. 3(11): 877-887 (2010) - [j3]Yingzhou Zhang, Wei Fu, Xiaofei Qian, Wei Chen:
Program Slicing Based Buffer Overflow Detection. J. Softw. Eng. Appl. 3(10): 965-971 (2010) - [c15]Xiaofang Qi, Xiaoyu Zhou, Xiaojing Xu, Yingzhou Zhang:
Slicing Concurrent Programs Based on Program Reachability Graphs. QSIC 2010: 248-253 - [c14]Lei Chen, Geng Yang, Dongrui Wang, Yingzhou Zhang:
WordNet-powered Web Services Discovery Using Kernel-Based Similarity Matching Mechanism. SOSE 2010: 64-68 - [c13]Wei Fu, Yingzhou Zhang, Wei Han, Xiaowei Fan, Geng Yang:
Program Slicing Based Web-Service Generation and Composition. SOSE 2010: 189-192
2000 – 2009
- 2009
- [c12]Geng Yang, Jin-Song Xu, Shengshou Chen, Yingzhou Zhang:
GICR: Global Information Based Clustering Routing Mechanism for Wireless Sensor Network. ICCCN 2009: 1-6 - 2008
- [c11]Wei Chen, Yingzhou Zhang, Yuanchun Wei:
The Feasibility of Launching Reduction of Quality (RoQ) Attacks in 802.11 Wireless Networks. ICPADS 2008: 517-524 - 2007
- [c10]Wei Chen, Danwei Chen, Guozi Sun, Yingzhou Zhang:
Defending Against Jamming Attacks in Wireless Local Area Networks. ATC 2007: 519-528 - [c9]Yingzhou Zhang, Weifeng Zhang:
Description Logic Representation for Requirement Specification. International Conference on Computational Science (2) 2007: 1147-1154 - 2006
- [j2]Yingzhou Zhang, José Emilio Labra Gayo, Agustín Cernuda del Río:
A monadic program slicer. ACM SIGPLAN Notices 41(5): 30-38 (2006) - [c8]Zhongqiang Wu, Yingzhou Zhang, Baowen Xu:
Modular Monadic Slicing in the Presence of Pointers. International Conference on Computational Science (4) 2006: 748-756 - 2005
- [c7]Yingzhou Zhang, Baowen Xu, José Emilio Labra Gayo:
A Formal Method for Program Slicing. Australian Software Engineering Conference 2005: 140-148 - [c6]Yingzhou Zhang, Baowen Xu:
A Slice Monad Transformer and Its Applications in Program Slicing. ICECCS 2005: 147-154 - 2004
- [j1]Yingzhou Zhang, Baowen Xu:
A survey of semantic description frameworks for programming languages. ACM SIGPLAN Notices 39(3): 14-30 (2004) - [c5]Yingzhou Zhang, Baowen Xu, Liang Shi, Bixin Li, Hongji Yang:
Modular Monadic Program Slicing. COMPSAC 2004: 66-71 - [c4]Yingzhou Zhang, Baowen Xu, Ju Qian:
Modular monadic slicing of concurrent programs. IASTED Conf. on Software Engineering and Applications 2004: 583-587 - [c3]Baowen Xu, Yingzhou Zhang, Yanhui Li:
Retrospect and Prospect of Formal Methods Education in China. TFM 2004: 225-234 - 2003
- [c2]Baowen Xu, Jianjiang Lu, Yingzhou Zhang, Lei Xu, Huowang Chen, Hongji Yang:
Parallel Algorithm for Mining Fuzzy Association Rules. CW 2003: 288-293 - [c1]Dazhou Kang, Baowen Xu, Jianjiang Lu, Yingzhou Zhang:
CSCW in Design on the Semantic Web. GCC (2) 2003: 736-743
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:52 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint