Kung-Kiu Lau - researchr alias

researchr

You are not signed in
Sign in
Sign up

2010

A catalogue of component connectors to support development with reusePerla Velasco Elizondo, Kung-Kiu Lau. jss, 83(7):1165-1178, 2010. [doi]

(Behavioural) Design Patterns as Composition OperatorsKung-Kiu Lau, Ioannis Ntalamagkas, Cuong M. Tran, Tauseef Rana. cbse 2010: 232-251 [doi]

2009

Domain-Specific Software Component ModelsKung-Kiu Lau, Faris M. Taweel. cbse 2009: 19-35 [doi]

Control Encapsulation: A Calculus for Exogenous Composition of Software ComponentsKung-Kiu Lau, Mario Ornaghi. cbse 2009: 121-139 [doi]

Component-Based Construction of Concurrent Systems with Active ComponentsKung-Kiu Lau, Ioannis Ntalamagkas. euromicro 2009: 497-501 [doi]

2008

A Compositional Approach to Active and Passive ComponentsKung-Kiu Lau, Ioannis Ntalamagkas. seaa 2008: 76-83 [doi]

2007

Active learning sheets for a beginner s course on reasoning about imperative programsKung-Kiu Lau. sigcse 2007: 198-202 [doi]

Using SPARK for a beginner s course on reasoning about imperative programsKung-Kiu Lau. sigada 2007: 75-78 [doi]

Composite Web ServicesKung-Kiu Lau, Cuong M. Tran. ecows 2008: [doi]

Composite Connectors for Composing Software ComponentsKung-Kiu Lau, Ling Ling, Vladyslav Ukis, Perla Velasco Elizondo. SC 2007: 266-280 [doi]

Data Encapsulation in Software ComponentsKung-Kiu Lau, Faris M. Taweel. cbse 2007: 1-16 [doi]

A Study of Execution Environments for Software ComponentsKung-Kiu Lau, Vladyslav Ukis. cbse 2007: 107-123 [doi]

Software Component ModelsKung-Kiu Lau, Zheng Wang. TSE, 33(10):709-724, 2007. [doi]

Towards Composing Software Components in Both Design and Deployment PhasesKung-Kiu Lau, Ling Ling, Perla Velasco Elizondo. cbse 2007: 274-282 [doi]

Verified component-based software in SPARK: experimental results for a missile guidance systemKung-Kiu Lau, Zheng Wang. sigada 2007: 51-58 [doi]

2006

2005

Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, ProceedingsKung-Kiu Lau, Richard Banach, editors, Volume 3785 of Lecture Notes in Computer Science, Springer, 2005.

A Software Component Model and Its Preliminary FormalisationKung-Kiu Lau, Mario Ornaghi, Zheng Wang. FMCO 2006: 1-21 [doi]

Exogenous Connectors for Software ComponentsKung-Kiu Lau, Perla Velasco Elizondo, Zheng Wang. cbse 2005: 90-106 [doi]

A Taxonomy of Software Component ModelsKung-Kiu Lau, Zheng Wang. euromicro 2005: 88-95 [doi]

2004

Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program DevelopmentMaurice Bruynooghe, Kung-Kiu Lau, editors, Volume 3049 of Lecture Notes in Computer Science, Springer, 2004.

A Beginner s Course on Reasoning About Imperative ProgramsKung-Kiu Lau. tfm 2004: 1-16 [doi]

Constructive Specifications for Compositional UnitsKung-Kiu Lau, Alberto Momigliano, Mario Ornaghi. LOPSTR 2005: 198-214 [doi]

Specifying Compositional Units for Correct Program Development in Computational LogicKung-Kiu Lau, Mario Ornaghi. LOPSTR 2004: 1-29 [doi]

2003

Correct OO Systems in Computational LogicKung-Kiu Lau, Mario Ornaghi. LOPSTR 2004: 34-53 [doi]

Component-Based Software Development and Logic ProgrammingKung-Kiu Lau. ICLP 2003: 103-108 [doi]

2002

Special Issue on Program Development, Guest Editors IntroductionMaurice Bruynooghe, Kung-Kiu Lau. tplp, 2(4-5):423-424, 2002.

Logic Programming for Software Engineering: A Second ChanceKung-Kiu Lau, Michel Vanden Bossche. ICLP 2002: 437-451 [doi]

Towards Correct Object-Oriented Design Frameworks in Computational LogicKung-Kiu Lau, Mario Ornaghi. LOPSTR 2003: 260-261 [doi]

Logic for Component-Based Software DevelopmentKung-Kiu Lau, Mario Ornaghi. BIRTHDAY 2002: 347-373 [doi]

2001

On the Implementation of OOD Frameworks in COMShui Ming Ho, Kung-Kiu Lau. euromicro 2001: 40-47 [doi]

On the Implementation of Catalysis Frameworks in COMShui Ming Ho, Kung-Kiu Lau. apsec 2001: 243-250 [doi]

Logic Based Program Synthesis and Transformation, 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000, Selected PapersKung-Kiu Lau, editor, Volume 2042 of Lecture Notes in Computer Science, Springer, 2001.

Correct Object-Oriented Systems in Computational LogicKung-Kiu Lau, Mario Ornaghi. LOPSTR 2001: 168-190 [doi]

2000

Formal specification of Catalysis frameworksJuliana Küster Filipe, Kung-Kiu Lau, Mario Ornaghi, Kenji Taguchi, Hirokazu Yatsu, Alan Wills. apsec 2000: 180-187 [doi]

An Abstract Formalization of Correct Schemas for Program SynthesisPierre Flener, Kung-Kiu Lau, Mario Ornaghi, Julian Richardson. JSC, 30(1):93-127, 2000.

Foreword to the Special Issue on SchemasPierre Flener, Kung-Kiu Lau, Wolfgang Bibel. JSC, 30(1):1-3, 2000.

Isoinitial Semantics for Logic ProgramsKung-Kiu Lau, Mario Ornaghi. cl 2000: 223-238 [doi]

Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, ProceedingsJohn W. Lloyd, Verónica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey, editors, Volume 1861 of Lecture Notes in Computer Science, Springer, 2000.

1999

On Dynamic Aspects of OOD Frameworks in Component-Based Software Development in Computational LogicJuliana Küster Filipe, Kung-Kiu Lau, Mario Ornaghi, Hirokazu Yatsu. LOPSTR 2000: 42-61

Isoinitial Models for Logic Programs: Some Preliminary ResultsKung-Kiu Lau, Mario Ornaghi. ICLP 1999: 611

Steadfast Logic ProgramsKung-Kiu Lau, Mario Ornaghi, Sten-Åke Tärnlund. jlp, 38(3):259-294, 1999.

1998

Interacting Frameworks in CatalysisKung-Kiu Lau, S. Liu, Mario Ornaghi, Alan Wills. icfem 1998: 110 [doi]

Isoinitial Models for Logic Programs: A Preliminary StudyKung-Kiu Lau, Mario Ornaghi. agp 1998: 443-456

OOD Frameworks in Component-Based Software - Development in Computational LogicKung-Kiu Lau, Mario Ornaghi. LOPSTR 1990: 101-123 [doi]

1997

1996

Formal Reasoning about Modules, Reuse and their CorrectnessChristoph Kreitz, Kung-Kiu Lau, Mario Ornaghi. fapr 1996: 384-398

Forms of Logic Specifications: A Preliminary StudyKung-Kiu Lau, Mario Ornaghi. LOPSTR 1997: 295-312

1995

Towards an Object-Oriented Methodology for Deductive Synthesis of Logic ProgramsKung-Kiu Lau, Mario Ornaghi. LOPSTR 1996: 152-169

A Formal Approach to Deductive Synthesis of Constraint Logic ProgramsKung-Kiu Lau, Mario Ornaghi. slp 1995: 543-557

Correctness of Logic Program Transformations Based on Existential TerminationKung-Kiu Lau, Mario Ornaghi, Alberto Pettorossi, Maurizio Proietti. slp 1995: 480-494

1994

1993

An Incompleteness Result for Deductive Synthesis of Logic ProgramsKung-Kiu Lau, Mario Ornaghi. ICLP 1993: 456-477

A Formal View of Specification, Deductive Synthesis and Transformation of Logic ProgramsKung-Kiu Lau, Mario Ornaghi. LOPSTR 1993: 10-31

1991

Synthesis of a Family of Recursive Sorting ProceduresKung-Kiu Lau, Steven David Prestwich. slp 1991: 641-658

1990

Top-down Synthesis of Recursive Logic Procedures from First-order Logic SpecificationsKung-Kiu Lau, Steven David Prestwich. ICLP 1990: 667-684

1989

A Note on Synthesis and Classification of Sorting AlgorithmsKung-Kiu Lau. ACTA, 27(1):73-80, 1989.

1986

FFT on a New Parallel Vector ProcessorKung-Kiu Lau, Xiang-Zhen Qiao. conpar 1986: 84-94