FFT on a New Parallel Vector Processor. - Kung-Kiu Lau; Xiang-Zhen Qiao (CONPAR, 1986)

A Note on Synthesis and Classification of Sorting Algorithms. - Kung-Kiu Lau (Acta Informatica, 1989)

Top-down Synthesis of Recursive Logic Procedures from First-order Logic Specifications. - Kung-Kiu Lau; Steven D. Prestwich (ICLP, 1990)

Synthesis of a Family of Recursive Sorting Procedures. - Kung-Kiu Lau; Steven D. Prestwich (ISLP, 1991)

Top-down Synthesis of Sorting Algorithms. - Kung-Kiu Lau (Comput. J., 1991)

An Incompleteness Result for Deductive Synthesis of Logic Programs. - Kung-Kiu Lau; Mario Ornaghi (ICLP, 1993)

A Formal View of Specification, Deductive Synthesis and Transformation of Logic Programs. - Kung-Kiu Lau; Mario Ornaghi (LOPSTR, 1993)

The Halting Problem for Deductive Synthesis of Logic Programs. - Kung-Kiu Lau; Mario Ornaghi; Sten-Åke Tärnlund (ICLP, 1994)

A Tutorial on Synthesis of Logic Programs from Specifications. - Kung-Kiu Lau; Geraint A. Wiggins (ICLP, 1994)

On Specification Frameworks and Deductive Synthesis of Logic Programs. - Kung-Kiu Lau; Mario Ornaghi (LOPSTR, 1994)

Towards an introductory formal programming course. - Kung-Kiu Lau; Vicky J. Bush; Pete J. Jinks (SIGCSE, 1994)

Logic Program Synthesis. - Yves Deville; Kung-Kiu Lau (J. Log. Program., 1994)

Towards an Object-Oriented Methodology for Deductive Synthesis of Logic Programs. - Kung-Kiu Lau; Mario Ornaghi (LOPSTR, 1995)

A Formal Approach to Deductive Synthesis of Constraint Logic Programs. - Kung-Kiu Lau; Mario Ornaghi (ILPS, 1995)

Correctness of Logic Program Transformations Based on Existential Termination. - Kung-Kiu Lau; Mario Ornaghi; Alberto Pettorossi; Maurizio Proietti (ILPS, 1995)

Formal Reasoning about Modules, Reuse and their Correctness. - Christoph Kreitz; Kung-Kiu Lau; Mario Ornaghi (FAPR, 1996)

Forms of Logic Specifications: A Preliminary Study. - Kung-Kiu Lau; Mario Ornaghi (LOPSTR, 1996)

On the Relationship between Logic Programs and Specifications. - Kung-Kiu Lau; Mario Ornaghi (APPIA-GULP-PRODE, 1997)

Frameworks in Catalysis: Pictorial Notation and Formal Semantics. - Kung-Kiu Lau; Mario Ornaghi; Alan Wills (ICFEM, 1997)

Correct-Schema-Guided Synthesis of Steadfast Programs. - Pierre Flener; Kung-Kiu Lau; Mario Ornaghi (ASE, 1997)

On Correct Program Schemas. - Pierre Flener; Kung-Kiu Lau; Mario Ornaghi (LOPSTR, 1997)

The Relationship Between Logic Programs and Specifications - The Subset Example Revisited. - Kung-Kiu Lau; Mario Ornaghi (J. Log. Program., 1997)

Isoinitial Models for Logic Programs: A Preliminary Study. - Kung-Kiu Lau; Mario Ornaghi (APPIA-GULP-PRODE, 1998)

Interacting Frameworks in Catalysis. - Kung-Kiu Lau; Shaoying Liu; Mario Ornaghi; Alan Wills (ICFEM, 1998)

OOD Frameworks in Component-Based Software - Development in Computational Logic. - Kung-Kiu Lau; Mario Ornaghi (LOPSTR, 1998)

Isoinitial Models for Logic Programs: Some Preliminary Results. - Kung-Kiu Lau; Mario Ornaghi (ICLP, 1999)

On Dynamic Aspects of OOD Frameworks in Component-Based Software Development in Computational Logic. - Juliana Küster Filipe; Kung-Kiu Lau; Mario Ornaghi; Hirokazu Yatsu (LOPSTR, 1999)

Steadfast Logic Programs. - Kung-Kiu Lau; Mario Ornaghi; Sten-Åke Tärnlund (J. Log. Program., 1999)

Formal specification of Catalysis frameworks. - Juliana Küster Filipe; Kung-Kiu Lau; Mario Ornaghi; Kenji Taguchi 001; Hirokazu Yatsu; Alan Wills (APSEC, 2000)

Isoinitial Semantics for Logic Programs. - Kung-Kiu Lau; Mario Ornaghi (Computational Logic, 2000)

Foreword to the Special Issue on Schemas. - Pierre Flener; Kung-Kiu Lau; Wolfgang Bibel (J. Symb. Comput., 2000)

An Abstract Formalization of Correct Schemas for Program Synthesis. - Pierre Flener; Kung-Kiu Lau; Mario Ornaghi; Julian Richardson (J. Symb. Comput., 2000)

On the Implementation of Catalysis Frameworks in COM. - Shui Ming Ho; Kung-Kiu Lau (APSEC, 2001)

On the Implementation of OOD Frameworks in COM. - Shui Ming Ho; Kung-Kiu Lau (EUROMICRO, 2001)

Correct Object-Oriented Systems in Computational Logic. - Kung-Kiu Lau; Mario Ornaghi (LOPSTR, 2001)

Logic for Component-Based Software Development. - Kung-Kiu Lau; Mario Ornaghi (Computational Logic: Logic Programming and Beyond, 2002)

Logic Programming for Software Engineering: A Second Chance. - Kung-Kiu Lau; Michel Vanden Bossche (ICLP, 2002)

Towards Correct Object-Oriented Design Frameworks in Computational Logic. - Kung-Kiu Lau; Mario Ornaghi (LOPSTR, 2002)

Special Issue on Program Development, Guest Editors' Introduction. - Maurice Bruynooghe; Kung-Kiu Lau (Theory Pract. Log. Program., 2002)

Component-Based Software Development and Logic Programming. - Kung-Kiu Lau (ICLP, 2003)

Correct OO Systems in Computational Logic. - Kung-Kiu Lau; Mario Ornaghi (LOPSTR, 2003)

Constructive Specifications for Compositional Units. - Kung-Kiu Lau; Alberto Momigliano; Mario Ornaghi (LOPSTR, 2004)

Specifying Compositional Units for Correct Program Development in Computational Logic. - Kung-Kiu Lau; Mario Ornaghi (Program Development in Computational Logic, 2004)

A Beginner's Course on Reasoning About Imperative Programs. - Kung-Kiu Lau (TFM, 2004)

Exogenous Connectors for Software Components. - Kung-Kiu Lau; Perla Velasco Elizondo; Zheng Wang 015 (CBSE, 2005)

A Taxonomy of Software Component Models. - Kung-Kiu Lau; Zheng Wang 015 (EUROMICRO-SEAA, 2005)

A Software Component Model and Its Preliminary Formalisation. - Kung-Kiu Lau; Mario Ornaghi; Zheng Wang 015 (FMCO, 2005)

Preface. - Stuart Allen; John N. Crossley; Kung-Kiu Lau; Iman Poernomo (CLASE, 2005)

A Component Model for Separation of Control Flow from Computation in Component-Based Systems. - Kung-Kiu Lau; Vladyslav Ukis; Perla Velasco Elizondo; Zheng Wang 015 (ABMB, 2005)

Towards Encapsulating Data in Component-Based Software Systems. - Kung-Kiu Lau; Faris M. Taweel (CBSE, 2006)

Defining and Checking Deployment Contracts for Software Components. - Kung-Kiu Lau; Vladyslav Ukis (CBSE, 2006)

Composing Components in Design Phase using Exogenous Connectors. - Kung-Kiu Lau; Ling Ling; Zheng Wang 015 (EUROMICRO-SEAA, 2006)

Software component models. - Kung-Kiu Lau (ICSE, 2006)

Automatic Control Flow Generation from Software Architectures. - Kung-Kiu Lau; Vladyslav Ukis (SC@ETAPS, 2006)

Towards Composing Software Components in Both Design and Deployment Phases. - Kung-Kiu Lau; Ling Ling; Perla Velasco Elizondo (CBSE, 2007)

Data Encapsulation in Software Components. - Kung-Kiu Lau; Faris M. Taweel (CBSE, 2007)

A Study of Execution Environments for Software Components. - Kung-Kiu Lau; Vladyslav Ukis (CBSE, 2007)

Composite Web Services. - Kung-Kiu Lau; Cuong M. Tran (WEWST@ECOWS (Final Proceedings), 2007)

Using SPARK for a beginner's course on reasoning about imperative programs. - Kung-Kiu Lau (SIGAda, 2007)

Verified component-based software in SPARK: experimental results for a missile guidance system. - Kung-Kiu Lau; Zheng Wang 015 (SIGAda, 2007)

Active learning sheets for a beginner's course on reasoning about imperative programs. - Kung-Kiu Lau (SIGCSE, 2007)

Composite Connectors for Composing Software Components. - Kung-Kiu Lau; Ling Ling; Vladyslav Ukis; Perla Velasco Elizondo (SC@ETAPS, 2007)

Software Component Models. - Kung-Kiu Lau; Zheng Wang 015 (IEEE Trans. Software Eng., 2007)

Server-side Exception Handling by Composite Web Services. - Kung-Kiu Lau; Cuong M. Tran (WEWST@ECOWS, 2008)

A Compositional Approach to Active and Passive Components. - Kung-Kiu Lau; Ioannis Ntalamagkas (EUROMICRO-SEAA, 2008)

Control Encapsulation: A Calculus for Exogenous Composition of Software Components. - Kung-Kiu Lau; Mario Ornaghi (CBSE, 2009)

Domain-Specific Software Component Models. - Kung-Kiu Lau; Faris M. Taweel (CBSE, 2009)

Component-Based Construction of Concurrent Systems with Active Components. - Kung-Kiu Lau; Ioannis Ntalamagkas (EUROMICRO-SEAA, 2009)

(Behavioural) Design Patterns as Composition Operators. - Kung-Kiu Lau; Ioannis Ntalamagkas; Cuong M. Tran; Tauseef Rana 001 (CBSE, 2010)

Constructing Component-Based Systems Directly from Requirements Using Incremental Composition. - Kung-Kiu Lau; Azlin Nordin; Tauseef Rana 001; Faris M. Taweel (EUROMICRO-SEAA, 2010)

A Taxonomy of Software Composition Mechanisms. - Kung-Kiu Lau; Tauseef Rana 001 (EUROMICRO-SEAA, 2010)

A catalogue of component connectors to support development with reuse. - Perla Velasco Elizondo; Kung-Kiu Lau (J. Syst. Softw., 2010)

A component model that is both control-driven and data-driven. - Kung-Kiu Lau; Lily Safie; Petr Stepan; Cuong M. Tran (CBSE, 2011)

Extracting Elements of Component-Based Systems from Natural Language Requirements. - Kung-Kiu Lau; Azlin Nordin; Keng-Yap Ng (EUROMICRO-SEAA, 2011)

The W Model for Component-Based Software Development. - Kung-Kiu Lau; Faris M. Taweel; Cuong M. Tran (EUROMICRO-SEAA, 2011)

Incremental construction of component-based systems. - Kung-Kiu Lau; Keng-Yap Ng; Tauseef Rana 001; Cuong M. Tran (CBSE, 2012)

Controller patterns for component-based reactive control software systems. - Petr Stepan; Kung-Kiu Lau (CBSE, 2012)

X-MAN: An MDE Tool for Component-Based System Development. - Kung-Kiu Lau; Cuong M. Tran (EUROMICRO-SEAA, 2012)

Towards Component-based Domain Engineering. - Asmaa S. Alayed; Kung-Kiu Lau; Petr Stepan; Cuong M. Tran (EUROMICRO-SEAA, 2013)

A Holistic (Component-based) Approach to AUTOSAR Designs. - Kung-Kiu Lau; Petr Stepan; Cuong M. Tran; Sébastien Saudrais; Borjan Tchakaloff (EUROMICRO-SEAA, 2013)

Software component models: past, present and future. - Kung-Kiu Lau (CBSE, 2014)

A Heterogeneous Approach for Developing Applications with FIWARE GEs. - Simone Di Cola; Cuong M. Tran; Kung-Kiu Lau; Antonio Celesti; Maria Fazio (ESOCC, 2015)

A Graphical Tool for Model-Driven Development Using Components and Services. - Simone Di Cola; Cuong M. Tran; Kung-Kiu Lau (EUROMICRO-SEAA, 2015)

Towards Defining Families of Systems in IoT: Logical Architectures with Variation Points. - Simone Di Cola; Kung-Kiu Lau; Cuong M. Tran; Chen Qian 005 (IoT 360 (1), 2015)

An MDE tool for defining software product families with explicit variation points. - Simone Di Cola; Kung-Kiu Lau; Cuong M. Tran; Chen Qian 005 (SPLC, 2015)

A Component Model for Defining Software Product Families with Explicit Variation Points. - Simone Di Cola; Cuong M. Tran; Kung-Kiu Lau; Chen Qian 005; Michael Schulze (CBSE, 2016)

From Formal Methods to Software Components: Back to the Future? - Kung-Kiu Lau (FACS, 2016)

An Introduction to Component-Based Software Development - Kung-Kiu Lau; Simone Di Cola (WorldScientific, 2017)

D-XMAN: A Platform For Total Compositionality in Service-Oriented Architectures. - Damian Arellanes; Kung-Kiu Lau (SC², 2017)

Exogenous Connectors for Hierarchical Service Composition. - Damian Arellanes; Kung-Kiu Lau (SOCA, 2017)

Analysis of component-based approaches toward componentized 5G. - Elie El Hayek; Imen Grida Ben Yahia; Damian Arellanes; Kung-Kiu Lau (ICIN, 2018)

Analysis and Classification of Service Interactions for the Scalability of the Internet of Things. - Damian Arellanes; Kung-Kiu Lau (ICIOT, 2018)

Algebraic Service Composition for User-Centric IoT Applications. - Damian Arellanes; Kung-Kiu Lau (ICIOT, 2018)

Reverse Engineering Encapsulated Components from Object-Oriented Legacy Code. - Rehman Arshad; Kung-Kiu Lau (SEKE, 2018)

Workflow Variability for Autonomic IoT Systems. - Damian Arellanes; Kung-Kiu Lau (ICAC, 2019)

Decentralized Data Flows in Algebraic Service Compositions for the Scalability of IoT Systems. - Damian Arellanes; Kung-Kiu Lau (WF-IoT, 2019)

Evaluating IoT service composition mechanisms for the scalability of IoT systems. - Damian Arellanes; Kung-Kiu Lau (Future Gener. Comput. Syst., 2020)

Decentralized Data Flows for the Functional Scalability of Service-Oriented IoT Systems. - Damian Arellanes; Kung-Kiu Lau; Rizos Sakellariou (Comput. J., 2023)