Reversing concurrent systems into formal specifications. - Karl R. P. H. Leung; Clement F. S. Yim (APSEC, 1994)

Prototyping the Structured Specification as Logic Programs. - Karl R. P. H. Leung; Daniel Kim Chung Chan (APSEC, 1995)

Extending Statecharts with Duration. - Karl R. P. H. Leung; Daniel Kim Chung Chan (COMPSAC, 1996)

Software Development as a Workflow Process. - Daniel Kim Chung Chan; Karl R. P. H. Leung (APSEC, 1997)

Liaison: A Workflow Model for Novel Applications. - Daniel Kim Chung Chan; Karl R. P. H. Leung; Ching Ying Yan; Keith C. C. Chan (APSEC, 1998)

Valmont: A Language for Workflow Programming. - Daniel Kim Chung Chan; Karl R. P. H. Leung (HICSS (7), 1998)

Signature Management in Workflow Systems. - Karl R. P. H. Leung; Lucas Chi Kwong Hui (COMPSAC, 1999)

The Liaison Workflow Engine Architecture. - Karl R. P. H. Leung; Jojo M. L. Chung (HICSS, 1999)

Integrating Different Signature Purposes in Workflow Systems - A Case Study. - Karl R. P. H. Leung; Lucas Chi Kwong Hui; Ricky W. M. Tang (ICSC, 1999)

Towards a More Efficient Way of Generating Test Cases: Class Graphs. - Karl R. P. H. Leung; Wai Wong (APAQS, 2000)

Extending Statecharts with ad lib and multi-thread features. - Karl R. P. H. Leung (APSEC, 2000)

Deriving test cases using class vectors. - Karl R. P. H. Leung; Wai Wong (APSEC, 2000)

Modeling Web Navigation by Statechart. - Karl R. P. H. Leung; Lucas Chi Kwong Hui; Siu-Ming Yiu; Ricky W. M. Tang (COMPSAC, 2000)

Multiple Signature Handling in Workflow Systems. - Karl R. P. H. Leung; Lucas Chi Kwong Hui (HICSS, 2000)

The Implementation of a Multi-Server Distributed MPEG Video System. - Calvin Kin-Cheung Hui; Joseph Kee-Yin Ng; Wai Wong; Karl R. P. H. Leung (IEEE Real Time Technology and Applications Symposium, 2001)

Handling signature purposes in workflow systems. - Karl R. P. H. Leung; Lucas Chi Kwong Hui (J. Syst. Softw., 2001)

Parallel Genetic Algorithms with Schema Migration. - Baowen Xu; Yu Guan; Zhenqiang Chen; Karl R. P. H. Leung (COMPSAC, 2002)

On the efficiency of domain-based COTS product selection method. - Karl R. P. H. Leung; Hareton K. N. Leung (Inf. Softw. Technol., 2002)

Domain-Based COTS-Product Selection Method. - Hareton K. N. Leung; Karl R. P. H. Leung (Component-Based Software Quality, 2003)

A Synergistic Interweaving of Formal and Informal Methods. - Wing Lok Yeung; Karl R. P. H. Leung (COMPSAC, 2003)

Network Based Mobile Station Positioning in Metropolitan Area. - Karl R. P. H. Leung; Joseph Kee-Yin Ng; Tim K. T. Chan; Kenneth Man-Kin Chu; Chun Hung Li (Euro-Par, 2003)

Generating test cases from class vectors. - Karl R. P. H. Leung; Wai Wong; Joseph Kee-Yin Ng (J. Syst. Softw., 2003)

Locating Mobile Stations with Statistical Directional Propagation Model. - Kenneth Man-Kin Chu; Karl R. P. H. Leung; Joseph Kee-Yin Ng; Chun Hung Li (AINA (1), 2004)

Using Hypergraph as Modeling Language for Generating Test Cases On Demand. - Karl R. P. H. Leung (APSEC, 2004)

Embedded Program Testing in Untestable Mobile Environment: Embedded Program Testing in Untestable Mobile Environment. - Karl R. P. H. Leung; Joseph Kee-Yin Ng; Wing Lok Yeung (APSEC, 2004)

An Experience of continuous development - formulating requirements concurrently with system implementation. - Karl R. P. H. Leung (IASTED Conf. on Software Engineering, 2004)

Large-Scale Location Estimation over GSM Networks: The Gear Approach. - William Hak-Lim Wong; Joseph Kee-Yin Ng; Karl R. P. H. Leung (ICDCS Workshops, 2004)

Improvements Towards Formalizing UML State Diagrams in CSP. - Wing Lok Yeung; Karl R. P. H. Leung; Ji Wang 001; Wei Dong 006 (APSEC, 2005)

Towards a Metamorphic Testing Methodology for Service-Oriented Software Applications. - W. K. Chan 001; Shing-Chi Cheung; Karl R. P. H. Leung (QSIC, 2005)

Deriving Test Cases from B Machines Using Class Vectors. - Wing Lok Yeung; Karl R. P. H. Leung (MSVVEIS, 2005)

A QoS-Enabled Transmission Scheme for MPEG Video Streaming. - Joseph Kee-Yin Ng; Karl R. P. H. Leung; Calvin Kin-Cheung Hui (Real Time Syst., 2005)

A New Approach for Locating Mobile Stations under the Statistical Directional Propagation Model. - Kenneth Man-Kin Chu; Joseph Kee-Yin Ng; Karl R. P. H. Leung (AINA (1), 2006)

Model Checking Suspendible Business Processes via Statechart Diagrams and CSP. - Wing Lok Yeung; Karl R. P. H. Leung; Ji Wang 001; Wei Dong 006 (MSVVEIS, 2006)

Accessing embedded program in untestable mobile environment: Experience of a trustworthiness approach. - Karl R. P. H. Leung; Joseph Kee-Yin Ng; Wing Lok Yeung (J. Syst. Softw., 2006)

Generating User Acceptance Test Plans from Test Cases. - Karl R. P. H. Leung; Wing Lok Yeung (COMPSAC (2), 2007)

Modelling and model checking suspendible business processes via statechart diagrams and CSP. - Wing Lok Yeung; Karl R. P. H. Leung; Ji Wang 001; Wei Dong 006 (Sci. Comput. Program., 2007)

Location Estimation via Support Vector Regression. - Zhili Wu; Chun-hung Li; Joseph Kee-Yin Ng; Karl R. P. H. Leung (IEEE Trans. Mob. Comput., 2007)

Data scheduling for multi-item requests in multi-channel on-demand broadcast environments. - Kai Liu 001; Victor C. S. Lee; Karl R. P. H. Leung (MobiDE, 2008)

A directional propagation model for locating mobile stations within a mobile phone network. - Kenneth Man-Kin Chu; Karl R. P. H. Leung; Joseph Kee-Yin Ng; Chun Hung Li (Int. J. Wirel. Mob. Comput., 2008)

A Train-Once Approach for Location Estimation Using the Directional Propagation Model. - Joseph Kee-Yin Ng; Junyang Zhou; Kenneth Man-Kin Chu; Karl R. P. H. Leung (IEEE Trans. Veh. Technol., 2008)