Wai Wong

22 papers B 2C 1Journal 11Unranked 7
YearRankTypeTitle / Venue / Authors
2025 — conf
A Novel Hybrid Induction Model for Traffic State Estimation of Arbitrary-Shaped Missing Area with Physical Constraints.
ITSC
Bicheng Xu, Lu Bai, Wai Wong, Pan Liu, Yongtao Li
2025 J jnl
Traffic Dynamics of Vehicles Passing Each Other on Bidirectional Undivided Narrow Roads.
Transp. Sci.
Ning Guo, Wai Wong, Rui Jiang, Sze Chun Wong
2024 B conf
"Must" people reason logically with "permission" in daily situations? An explorative experimental investigation in human reasoning of normative concepts.
CogSci
Wai Wong, Meimei Yang, Walter Schaeken, Lorenz Demey, Joost Vennekens
2024 J jnl
Bicycle Flow Dynamics of Cyclist Loading and Unloading Processes at Bottlenecks.
Transp. Sci.
Ning Guo, Wai Wong, Rui Jiang, Sze Chun Wong, Qing-Yi Hao, Chao-Yun Wu
2023 — conf
Exploitation of String Stability to Predict Disturbance-triggered Platoon Collisions in Mixed Traffic Comprising Automated and Conventional Vehicles.
ITSC
Shaocheng Jia, Yuzhe Cai, Xin Pei, Zi Yang, Wai Wong, Sze Chun Wong
2023 J jnl
Uncertainty Estimation of Connected Vehicle Penetration Rate.
Transp. Sci.
Shaocheng Jia, Sze Chun Wong, Wai Wong
2022 J jnl
Maximum Likelihood Estimation of Probe Vehicle Penetration Rates and Queue Length Distributions From Probe Vehicle Data.
IEEE Trans. Intell. Transp. Syst.
Yan Zhao, Wai Wong, Jianfeng Zheng, Henry X. Liu
2022 J jnl
On the Cybersecurity of Traffic Signal Control System With Connected Vehicles.
IEEE Trans. Intell. Transp. Syst.
Yiheng Feng, Shihong Ed Huang, Wai Wong, Qi Alfred Chen, Z. Morley Mao, Henry X. Liu
2020 J jnl
Impact Evaluation of Falsified Data Attacks on Connected Vehicle Based Traffic Signal Control.
CoRR
Shihong Ed Huang, Wai Wong, Yiheng Feng, Qi Alfred Chen, Z. Morley Mao, Henry X. Liu
2019 J jnl
Unbiased Estimation Methods of Nonlinear Transport Models Based on Linearly Projected Data.
Transp. Sci.
Wai Wong, Sze Chun Wong
2017 J jnl
Estimation of Scaling Factors for Traffic Counts Based on Stationary and Mobile Sources of Data.
Int. J. Intell. Transp. Syst. Res.
Fanyu Meng, Sze Chun Wong, Wai Wong, Y. C. Li
2016 J jnl
Class-DE Ultrasound Transducer Driver for HIFU Therapy.
IEEE Trans. Biomed. Circuits Syst.
Carlos Christoffersen, Wai Wong, Samuel Pichardo, Greg Togtema, Laura Curiel
2013 — conf
An integrated ultrasound transducer driver for HIFU applications.
CCECE
Wai Wong, Carlos Christoffersen, Samuel Pichardo, Laura Curiel
2003 J jnl
Generating test cases from class vectors.
J. Syst. Softw.
Karl R. P. H. Leung, Wai Wong, Joseph Kee-Yin Ng
2001 — conf
The Implementation of a Multi-Server Distributed MPEG Video System.
IEEE Real Time Technology and Applications Symposium
Calvin Kin-Cheung Hui, Joseph Kee-Yin Ng, Wai Wong, Karl R. P. H. Leung
2000 B conf
A multi-server design for a distributed MPEG video system with streaming support and QoS control.
RTCSA
Joseph Kee-Yin Ng, Calvin Kin-Cheung Hui, Wai Wong
2000 C conf
Deriving test cases using class vectors.
APSEC
Karl R. P. H. Leung, Wai Wong
2000 — conf
Towards a More Efficient Way of Generating Test Cases: Class Graphs.
APAQS
Karl R. P. H. Leung, Wai Wong
1999 J jnl
Validation of HOL Proofs by Proof Checking.
Formal Methods Syst. Des.
Wai Wong
1995 — conf
Recording and Checking HOL Proofs.
TPHOLs
Wai Wong
1993 — conf
Modelling Bit Vectors in HOL: the word library.
HUG
Wai Wong
1992 — —
A formal theory of railway track networks in higher-order logic and its applications in interlocking design.
Wai Wong