Wai Wong - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 16 from 16

2023

Uncertainty Estimation of Connected Vehicle Penetration RateShaocheng Jia, Sze Chun Wong, Wai Wong. transci, 57(5):1160-1176, September 2023. [doi]

Exploitation of String Stability to Predict Disturbance-triggered Platoon Collisions in Mixed Traffic Comprising Automated and Conventional VehiclesShaocheng Jia, Yuzhe Cai, Xin Pei, Zi Yang, Wai Wong, Sze Chun Wong. itsc 2022: 121-126 [doi]

2022

Maximum Likelihood Estimation of Probe Vehicle Penetration Rates and Queue Length Distributions From Probe Vehicle DataYan Zhao 0011, Wai Wong, Jianfeng Zheng, Henry X. Liu. tits, 23(7):7628-7636, 2022. [doi]

On the Cybersecurity of Traffic Signal Control System With Connected VehiclesYiheng Feng, Shihong Ed Huang, Wai Wong, Qi Alfred Chen, Z. Morley Mao, Henry X. Liu. tits, 23(9):16267-16279, 2022. [doi]

2019

Unbiased Estimation Methods of Nonlinear Transport Models Based on Linearly Projected DataWai Wong, S. C. Wong. transci, 53(3):665-682, 2019. [doi]

2016

Class-DE Ultrasound Transducer Driver for HIFU TherapyCarlos Christoffersen, Wai Wong, Samuel Pichardo, Greg Togtema, Laura Curiel. tbcas, 10(2):375-382, 2016. [doi]

2013

An integrated ultrasound transducer driver for HIFU applicationsWai Wong, Carlos Christoffersen, Samuel Pichardo, Laura Curiel. ccece 2013: 1-5 [doi]

2003

Generating test cases from class vectorsKarl R. P. H. Leung, Wai Wong, Joseph Kee-Yin Ng. jss, 66(1):35-46, 2003. [doi]

2001

The Implementation of a Multi-Server Distributed MPEG Video SystemCalvin Kin-Cheung Hui, Joseph Kee-Yin Ng, Wai Wong, Karl R. P. H. Leung. rtas 2001: 111-113 [doi]

2000

Towards a More Efficient Way of Generating Test Cases: Class GraphsKarl R. P. H. Leung, Wai Wong. apaqs 2000: 285-296 [doi]

Deriving test cases using class vectorsKarl R. P. H. Leung, Wai Wong. apsec 2000: 146-153 [doi]

A multi-server design for a distributed MPEG video system with streaming support and QoS controlJoseph Kee-Yin Ng, Calvin Kin-Cheung Hui, Wai Wong. rtcsa 2000: 160-165 [doi]

1999

Validation of HOL Proofs by Proof CheckingWai Wong. fmsd, 14(2):193-212, 1999.

1995

Recording and Checking HOL ProofsWai Wong. tphol 1995: 353-368

1993

Modelling Bit Vectors in HOL: the word libraryWai Wong. tphol 1994: 371-384

1992

A formal theory of railway track networks in higher-order logic and its applications in interlocking designWai Wong. PhD thesis, University of Warwick, Coventry, UK, 1992. [doi]

Sign in or sign up to see more results.

runs on WebDSL