Wai Wong

Orcid: 0000-0001-8150-3280

According to our database1, Wai Wong authored at least 19 papers between 1992 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Bicycle Flow Dynamics of Cyclist Loading and Unloading Processes at Bottlenecks.
Transp. Sci., 2024

2023
Uncertainty Estimation of Connected Vehicle Penetration Rate.
Transp. Sci., September, 2023

Exploitation of String Stability to Predict Disturbance-triggered Platoon Collisions in Mixed Traffic Comprising Automated and Conventional Vehicles.
Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2023

2022
On the Cybersecurity of Traffic Signal Control System With Connected Vehicles.
IEEE Trans. Intell. Transp. Syst., 2022

Maximum Likelihood Estimation of Probe Vehicle Penetration Rates and Queue Length Distributions From Probe Vehicle Data.
IEEE Trans. Intell. Transp. Syst., 2022

2020
Impact Evaluation of Falsified Data Attacks on Connected Vehicle Based Traffic Signal Control.
CoRR, 2020

2019
Unbiased Estimation Methods of Nonlinear Transport Models Based on Linearly Projected Data.
Transp. Sci., 2019

2017
Estimation of Scaling Factors for Traffic Counts Based on Stationary and Mobile Sources of Data.
Int. J. Intell. Transp. Syst. Res., 2017

2016
Class-DE Ultrasound Transducer Driver for HIFU Therapy.
IEEE Trans. Biomed. Circuits Syst., 2016

2013
An integrated ultrasound transducer driver for HIFU applications.
Proceedings of the 26th IEEE Canadian Conference on Electrical and Computer Engineering CCECE 2013, 2013

2003
Generating test cases from class vectors.
J. Syst. Softw., 2003

2001
The Implementation of a Multi-Server Distributed MPEG Video System.
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.
Proceedings of the 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 2000

Deriving test cases using class vectors.
Proceedings of the 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 2000

Towards a More Efficient Way of Generating Test Cases: Class Graphs.
Proceedings of the 1st Asia-Pacific Conference on Quality Software (APAQS 2000), 2000

1999
Validation of HOL Proofs by Proof Checking.
Formal Methods Syst. Des., 1999

1995
Recording and Checking HOL Proofs.
Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1995

1993
Modelling Bit Vectors in HOL: the word library.
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.
PhD thesis, 1992


  Loading...