Wai Wong - RankMe

22 papers B 2C 1Journal 11Unranked 7

Year	Rank	Type	Title / 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