The SCEAS System
Navigation Menu

Search the dblp DataBase


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

Publications of Author

  1. 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]
  2. Karl R. P. H. Leung, Wai Wong
    Deriving test cases using class vectors. [Citation Graph (0, 0)][DBLP]
    APSEC, 2000, pp:146-153 [Conf]
  3. 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]
  4. 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]
  5. Wai Wong
    Modelling Bit Vectors in HOL: the word library. [Citation Graph (0, 0)][DBLP]
    HUG, 1993, pp:371-384 [Conf]
  6. Wai Wong
    Recording and Checking HOL Proofs. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1995, pp:353-368 [Conf]
  7. 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]
  8. 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.002secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002