SCEAS

The SCEAS System

Title:
Author:

Wai Wong: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Karl R. P. H. Leung, Wai Wong
Towards a More Efficient Way of Generating Test Cases: Class Graphs. [Citation Graph (0, 0)][DBLP]
APAQS, 2000, pp:285-296 [Conf]
Karl R. P. H. Leung, Wai Wong
Deriving test cases using class vectors. [Citation Graph (0, 0)][DBLP]
APSEC, 2000, pp:146-153 [Conf]
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. [Citation Graph (0, 0)][DBLP]
IEEE Real Time Technology and Applications Symposium, 2001, pp:111-113 [Conf]
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. [Citation Graph (0, 0)][DBLP]
RTCSA, 2000, pp:160-165 [Conf]
Wai Wong
Modelling Bit Vectors in HOL: the word library. [Citation Graph (0, 0)][DBLP]
HUG, 1993, pp:371-384 [Conf]
Wai Wong
Recording and Checking HOL Proofs. [Citation Graph (0, 0)][DBLP]
TPHOLs, 1995, pp:353-368 [Conf]
Wai Wong
Validation of HOL Proofs by Proof Checking. [Citation Graph (0, 0)][DBLP]
Formal Methods in System Design, 1999, v:14, n:2, pp:193-212 [Journal]
Karl R. P. H. Leung, Wai Wong, Joseph Kee-Yin Ng
Generating test cases from class vectors. [Citation Graph (0, 0)][DBLP]
Journal of Systems and Software, 2003, v:66, n:1, pp:35-46 [Journal]

Search in 0.002secs, Finished in 0.003secs

NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades

NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP