A formal theory of railway track networks in higher-order logic and its applications in interlocking design. - Wai Wong (1992)

Modelling Bit Vectors in HOL: the word library. - Wai Wong (HUG, 1993)

Recording and Checking HOL Proofs. - Wai Wong (TPHOLs, 1995)

Validation of HOL Proofs by Proof Checking. - Wai Wong (Formal Methods Syst. Des., 1999)

Towards a More Efficient Way of Generating Test Cases: Class Graphs. - Karl R. P. H. Leung; Wai Wong (APAQS, 2000)

Deriving test cases using class vectors. - Karl R. P. H. Leung; Wai Wong (APSEC, 2000)

A multi-server design for a distributed MPEG video system with streaming support and QoS control. - Joseph Kee-Yin Ng; Calvin Kin-Cheung Hui; Wai Wong (RTCSA, 2000)

The Implementation of a Multi-Server Distributed MPEG Video System. - Calvin Kin-Cheung Hui; Joseph Kee-Yin Ng; Wai Wong; Karl R. P. H. Leung (IEEE Real Time Technology and Applications Symposium, 2001)

Generating test cases from class vectors. - Karl R. P. H. Leung; Wai Wong; Joseph Kee-Yin Ng (J. Syst. Softw., 2003)

An integrated ultrasound transducer driver for HIFU applications. - Wai Wong; Carlos Christoffersen; Samuel Pichardo; Laura Curiel (CCECE, 2013)

Class-DE Ultrasound Transducer Driver for HIFU Therapy. - Carlos Christoffersen; Wai Wong; Samuel Pichardo; Greg Togtema; Laura Curiel (IEEE Trans. Biomed. Circuits Syst., 2016)

Estimation of Scaling Factors for Traffic Counts Based on Stationary and Mobile Sources of Data. - Fanyu Meng; Sze Chun Wong; Wai Wong; Y. C. Li (Int. J. Intell. Transp. Syst. Res., 2017)

Unbiased Estimation Methods of Nonlinear Transport Models Based on Linearly Projected Data. - Wai Wong; Sze Chun Wong (Transp. Sci., 2019)

Impact Evaluation of Falsified Data Attacks on Connected Vehicle Based Traffic Signal Control. - Shihong Ed Huang; Wai Wong; Yiheng Feng; Qi Alfred Chen; Z. Morley Mao; Henry X. Liu (CoRR, 2020)

Maximum Likelihood Estimation of Probe Vehicle Penetration Rates and Queue Length Distributions From Probe Vehicle Data. - Yan Zhao 011; Wai Wong; Jianfeng Zheng; Henry X. Liu (IEEE Trans. Intell. Transp. Syst., 2022)

On the Cybersecurity of Traffic Signal Control System With Connected Vehicles. - Yiheng Feng; Shihong Ed Huang; Wai Wong; Qi Alfred Chen; Z. Morley Mao; Henry X. Liu (IEEE Trans. Intell. Transp. Syst., 2022)

Exploitation of String Stability to Predict Disturbance-triggered Platoon Collisions in Mixed Traffic Comprising Automated and Conventional Vehicles. - Shaocheng Jia; Yuzhe Cai; Xin Pei; Zi Yang; Wai Wong; Sze Chun Wong (ITSC, 2023)

Uncertainty Estimation of Connected Vehicle Penetration Rate. - Shaocheng Jia; Sze Chun Wong; Wai Wong (Transp. Sci., 2023)

Bicycle Flow Dynamics of Cyclist Loading and Unloading Processes at Bottlenecks. - Ning Guo; Wai Wong; Rui Jiang 008; Sze Chun Wong; Qing-Yi Hao; Chao-Yun Wu (Transp. Sci., 2024)