| 2018 | ICIN | Analysis of component-based approaches toward componentized 5G. | Elie El Hayek, Imen Grida Ben Yahia, Damian Arellanes, Kung-Kiu Lau |
| 2018 | SEKE | Reverse Engineering Encapsulated Components from Object-Oriented Legacy Code. | Rehman Arshad, Kung-Kiu Lau |
| 2015 | SPLC | An MDE tool for defining software product families with explicit variation points. | Simone Di Cola, Kung-Kiu Lau, Cuong M. Tran, Chen Qian |
| 2008 | SEAA | A Compositional Approach to Active and Passive Components. | Kung-Kiu Lau, Ioannis Ntalamagkas |
| 2007 | SIGCSE | Active learning sheets for a beginner's course on reasoning about imperative programs. | Kung-Kiu Lau |
| 2006 | ICSE | Software component models. | Kung-Kiu Lau |
| 2004 | LOPSTR | Constructive Specifications for Compositional Units. | Kung-Kiu Lau, Alberto Momigliano, Mario Ornaghi |
| 2003 | ICLP | Component-Based Software Development and Logic Programming. | Kung-Kiu Lau |
| 2003 | LOPSTR | Correct OO Systems in Computational Logic. | Kung-Kiu Lau, Mario Ornaghi |
| 2002 | ICLP | Logic Programming for Software Engineering: A Second Chance. | Kung-Kiu Lau, Michel Vanden Bossche |
| 2002 | LOPSTR | Towards Correct Object-Oriented Design Frameworks in Computational Logic. | Kung-Kiu Lau, Mario Ornaghi |
| 2001 | APSEC | On the Implementation of Catalysis Frameworks in COM. | Shui Ming Ho, Kung-Kiu Lau |
| 2001 | LOPSTR | Correct Object-Oriented Systems in Computational Logic. | Kung-Kiu Lau, Mario Ornaghi |
| 2000 | APSEC | Formal specification of Catalysis frameworks. | Juliana Kster Filipe, Kung-Kiu Lau, Mario Ornaghi, Kenji Taguchi, Hirokazu Yatsu, Alan Wills |
| 1999 | ICLP | Isoinitial Models for Logic Programs: Some Preliminary Results. | Kung-Kiu Lau, Mario Ornaghi |
| 1999 | LOPSTR | On Dynamic Aspects of OOD Frameworks in Component-Based Software Development in Computational Logic. | Juliana Kster Filipe, Kung-Kiu Lau, Mario Ornaghi, Hirokazu Yatsu |
| 1998 | ICFEM | Interacting Frameworks in Catalysis. | Kung-Kiu Lau, Shaoying Liu, Mario Ornaghi, Alan Wills |
| 1998 | LOPSTR | OOD Frameworks in Component-Based Software - Development in Computational Logic. | Kung-Kiu Lau, Mario Ornaghi |
| 1997 | ICFEM | Frameworks in Catalysis: Pictorial Notation and Formal Semantics. | Kung-Kiu Lau, Mario Ornaghi, Alan Wills |
| 1997 | LOPSTR | On Correct Program Schemas. | Pierre Flener, Kung-Kiu Lau, Mario Ornaghi |
| 1996 | LOPSTR | Forms of Logic Specifications: A Preliminary Study. | Kung-Kiu Lau, Mario Ornaghi |
| 1995 | LOPSTR | Towards an Object-Oriented Methodology for Deductive Synthesis of Logic Programs. | Kung-Kiu Lau, Mario Ornaghi |
| 1994 | ICLP | The Halting Problem for Deductive Synthesis of Logic Programs. | Kung-Kiu Lau, Mario Ornaghi, Sten-ke Trnlund |
| 1994 | ICLP | A Tutorial on Synthesis of Logic Programs from Specifications. | Kung-Kiu Lau, Geraint A. Wiggins |
| 1994 | LOPSTR | On Specification Frameworks and Deductive Synthesis of Logic Programs. | Kung-Kiu Lau, Mario Ornaghi |
| 1994 | SIGCSE | Towards an introductory formal programming course. | Kung-Kiu Lau, Vicky J. Bush, Pete J. Jinks |
| 1993 | ICLP | An Incompleteness Result for Deductive Synthesis of Logic Programs. | Kung-Kiu Lau, Mario Ornaghi |
| 1993 | LOPSTR | A Formal View of Specification, Deductive Synthesis and Transformation of Logic Programs. | Kung-Kiu Lau, Mario Ornaghi |
| 1990 | ICLP | Top-down Synthesis of Recursive Logic Procedures from First-order Logic Specifications. | Kung-Kiu Lau, Steven D. Prestwich |