An MTBDD-Based Implementation of Forward Reachability for Probabilistic Timed Automata. - Fuzhi Wang; Marta Z. Kwiatkowska (ATVA, 2005)

Symbolic model checking for probabilistic timed automata. - Marta Z. Kwiatkowska; Gethin Norman; Jeremy Sproston; Fuzhi Wang (Inf. Comput., 2007)

Clustering high dimensional data streams based on N-most interesting itemsets mining. - Fujiang Ao; Jing Du; Jingyi Yu; Fuzhi Wang; Qiong Wang (FSKD, 2013)

Stereo Matching Using Iterative Dynamic Programming Based on Color Segmentation of Images. - Fuzhi Wang; Changlin Song; Qiang Du (J. Comput., 2014)

A new correction method of the blockage on a rectangular antenna based on numerical simulation. - Qiang Du; Fuzhi Wang; Fuyin Du (Int. J. Comput. Sci. Eng., 2016)

The function and quality of individual epidemic prevention and control apps during the COVID-19 pandemic: A systematic review of Chinese apps. - Yanyan Fan; Zhuoxin Wang; Shanshan Deng; Hekai Lv; Fuzhi Wang (Int. J. Medical Informatics, 2022)

Semantic Image Segmentation Based on Superpixel-Pooling DCNN With Random Walks on Graph and Application to Intrusion Detection of Railway. - Fuzhi Wang; Changlin Song (IEEE Access, 2024)

Workload prediction based on improved error correlation logistic regression algorithm and Cross-TRCN of spatiotemporal neural network. - Xin Wan; Xiang Huang; Fuzhi Wang (Int. J. Netw. Manag., 2025)