A Probabilistic Model Checking Approach to Analysing Reliability, Availability, and Maintainability of a Single Satellite System. - Zhaoguang Peng; Yu Lu 001; Alice Miller 001; Chris W. Johnson 001; Tingdi Zhao (EMS, 2013)

Improving the Information Security Management: An Industrial Study in the Privacy of Electronic Patient Records. - Ying He 004; Chris W. Johnson 001; Yu Lu 001; Yixia Lin (CBMS, 2014)

Availability Analysis of Satellite Positioning Systems for Aviation Using the PRISM Model Checker. - Yu Lu 001; Alice Miller 001; Chris W. Johnson 001; Zhaoguang Peng; Tingdi Zhao (CSE, 2014)

Improving the Exchange of Lessons Learned in Security Incident Reports: Case Studies in the Privacy of Electronic Patient Records. - Ying He 004; Chris W. Johnson 001; Yu Lu 001; Arniyati Ahmad (IFIPTM, 2014)

Towards the Computation of a Nash Equilibrium. - Yu Lu 001; Ying He 004 (ISNN, 2014)

A Dynamic Programming Approach to the Rank Aggregation Problem. - Yu Lu 001; Ying He 004 (UKSim, 2014)

Formal modelling and quantitative analysis of satellite navigation systems. - Zhaoguang Peng; Yu Lu 001; Alice Miller 001; Chris W. Johnson 001; Tingdi Zhao (CoRR, 2014)

How reliable is satellite navigation for aviation? Checking availability properties with probabilistic verification. - Yu Lu 001; Zhaoguang Peng; Alice Miller 001; Tingdi Zhao; Chris W. Johnson 001 (Reliab. Eng. Syst. Saf., 2015)

Towards the Automated Verification of Weibull Distributions for System Failure Rates. - Yu Lu 001; Alice A. Miller; Ruth Hoffmann; Christopher W. Johnson 001 (FMICS-AVoCS, 2016)

Uncertainty analysis of phased mission systems with probabilistic timed automata. - Zhaoguang Peng; Yu Lu 001; Alice Miller 001 (ICPHM, 2016)

Risk Assessment of Railway Transportation Systems using Timed Fault Trees. - Zhaoguang Peng; Yu Lu 001; Alice Miller 001; Chris W. Johnson 001; Tingdi Zhao (Qual. Reliab. Eng. Int., 2016)

Formal Specification and Quantitative Analysis of a Constellation of Navigation Satellites. - Zhaoguang Peng; Yu Lu 001; Alice Miller 001; Tingdi Zhao; Chris W. Johnson 001 (Qual. Reliab. Eng. Int., 2016)

Probabilistic verification of satellite systems for mission critical applications. - Yu Lu 001 (2016)

Development of Wearable Pulse Oximeter Based on Internet of Things and Signal Processing Techniques. - Yuyang Xie; Yongjie Gao; Yuchun Li; Yu Lu 001; Weixi Li (EMS, 2017)

Computerised Interpretation Systems for Cardiotocography for Both Home and Hospital Uses. - Yu Lu 001; Yongjie Gao; Yuyang Xie; Shunan He (CBMS, 2018)

Ensemble Machine Learning for Estimating Fetal Weight at Varying Gestational Age. - Yu Lu 001; Xi Zhang; Xianghua Fu; Fangxiong Chen; Kelvin Kian Loong Wong (AAAI, 2019)

A framework for intelligent analysis of digital cardiotocographic signals from IoMT-based foetal monitoring. - Yu Lu 001; Yingjian Qi; Xianghua Fu (Future Gener. Comput. Syst., 2019)

Semi-supervised Aspect-level Sentiment Classification Model based on Variational Autoencoder. - Xianghua Fu; Yanzhi Wei; Fan Xu; Ting Wang; Yu Lu 001; Jianqiang Li 001; Joshua Zhexue Huang (Knowl. Based Syst., 2019)

Cardiac Chamber Segmentation Using Deep Learning on Magnetic Resonance Images from Patients Before and After Atrial Septal Occlusion Surgery. - Yu Lu 001; Xianghua Fu; Xiaoqing Li 005; Yingjian Qi (EMBC, 2020)

Prediction of fetal weight at varying gestational age in the absence of ultrasound examination using ensemble learning. - Yu Lu 001; Xianghua Fu; Fangxiong Chen; Kelvin Kian Loong Wong (Artif. Intell. Medicine, 2020)

A novel U-Net approach to segment the cardiac chamber in magnetic resonance images with ghost artifacts. - Ming Zhao 007; Wei Yang; Yu Lu 001; Kelvin Kian Loong Wong (Comput. Methods Programs Biomed., 2020)

Automatic feature extraction in X-ray image based on deep learning approach for determination of bone age. - Xu Chen; Jianjun Li; Yanchao Zhang; Yu Lu 001; Shaoyu Liu (Future Gener. Comput. Syst., 2020)

Estimation of the foetal heart rate baseline based on singular spectrum analysis and empirical mode decomposition. - Yu Lu 001; Xi Zhang; Liwen Jing; Xiaoqing Li 005; Xianghua Fu (Future Gener. Comput. Syst., 2020)

Data Enhancement and Deep Learning for Bone Age Assessment using The Standards of Skeletal Maturity of Hand and Wrist for Chinese. - Yu Lu 001; Xi Zhang; Liwen Jing; Xianghua Fu (EMBC, 2021)

Lung Cancer Detection using a Dilated CNN with VGG16. - Yu Lu 001; Huanwen Liang; Shijie Shi; Xianghua Fu (SPML, 2021)

Recognition of rock images and quantification of oil content using deep residual neural networks. - Jiyuan Wang; Zichao Lin; Zibin Feng; Yu Lu 001; Shijie Shi (SPML, 2021)

GBRAMP: A generalized backtracking regularized adaptive matching pursuit algorithm for signal reconstruction. - Mojisola Grace Asogbon; Yu Lu 001; Oluwarotimi Williams Samuel; Liwen Jing; Alice A. Miller; Guanglin Li 001; Kelvin Kian Loong Wong (Comput. Electr. Eng., 2021)

Comparative analysis of active contour and convolutional neural network in rapid left-ventricle volume quantification using echocardiographic imaging. - Xiliang Zhu; Wei Yang; Yu Lu 001; Ming Zhao 007; Ke Yang; Shiqian Wu; Hui Zhang; Kelvin Kian Loong Wong (Comput. Methods Programs Biomed., 2021)

An improved AlexNet model for automated skeletal maturity assessment using hand X-ray images. - Ming He; Xudong Zhao; Yu Lu 001; Yi Hu (Future Gener. Comput. Syst., 2021)

Building the Internet of Things platform for smart maternal healthcare services with wearable devices and cloud computing. - Xiaoqing Li 005; Yu Lu 001; Xianghua Fu; Yingjian Qi (Future Gener. Comput. Syst., 2021)

Optimal Sales Strategies for Electric Vehicles Based on Big Data Analytics. - Yuqi Hu; Yu Lu 001 (DSIT, 2022)

Fully Automatic Classification of Cardiotocographic Signals with 1D-CNN and Bi-directional GRU. - Huanwen Liang; Yu Lu 001; Qianying Liu; Xianghua Fu (EMBC, 2022)

Hybrid Model-based Defect Analysis of Thermoelectric Cooler Components. - Yu Lu 001; Weifang Xie; Jianlong Huang (ICPRAM, 2022)

Deep learning-based automatic segmentation of images in cardiac radiography: A promising challenge. - Yucheng Song; Shengbing Ren; Yu Lu 001; Xianghua Fu; Kelvin Kian Loong Wong (Comput. Methods Programs Biomed., 2022)

Topic sentiment analysis using words embeddings dependency in edge social system. - Wenhao Xie; Xianghua Fu; Xi Zhang; Yu Lu 001; Yanzhi Wei; Jingying Yang (Trans. Emerg. Telecommun. Technol., 2022)

Segment Anything Model (SAM) for Medical Image Segmentation: A Preliminary Review. - Leying Zhang; Xiaokang Deng; Yu Lu 001 (BIBM, 2023)

Detection of Atrial Fibrillation based on Feature Fusion using Attention-based BiLSTM. - Weifang Xie; Cang Chen; Ruijie Zhao 009; Yu Lu 001 (EMBC, 2023)

Deep Learning for Cardiotocography Analysis: Challenges and Promising Advances. - Cang Chen; Weifang Xie; Zhiqi Cai; Yu Lu 001 (ICIC (2), 2023)

MT-1DCG: A Novel Model for Multivariate Time Series Classification. - Yu Lu 001; Huanwen Liang; Zichang Yu; Xianghua Fu (ICIC (2), 2023)

A CNN-RNN unified framework for intrapartum cardiotocograph classification. - Huanwen Liang; Yu Lu 001 (Comput. Methods Programs Biomed., 2023)

Comparative study of neonatal brain injury fetuses using machine learning methods for perinatal data. - Qingjun Cao; Hongzan Sun; Hua Wang; Xueyan Liu 013; Yu Lu 001; Liang Huo (Comput. Methods Programs Biomed., 2023)

FHRDiff: Leveraging Diffusion Models for Conditional Fetal Heart Rate Signal Generation. - Xiaoqing Li 005; Yu Lu 001; Kee Yuan Ngiam; Zichang Yu; Mohammad Shaheryar Furqan (BIBM, 2024)

CvTGNet: A Novel Framework for Chest X-Ray Multi-label Classification. - Yu Lu 001; Yating Hu; Leya Li; Zhanpeng Xu; Hongwei Liu; Huanwen Liang; Xianghua Fu (CF, 2024)

MSEU-Net: A Multi-Scale Deep Learning Framework for Precise FHR Baseline Determination. - Leya Li; Yu Lu 001 (CF, 2024)

Formal Verification of Path Planning Safety and Reachability in Unmanned Surface Vehicles. - Yu Lu 001; Pan Sun; Shijie Shi; Meng Li; Huilin Ge (ICIC (LNAI 5), 2024)

YOLO-Underwater: A Real-Time Object Detection Framework for Enhanced Underwater Robotics Operations. - Weifang Xie; Cang Chen; Zhiqi Cai; Mengting Zhuang; Jingying Yu; Huilin Ge; Yu Lu 001 (ICIC (LNAI 5), 2024)

Intuitive UAV Operation: A Novel Dataset and Benchmark for Multi-Distance Gesture Recognition. - Zhenpeng Xu; Pan Sun; Yu Lu 001; Huilin Ge; Meng Li; Yingjian Qi (IJCNN, 2024)

CTGGAN: Reliable Fetal Heart Rate Signal Generation Using GANs. - Zichang Yu; Yating Hu; Yu Lu 001; Leya Li; Huilin Ge; Xianghua Fu (IJCNN, 2024)

AMRUNet: An Attention-Guided MultiResUNet for Continuous Noninvasive Blood Pressure Estimation. - Ruijie Zhao 009; Yu Lu 001; Leya Li; Huilin Ge; Xianghua Fu (IJCNN, 2024)

LAGNet: Label Attention Graph Networks for Ocular Disease Classification Using Fundus Images. - Huanwen Liang; Leya Li; Yu Lu 001; Qianying Liu; Huilin Ge; Xianghua Fu (ISBI, 2024)

Compressed Sensing Signal Reconstruction for Real-Time Machine Vision Systems. - Yu Lu 001; Pufan Cai; Jingying Yu; Shijie Shi; Meng Li; Huilin Ge; Xianghua Fu (SMC, 2024)

AI-driven paradigm shift in computerized cardiotocography analysis: A systematic review and promising directions. - Weifang Xie; Pufan Cai; Yating Hu; Yu Lu 001; Cang Chen; Zhiqi Cai; Xianghua Fu (Neurocomputing, 2024)

CTGDiff: A Conditional Diffusion Model for Cardiotocography Signal Synthesis. - Xiaoqing Li 005; Pufan Cai; Yu Lu 001; Shijie Shi; Liangkun Ma; Xianghua Fu (ICASSP, 2025)

A Deep Learning Model for Surface Defect Detection in Thermoelectric Cooler Components. - Wenbin Feng; Yu Lu 001; Shijie Shi; Meng Li; Huilin Ge (ICIC (16), 2025)

A new dataset, model, and benchmark for lightweight and real-time underwater object detection. - Huilin Ge; Pan Sun; Yu Lu 001 (Neurocomputing, 2025)

MSL-Net: A lightweight self-supervised multi-task framework for IoMT-enabled medical image segmentation and landmark localization. - Yu Lu 001; Zhanpeng Xu; Kai-Leung Yung; Wai Hung Ip (Internet Things, 2025)