default search action
Wai Wong
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j9]Ning Guo, Wai Wong, Rui Jiang
, Sze Chun Wong
Bicycle Flow Dynamics of Cyclist Loading and Unloading Processes at Bottlenecks. Transp. Sci. 58(2): 340-354 (2024) - 2023
- [j8]Shaocheng Jia
Uncertainty Estimation of Connected Vehicle Penetration Rate. Transp. Sci. 57(5): 1160-1176 (2023) - [c8]Shaocheng Jia, Yuzhe Cai, Xin Pei, Zi Yang, Wai Wong, Sze Chun Wong:
Exploitation of String Stability to Predict Disturbance-triggered Platoon Collisions in Mixed Traffic Comprising Automated and Conventional Vehicles. ITSC 2023: 121-126 - 2022
- [j7]Yan Zhao
Maximum Likelihood Estimation of Probe Vehicle Penetration Rates and Queue Length Distributions From Probe Vehicle Data. IEEE Trans. Intell. Transp. Syst. 23(7): 7628-7636 (2022) - [j6]Yiheng Feng
On the Cybersecurity of Traffic Signal Control System With Connected Vehicles. IEEE Trans. Intell. Transp. Syst. 23(9): 16267-16279 (2022) - 2020
- [i1]Shihong Ed Huang, Wai Wong, Yiheng Feng, Qi Alfred Chen, Z. Morley Mao, Henry X. Liu:
Impact Evaluation of Falsified Data Attacks on Connected Vehicle Based Traffic Signal Control. CoRR abs/2010.04753 (2020)
2010 – 2019
- 2019
- [j5]Wai Wong
Unbiased Estimation Methods of Nonlinear Transport Models Based on Linearly Projected Data. Transp. Sci. 53(3): 665-682 (2019) - 2017
- [j4]Fanyu Meng, Sze Chun Wong
Estimation of Scaling Factors for Traffic Counts Based on Stationary and Mobile Sources of Data. Int. J. Intell. Transp. Syst. Res. 15(3): 180-191 (2017) - 2016
- [j3]Carlos Christoffersen, Wai Wong, Samuel Pichardo, Greg Togtema, Laura Curiel:
Class-DE Ultrasound Transducer Driver for HIFU Therapy. IEEE Trans. Biomed. Circuits Syst. 10(2): 375-382 (2016) - 2013
- [c7]Wai Wong, Carlos Christoffersen, Samuel Pichardo, Laura Curiel:
An integrated ultrasound transducer driver for HIFU applications. CCECE 2013: 1-5
2000 – 2009
- 2003
- [j2]Karl R. P. H. Leung, Wai Wong, Joseph Kee-Yin Ng:
Generating test cases from class vectors. J. Syst. Softw. 66(1): 35-46 (2003) - 2001
- [c6]Calvin Kin-Cheung Hui, Joseph Kee-Yin Ng, Wai Wong, Karl R. P. H. Leung:
The Implementation of a Multi-Server Distributed MPEG Video System. IEEE Real Time Technology and Applications Symposium 2001: 111-113 - 2000
- [c5]Karl R. P. H. Leung, Wai Wong:
Towards a More Efficient Way of Generating Test Cases: Class Graphs. APAQS 2000: 285-296 - [c4]Karl R. P. H. Leung, Wai Wong:
Deriving test cases using class vectors. APSEC 2000: 146-153 - [c3]Joseph Kee-Yin Ng, Calvin Kin-Cheung Hui, Wai Wong:
A multi-server design for a distributed MPEG video system with streaming support and QoS control. RTCSA 2000: 160-165
1990 – 1999
- 1999
- [j1]Wai Wong:
Validation of HOL Proofs by Proof Checking. Formal Methods Syst. Des. 14(2): 193-212 (1999) - 1995
- [c2]Wai Wong:
Recording and Checking HOL Proofs. TPHOLs 1995: 353-368 - 1993
- [c1]Wai Wong:
Modelling Bit Vectors in HOL: the word library. HUG 1993: 371-384 - 1992
- [b1]Wai Wong:
A formal theory of railway track networks in higher-order logic and its applications in interlocking design. University of Warwick, Coventry, UK, 1992
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-05 21:42 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: