Wai Wong

According to our database, Wai Wong authored at least 22 papers between 1992 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Traffic Dynamics of Vehicles Passing Each Other on Bidirectional Undivided Narrow Roads.

Ning Guo, Wai Wong, Rui Jiang, Sze Chun Wong

Transp. Sci., 2025

A Novel Hybrid Induction Model for Traffic State Estimation of Arbitrary-Shaped Missing Area with Physical Constraints.

Bicheng Xu, Lu Bai, Wai Wong, Pan Liu, Yongtao Li

Proceedings of the 28th IEEE International Conference on Intelligent Transportation Systems, 2025

2024

Bicycle Flow Dynamics of Cyclist Loading and Unloading Processes at Bottlenecks.

Ning Guo, Wai Wong, Rui Jiang, Sze Chun Wong, Qing-Yi Hao, Chao-Yun Wu

Transp. Sci., 2024

"Must" people reason logically with "permission" in daily situations? An explorative experimental investigation in human reasoning of normative concepts.

Wai Wong, Meimei Yang, Walter Schaeken, Lorenz Demey, Joost Vennekens

Proceedings of the 46th Annual Meeting of the Cognitive Science Society, 2024

2023

Uncertainty Estimation of Connected Vehicle Penetration Rate.

Shaocheng Jia, Sze Chun Wong, Wai Wong

Transp. Sci., September, 2023

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

Proceedings of the 26th IEEE International Conference on Intelligent Transportation Systems, 2023

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

Maximum Likelihood Estimation of Probe Vehicle Penetration Rates and Queue Length Distributions From Probe Vehicle Data.

Yan Zhao, Wai Wong, Jianfeng Zheng, Henry X. Liu

IEEE Trans. Intell. Transp. Syst., 2022

2020

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

2019

Unbiased Estimation Methods of Nonlinear Transport Models Based on Linearly Projected Data.

Wai Wong, Sze Chun Wong

Transp. Sci., 2019

2017

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

2016

Class-DE Ultrasound Transducer Driver for HIFU Therapy.

Carlos Christoffersen, Wai Wong, Samuel Pichardo, Greg Togtema, Laura Curiel

IEEE Trans. Biomed. Circuits Syst., 2016

2013

An integrated ultrasound transducer driver for HIFU applications.

Wai Wong, Carlos Christoffersen, Samuel Pichardo, Laura Curiel

Proceedings of the 26th IEEE Canadian Conference on Electrical and Computer Engineering CCECE 2013, 2013

2003

Generating test cases from class vectors.

Karl R. P. H. Leung, Wai Wong, Joseph Kee-Yin Ng

J. Syst. Softw., 2003

2001

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

Proceedings of the 7th IEEE Real-Time Technology and Applications Symposium (RTAS 2001), 30 May, 2001

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

Proceedings of the 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 2000

Deriving test cases using class vectors.

Karl R. P. H. Leung, Wai Wong

Proceedings of the 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 2000

Towards a More Efficient Way of Generating Test Cases: Class Graphs.

Karl R. P. H. Leung, Wai Wong

Proceedings of the 1st Asia-Pacific Conference on Quality Software (APAQS 2000), 2000

1999

Validation of HOL Proofs by Proof Checking.

Wai Wong

Formal Methods Syst. Des., 1999

1995

Recording and Checking HOL Proofs.

Wai Wong

Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1995

1993

Modelling Bit Vectors in HOL: the word library.

Wai Wong

Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1993

1992

A formal theory of railway track networks in higher-order logic and its applications in interlocking design.

Wai Wong

PhD thesis, 1992