| 2008 |
|---|
| 67 | EE | Kung-Kiu Lau,
Ioannis Ntalamagkas:
A Compositional Approach to Active and Passive Components.
SEAA 2008: 76-83 |
| 2007 |
|---|
| 66 | EE | Kung-Kiu Lau,
Faris M. Taweel:
Data Encapsulation in Software Components.
CBSE 2007: 1-16 |
| 65 | EE | Kung-Kiu Lau,
Vladyslav Ukis:
A Study of Execution Environments for Software Components.
CBSE 2007: 107-123 |
| 64 | EE | Kung-Kiu Lau,
Ling Ling,
Perla Velasco Elizondo:
Towards Composing Software Components in Both Design and Deployment Phases.
CBSE 2007: 274-282 |
| 63 | EE | Kung-Kiu Lau,
Zheng Wang:
Verified component-based software in SPARK: experimental results for a missile guidance system.
SIGAda 2007: 51-58 |
| 62 | EE | Kung-Kiu Lau:
Using SPARK for a beginner's course on reasoning about imperative programs.
SIGAda 2007: 75-78 |
| 61 | EE | Kung-Kiu Lau:
Active learning sheets for a beginner's course on reasoning about imperative programs.
SIGCSE 2007: 198-202 |
| 60 | EE | Kung-Kiu Lau,
Ling Ling,
Vladyslav Ukis,
Perla Velasco Elizondo:
Composite Connectors for Composing Software Components.
Software Composition 2007: 266-280 |
| 59 | EE | Kung-Kiu Lau,
Cuong M. Tran:
Composite Web Services.
WEWST 2007 |
| 58 | EE | Kung-Kiu Lau,
Zheng Wang:
Software Component Models.
IEEE Trans. Software Eng. 33(10): 709-724 (2007) |
| 2006 |
|---|
| 57 | EE | Kung-Kiu Lau,
Vladyslav Ukis:
Defining and Checking Deployment Contracts for Software Components.
CBSE 2006: 1-16 |
| 56 | EE | Kung-Kiu Lau,
Faris M. Taweel:
Towards Encapsulating Data in Component-Based Software Systems.
CBSE 2006: 376-384 |
| 55 | EE | Kung-Kiu Lau,
Ling Ling,
Zheng Wang:
Composing Components in Design Phase using Exogenous Connectors.
EUROMICRO-SEAA 2006: 12-19 |
| 54 | EE | Kung-Kiu Lau:
Software component models.
ICSE 2006: 1081-1082 |
| 53 | EE | Kung-Kiu Lau,
Vladyslav Ukis:
Automatic Control Flow Generation from Software Architectures.
Software Composition 2006: 323-338 |
| 52 | EE | Stuart Allen,
John N. Crossley,
Kung-Kiu Lau,
Iman Poernomo:
Preface.
Electr. Notes Theor. Comput. Sci. 153(1): 1-2 (2006) |
| 51 | EE | Kung-Kiu Lau,
Vladyslav Ukis,
Perla Velasco Elizondo,
Zheng Wang:
A Component Model for Separation of Control Flow from Computation in Component-Based Systems.
Electr. Notes Theor. Comput. Sci. 163(1): 57-69 (2006) |
| 2005 |
|---|
| 50 | | Kung-Kiu Lau,
Richard Banach:
Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings
Springer 2005 |
| 49 | EE | Kung-Kiu Lau,
Perla Velasco Elizondo,
Zheng Wang:
Exogenous Connectors for Software Components.
CBSE 2005: 90-106 |
| 48 | EE | Kung-Kiu Lau,
Zheng Wang:
A Taxonomy of Software Component Models.
EUROMICRO-SEAA 2005: 88-95 |
| 47 | EE | Kung-Kiu Lau,
Mario Ornaghi,
Zheng Wang:
A Software Component Model and Its Preliminary Formalisation.
FMCO 2005: 1-21 |
| 2004 |
|---|
| 46 | | Maurice Bruynooghe,
Kung-Kiu Lau:
Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development
Springer 2004 |
| 45 | EE | Kung-Kiu Lau,
Alberto Momigliano,
Mario Ornaghi:
Constructive Specifications for Compositional Units.
LOPSTR 2004: 198-214 |
| 44 | EE | Kung-Kiu Lau,
Mario Ornaghi:
Specifying Compositional Units for Correct Program Development in Computational Logic.
Program Development in Computational Logic 2004: 1-29 |
| 43 | EE | Kung-Kiu Lau:
A Beginner's Course on Reasoning About Imperative Programs.
TFM 2004: 1-16 |
| 2003 |
|---|
| 42 | EE | Kung-Kiu Lau:
Component-Based Software Development and Logic Programming.
ICLP 2003: 103-108 |
| 41 | EE | Kung-Kiu Lau,
Mario Ornaghi:
Correct OO Systems in Computational Logic.
LOPSTR 2003: 34-53 |
| 2002 |
|---|
| 40 | EE | Kung-Kiu Lau,
Mario Ornaghi:
Logic for Component-Based Software Development.
Computational Logic: Logic Programming and Beyond 2002: 347-373 |
| 39 | EE | Kung-Kiu Lau,
Michel Vanden Bossche:
Logic Programming for Software Engineering: A Second Chance.
ICLP 2002: 437-451 |
| 38 | EE | Kung-Kiu Lau,
Mario Ornaghi:
Towards Correct Object-Oriented Design Frameworks in Computational Logic.
LOPSTR 2002: 260-261 |
| 37 | | Maurice Bruynooghe,
Kung-Kiu Lau:
Special Issue on Program Development, Guest Editors' Introduction.
TPLP 2(4-5): 423-424 (2002) |
| 2001 |
|---|
| 36 | | Kung-Kiu Lau:
Logic Based Program Synthesis and Transformation, 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000, Selected Papers.
Springer 2001 |
| 35 | EE | Shui Ming Ho,
Kung-Kiu Lau:
On the Implementation of Catalysis Frameworks in COM.
APSEC 2001: 243-250 |
| 34 | EE | Shui Ming Ho,
Kung-Kiu Lau:
On the Implementation of OOD Frameworks in COM.
EUROMICRO 2001: 40-47 |
| 33 | EE | Kung-Kiu Lau,
Mario Ornaghi:
Correct Object-Oriented Systems in Computational Logic.
LOPSTR 2001: 168-190 |
| 2000 |
|---|
| 32 | | John W. Lloyd,
Verónica Dahl,
Ulrich Furbach,
Manfred Kerber,
Kung-Kiu Lau,
Catuscia Palamidessi,
Luís Moniz Pereira,
Yehoshua Sagiv,
Peter J. Stuckey:
Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings
Springer 2000 |
| 31 | EE | Juliana Küster Filipe,
Kung-Kiu Lau,
Mario Ornaghi,
Kenji Taguchi,
Hirokazu Yatsu,
Alan Wills:
Formal specification of Catalysis frameworks.
APSEC 2000: 180-187 |
| 30 | EE | Kung-Kiu Lau,
Mario Ornaghi:
Isoinitial Semantics for Logic Programs.
Computational Logic 2000: 223-238 |
| 29 | | Pierre Flener,
Kung-Kiu Lau,
Wolfgang Bibel:
Foreword to the Special Issue on Schemas.
J. Symb. Comput. 30(1): 1-3 (2000) |
| 28 | | Pierre Flener,
Kung-Kiu Lau,
Mario Ornaghi,
Julian Richardson:
An Abstract Formalization of Correct Schemas for Program Synthesis.
J. Symb. Comput. 30(1): 93-127 (2000) |
| 1999 |
|---|
| 27 | | Kung-Kiu Lau,
Mario Ornaghi:
Isoinitial Models for Logic Programs: Some Preliminary Results.
ICLP 1999: 611 |
| 26 | | Juliana Küster Filipe,
Kung-Kiu Lau,
Mario Ornaghi,
Hirokazu Yatsu:
On Dynamic Aspects of OOD Frameworks in Component-Based Software Development in Computational Logic.
LOPSTR 1999: 42-61 |
| 25 | | Kung-Kiu Lau,
Mario Ornaghi,
Sten-Åke Tärnlund:
Steadfast Logic Programs.
J. Log. Program. 38(3): 259-294 (1999) |
| 1998 |
|---|
| 24 | | Kung-Kiu Lau,
Mario Ornaghi:
Isoinitial Models for Logic Programs: A Preliminary Study.
APPIA-GULP-PRODE 1998: 443-456 |
| 23 | EE | Kung-Kiu Lau,
S. Liu,
Mario Ornaghi,
Alan Wills:
Interacting Frameworks in Catalysis.
ICFEM 1998: 110- |
| 22 | EE | Kung-Kiu Lau,
Mario Ornaghi:
OOD Frameworks in Component-Based Software - Development in Computational Logic.
LOPSTR 1998: 101-123 |
| 1997 |
|---|
| 21 | | Kung-Kiu Lau,
Mario Ornaghi:
On the Relationship between Logic Programs and Specifications.
APPIA-GULP-PRODE 1997: 433-444 |
| 20 | EE | Pierre Flener,
Kung-Kiu Lau,
Mario Ornaghi:
Correct-Schema-Guided Synthesis of Steadfast Programs.
ASE 1997: 153- |
| 19 | | Kung-Kiu Lau,
Mario Ornaghi,
Alan Wills:
Frameworks in Catalysis: Pictorial Notation and Formal Semantics.
ICFEM 1997: 213- |
| 18 | EE | Pierre Flener,
Kung-Kiu Lau,
Mario Ornaghi:
On Correct Program Schemas.
LOPSTR 1997: 128-147 |
| 17 | | Kung-Kiu Lau,
Mario Ornaghi:
The Relationship Between Logic Programs and Specifications - The Subset Example Revisited.
J. Log. Program. 30(3): 239-257 (1997) |
| 1996 |
|---|
| 16 | | Christoph Kreitz,
Kung-Kiu Lau,
Mario Ornaghi:
Formal Reasoning about Modules, Reuse and their Correctness.
FAPR 1996: 384-398 |
| 15 | | Kung-Kiu Lau,
Mario Ornaghi:
Forms of Logic Specifications: A Preliminary Study.
LOPSTR 1996: 295-312 |
| 1995 |
|---|
| 14 | | Kung-Kiu Lau,
Mario Ornaghi,
Alberto Pettorossi,
Maurizio Proietti:
Correctness of Logic Program Transformations Based on Existential Termination.
ILPS 1995: 480-494 |
| 13 | | Kung-Kiu Lau,
Mario Ornaghi:
A Formal Approach to Deductive Synthesis of Constraint Logic Programs.
ILPS 1995: 543-557 |
| 12 | | Kung-Kiu Lau,
Mario Ornaghi:
Towards an Object-Oriented Methodology for Deductive Synthesis of Logic Programs.
LOPSTR 1995: 152-169 |
| 1994 |
|---|
| 11 | | Kung-Kiu Lau,
Geraint A. Wiggins:
A Tutorial on Synthesis of Logic Programs from Specifications.
ICLP 1994: 11-14 |
| 10 | | Kung-Kiu Lau,
Mario Ornaghi,
Sten-Åke Tärnlund:
The Halting Problem for Deductive Synthesis of Logic Programs.
ICLP 1994: 665-683 |
| 9 | | Kung-Kiu Lau,
Mario Ornaghi:
On Specification Frameworks and Deductive Synthesis of Logic Programs.
LOPSTR 1994: 104-121 |
| 8 | EE | Kung-Kiu Lau,
Vicky J. Bush,
Pete J. Jinks:
Towards an introductory formal programming course.
SIGCSE 1994: 121-125 |
| 7 | | Yves Deville,
Kung-Kiu Lau:
Logic Program Synthesis.
J. Log. Program. 19/20: 321-350 (1994) |
| 1993 |
|---|
| 6 | | Kung-Kiu Lau,
Mario Ornaghi:
An Incompleteness Result for Deductive Synthesis of Logic Programs.
ICLP 1993: 456-477 |
| 5 | | Kung-Kiu Lau,
Mario Ornaghi:
A Formal View of Specification, Deductive Synthesis and Transformation of Logic Programs.
LOPSTR 1993: 10-31 |
| 1991 |
|---|
| 4 | | Kung-Kiu Lau,
Steven David Prestwich:
Synthesis of a Family of Recursive Sorting Procedures.
ISLP 1991: 641-658 |
| 1990 |
|---|
| 3 | | Kung-Kiu Lau,
Steven David Prestwich:
Top-down Synthesis of Recursive Logic Procedures from First-order Logic Specifications.
ICLP 1990: 667-684 |
| 1989 |
|---|
| 2 | | Kung-Kiu Lau:
A Note on Synthesis and Classification of Sorting Algorithms.
Acta Inf. 27(1): 73-80 (1989) |
| 1986 |
|---|
| 1 | | Kung-Kiu Lau,
Xiang-Zhen Qiao:
FFT on a New Parallel Vector Processor.
CONPAR 1986: 84-94 |
