A precise monadic dynamic slicing method von Zhang, Yingzhou

Volltext

A novel formal approach to program slicing von Zhang, YingZhou

Volltext

High toughness, ultra-sensitive, and extreme environment resistant fabric temperature sensors based on supramolecular-polymer dual network ionic conductive elastomers von Chen, Ziyan, Lu, Lu, Zhang, Yingzhou, Sun, Haijun, Fan, Kaiqi, Zhang, Bao, Song, Jian

Volltext

Development of a simple and sensitive HPLC-DAD method for quantification of vitamin B12 fortified in infant food von Fan, Dingyan, Zhang, Yingzhou, Wu, Haiping

Volltext

Efficient degradation of tetracycline by Mn(III)-microbial complexes mediated by mnOx@ACF in sequencing batch reactors: performance, mechanism, and effect on microbial community st... von Zhou, Huo, Xiao, Lixi, Deng, Yuwei, Wang, Rongling, Li, Qiang, Ye, Yuxuan, Pei, Xuanyuan, Sun, Lei, Zhang, Yingzhou, Pan, Fei

Volltext

Modular Monadic Slicing in the Presence of Pointers von Wu, Zhongqiang, Zhang, Yingzhou, Xu, Baowen

Volltext

The Feasibility of Launching Reduction of Quality (RoQ) Attacks in 802.11 Wireless Networks von Wei Chen, Yingzhou Zhang, Yuanchun Wei

Volltext

SymPas: Symbolic Program Slicing von Zhang, Yingzhou

Volltext bestellen

Web service publishing and composition based on monadic methods and program slicing von Zhang, Yingzhou, Fu, Wei, Leung, H.K.N.

Volltext

Survey of Interprocedural Flow-sensitive Pointer Analysis Technology von Shuai, Dongxin, Ge, Lili, Xie, Jinyan, Zhang, Yingzhou, Xue, Yuchuan, Yang, Jiayi, Mi, Jie, Lu, Yue

Volltext

Monadically slicing programs with procedures von Zhang, Yingzhou, Zhang, Weifeng

Volltext

Retrospect and Prospect of Formal Methods Education in China von Xu, Baowen, Zhang, Yingzhou, Li, Yanhui

Volltext

Detecting Image Spam Based on K-Labels Propagation Model von Xiaoyan Qian, Weifeng Zhang, Yingzhou Zhang, Guoqiang Zhou, Ziyuan Wang

Volltext bestellen

A formal method for program slicing von Yingzhou Zhang, Baowen Xu, Labra Gayo, J.E.

Volltext

WSSecTool: A Web Service Security Analysis Tool Based on Program Slicing von Wei Fu, Yingzhou Zhang, Xianting Zhu, Junyan Qian

Volltext

Automatic telescopic drawer cabinet structure von ZHANG YINGZHOU

Volltext bestellen

WordNet-powered Web Services Discovery Using Kernel-Based Similarity Matching Mechanism von Lei Chen, Geng Yang, Dongrui Wang, Yingzhou Zhang

Volltext bestellen

A Formal Model of Service Computing and Its Applications on Service Discovery von Yingzhou Zhang, Wei Fu, Lei Chen, Bihuan Xu

Volltext bestellen

Program Slicing Based Web Service Publishing and Discovery von Wei Fu, Yingzhou Zhang, Wuji Sun, Geng Yang

Volltext bestellen

Slicing Concurrent Programs Based on Program Reachability Graphs von Xiaofang Qi, Xiaoyu Zhou, Xiaojing Xu, Yingzhou Zhang

Volltext