Journal Papers

1. William H. Wong, Joseph K. Ng and Karl R.P.H. Leung, "Large-Scale Location Estimation over GSM Networks: the GEAR Approach", International Journal of Wireless and Mobile Computing, special issue on Mobile Distributed Computing, (forthcoming).

2. Kenneth K.M. Chu, Joseph K.Y. Ng, Junyang Zhou, Karl R.P.H. Leung, "A Train-Once Approach for Location Estimation using the Directional Propagation Model (DPM)", IEEE Transactions on Vehicular Technology, Vol 57, No. 4, July 2008.

3. Kenneth M.K. Chu, Karl R.P.H. Leung, Joseph Kee-Yin Ng and Chun Hung Li, "A Directional Propagation Model for Locating Mobile Stations Within a Mobile Phone Network", International Journal of Wireless and Mobile Computing (IJWMC) Special Issue on Application, Services, and Infrastructures for Wireless and Mobile Computing, Vol 3, No 1-2, pp. 12-21, 2008.

4. Ricky W.K. Chan, S.C. Cheung and Karl R.P.H. Leung, "A Metamorphic Testing Approach for Online Testing of Service-Oriented Software Applications", International Journal of Web Services Research on Services Engineering, Vol. 4, No. 2, pp. 61 - 81, April - June 2007.

5. Zhi-li Wu, Chun-hung Li, Joseph Ng, Karl R.P.H. Leung, "Location Estimation via Missing Value Support Vector Regression", IEEE Transaction on Mobile Computing, Vol 6, No. 3, pp 311 - 321, March 2007 (ISSN 1536-1233).

6. W.L. Yeung, Karl R.P.H. Leung, Ji Wang and Wei Dong, "Model Checking Suspendible Business Process via Statechart Diagrams and CSP", Journal of the Science of Computer Programming (an Elsevier Science Journal) Special Issue on Increasing Adequacy and Reliability of Enterprise Information Systems, Vol 65, Iss 1, pp. 14-29, March 2007.

7. Karl R.P.H. Leung, Joseph K-Y Ng, W.L. Yeung, "Accessing Embedded Program in Untestable Mobile Environment: Experience of a Trustworthiness Approach", Journal of Systems and Software, 19 Jan 2006 (available online), Vol 79 Issue 7, July 2006 (print), pp 962-968, 2006.

8. Joseph Kee-Yin Ng, Karl R.P.H. Leung, Calvin Kin-Cheung Hui, "A QoS-Enabled Transmission Scheme for MPEG Video Streaming", Real-Time System Journal, Vol. 30(3), pp. 217-256, 2005.

9. Karl R.P.H. Leung, Wai Wong and Joseph K-Y Ng, "Generating Test Cases from Class Vector", pages 35-46, Journal of Systems and Software, Vol. 66, Iss. 1, Elsevier Science, ISSN 0164-1212, 15 April 2003.

10. Karl R.P.H. Leung, "On the Efficiency of Domain-based COTS Product Selection Method", pages 703 - 715, Information and Systems Technology, Vol 44, Iss. 12, Elsevier Science, ISSN 0950-5849, 1 September 2002.

11. Karl R.P.H. Leung and Lucas C.K. Hui Handling Signature Purposes in Workflow Systems, Journal of Systems and Software, Vol. 55, Issue 3, pages 245-259, 15 January 2001.