Wai Wong

ORCID

Publication Activity (10 Years)

Years Active: 1993-2024
Publications (10 Years): 8

Top Venues

Transp. Sci.

IEEE Trans. Intell. Transp. Syst.

CoRR

IEEE Trans. Biomed. Circuits Syst.

University of Warwick, Coventry, UK (PHD)

Education History

University of Warwick, Coventry, UK

PHD

Publications

Ning Guo, Wai Wong, Rui Jiang, Sze Chun Wong, Qing-Yi Hao, Chao-Yun Wu
Bicycle Flow Dynamics of Cyclist Loading and Unloading Processes at Bottlenecks. Transp. Sci. 58 (2) (2024)
Shaocheng Jia, Sze Chun Wong, Wai Wong
Uncertainty Estimation of Connected Vehicle Penetration Rate. Transp. Sci. 57 (5) (2023)
Shaocheng Jia, Yuzhe Cai, Xin Pei, Zi Yang, Wai Wong, Sze Chun Wong
Exploitation of String Stability to Predict Disturbance-triggered Platoon Collisions in Mixed Traffic Comprising Automated and Conventional Vehicles. ITSC (2023)
Yan Zhao, Wai Wong, Jianfeng Zheng, Henry X. Liu
Maximum Likelihood Estimation of Probe Vehicle Penetration Rates and Queue Length Distributions From Probe Vehicle Data. IEEE Trans. Intell. Transp. Syst. 23 (7) (2022)
Yiheng Feng, Shihong Ed Huang, Wai Wong, Qi Alfred Chen, Z. Morley Mao, Henry X. Liu
On the Cybersecurity of Traffic Signal Control System With Connected Vehicles. IEEE Trans. Intell. Transp. Syst. 23 (9) (2022)
Shihong Ed Huang, Wai Wong, Yiheng Feng, Qi Alfred Chen, Z. Morley Mao, Henry X. Liu
Impact Evaluation of Falsified Data Attacks on Connected Vehicle Based Traffic Signal Control. CoRR (2020)
Wai Wong, Sze Chun Wong
Unbiased Estimation Methods of Nonlinear Transport Models Based on Linearly Projected Data. Transp. Sci. 53 (3) (2019)
Carlos Christoffersen, Wai Wong, Samuel Pichardo, Greg Togtema, Laura Curiel
Class-DE Ultrasound Transducer Driver for HIFU Therapy. IEEE Trans. Biomed. Circuits Syst. 10 (2) (2016)
Wai Wong, Carlos Christoffersen, Samuel Pichardo, Laura Curiel
An integrated ultrasound transducer driver for HIFU applications. CCECE (2013)
Karl R. P. H. Leung, Wai Wong, Joseph Kee-Yin Ng
Generating test cases from class vectors. J. Syst. Softw. 66 (1) (2003)
Calvin Kin-Cheung Hui, Joseph Kee-Yin Ng, Wai Wong, Karl R. P. H. Leung
The Implementation of a Multi-Server Distributed MPEG Video System. IEEE Real Time Technology and Applications Symposium (2001)
Joseph Kee-Yin Ng, Calvin Kin-Cheung Hui, Wai Wong
A multi-server design for a distributed MPEG video system with streaming support and QoS control. RTCSA (2000)
Karl R. P. H. Leung, Wai Wong
Deriving test cases using class vectors. APSEC (2000)
Karl R. P. H. Leung, Wai Wong
Towards a More Efficient Way of Generating Test Cases: Class Graphs. APAQS (2000)
Wai Wong
Validation of HOL Proofs by Proof Checking. Formal Methods Syst. Des. 14 (2) (1999)
Wai Wong
Recording and Checking HOL Proofs. TPHOLs (1995)
Wai Wong
Modelling Bit Vectors in HOL: the word library. HUG (1993)

Wai Wong.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Wai Wong