| 2007 | COMPSAC | Generating User Acceptance Test Plans from Test Cases. | Karl R. P. H. Leung, Wing Lok Yeung |
| 2006 | AINA | 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 |
| 2005 | APSEC | Improvements Towards Formalizing UML State Diagrams in CSP. | Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang, Wei Dong |
| 2004 | AINA | Locating Mobile Stations with Statistical Directional Propagation Model. | Kenneth Man-Kin Chu, Karl R. P. H. Leung, Joseph Kee-Yin Ng, Chun Hung Li |
| 2004 | APSEC | Using Hypergraph as Modeling Language for Generating Test Cases On Demand. | Karl R. P. H. Leung |
| 2004 | APSEC | 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 |
| 2003 | COMPSAC | A Synergistic Interweaving of Formal and Informal Methods. | Wing Lok Yeung, Karl R. P. H. Leung |
| 2003 | EuroPar | 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 |
| 2002 | COMPSAC | Parallel Genetic Algorithms with Schema Migration. | Baowen Xu, Yu Guan, Zhenqiang Chen, Karl R. P. H. Leung |
| 2001 | RTAS | 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 |
| 2000 | APSEC | Extending Statecharts with ad lib and multi-thread features. | Karl R. P. H. Leung |
| 2000 | APSEC | Deriving test cases using class vectors. | Karl R. P. H. Leung, Wai Wong |
| 2000 | COMPSAC | Modeling Web Navigation by Statechart. | Karl R. P. H. Leung, Lucas Chi Kwong Hui, Siu-Ming Yiu, Ricky W. M. Tang |
| 1999 | COMPSAC | Signature Management in Workflow Systems. | Karl R. P. H. Leung, Lucas Chi Kwong Hui |
| 1998 | APSEC | Liaison: A Workflow Model for Novel Applications. | Daniel Kim Chung Chan, Karl R. P. H. Leung, Ching Ying Yan, Keith C. C. Chan |
| 1997 | APSEC | Software Development as a Workflow Process. | Daniel Kim Chung Chan, Karl R. P. H. Leung |
| 1996 | COMPSAC | Extending Statecharts with Duration. | Karl R. P. H. Leung, Daniel Kim Chung Chan |
| 1995 | APSEC | Prototyping the Structured Specification as Logic Programs. | Karl R. P. H. Leung, Daniel Kim Chung Chan |
| 1994 | APSEC | Reversing concurrent systems into formal specifications. | Karl R. P. H. Leung, Clement F. S. Yim |