Kung-Kiu Lau Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

1Stuart Allen [52]
2Richard Banach [50]
3Wolfgang Bibel [29]
4Michel Vanden Bossche [39]
5Juliana Küster Filipe Bowles (Juliana Küster Filipe) [26] [31]
6Maurice Bruynooghe [37] [46]
7Vicky J. Bush [8]
8John N. Crossley [52]
9Verónica Dahl [32]
10Yves Deville [7]
11Perla Velasco Elizondo [49] [51] [60] [64]
12Pierre Flener [18] [20] [28] [29]
13Ulrich Furbach [32]
14Shui Ming Ho [34] [35]
15Pete J. Jinks [8]
16Manfred Kerber [32]
17Christoph Kreitz [16]
18Ling Ling [55] [60] [64]
19S. Liu [23]
20John W. Lloyd [32]
21Alberto Momigliano [45]
22Ioannis Ntalamagkas [67] [68]
23Mario Ornaghi [5] [6] [9] [10] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [30] [31] [33] [38] [40] [41] [44] [45] [47] [70]
24Catuscia Palamidessi [32]
25Luís Moniz Pereira (Luíz Moniz Pereira) [32]
26Alberto Pettorossi [14]
27Iman Poernomo [52]
28Steven David Prestwich [3] [4]
29Maurizio Proietti [14]
30Xiang-Zhen Qiao [1]
31Julian Richardson [28]
32Yehoshua Sagiv [32]
33Peter J. Stuckey [32]
34Kenji Taguchi [31]
35Sten-Åke Tärnlund (Sten-Åke Tarnlund, Sten-Ake Tärnlund) [10] [25]
36Faris M. Taweel [56] [66] [69]
37Cuong M. Tran [59]
38Vladyslav Ukis [51] [53] [57] [60] [65]
39Zheng Wang [47] [48] [49] [51] [55] [58] [63]
40Geraint A. Wiggins [11]
41Alan Wills [19] [23] [31]
42Hirokazu Yatsu [26] [31]

Colors in the list of coauthors

Copyright © Mon Mar 15 21:39:48 2010 by Michael Ley (ley@uni-trier.de)