default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDKung-Kiu Lau
Person information
- affiliation: University of Manchester, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[j12]Damian Arellanes, Kung-Kiu Lau, Rizos Sakellariou:
Decentralized Data Flows for the Functional Scalability of Service-Oriented IoT Systems. Comput. J. 66(6): 1477-1506 (2023)- 2020
- [j11]Damian Arellanes
, Kung-Kiu Lau:
Evaluating IoT service composition mechanisms for the scalability of IoT systems. Future Gener. Comput. Syst. 108: 827-848 (2020)
2010 – 2019
- 2019
- [c85]Damian Arellanes, Kung-Kiu Lau:
Workflow Variability for Autonomic IoT Systems. ICAC 2019: 24-30 - [c84]Damian Arellanes, Kung-Kiu Lau:
Decentralized Data Flows in Algebraic Service Compositions for the Scalability of IoT Systems. WF-IoT 2019: 668-673 - 2018
- [c83]Elie El Hayek, Imen Grida Ben Yahia, Damian Arellanes, Kung-Kiu Lau:
Analysis of component-based approaches toward componentized 5G. ICIN 2018: 1-5 - [c82]Damian Arellanes, Kung-Kiu Lau:
Analysis and Classification of Service Interactions for the Scalability of the Internet of Things. ICIOT 2018: 80-87 - [c81]Damian Arellanes, Kung-Kiu Lau:
Algebraic Service Composition for User-Centric IoT Applications. ICIOT 2018: 56-69 - [c80]Rehman Arshad, Kung-Kiu Lau:
Reverse Engineering Encapsulated Components from Object-Oriented Legacy Code. SEKE 2018: 572-571 - 2017
- [b1]Kung-Kiu Lau, Simone Di Cola:
An Introduction to Component-Based Software Development. Series on Component-Based Software Development 3, WorldScientific 2017, ISBN 9789813221871, pp. 1-160 - [c79]Damian Arellanes, Kung-Kiu Lau:
D-XMAN: A Platform For Total Compositionality in Service-Oriented Architectures. SC² 2017: 283-286 - [c78]Damian Arellanes, Kung-Kiu Lau:
Exogenous Connectors for Hierarchical Service Composition. SOCA 2017: 125-132 - 2016
- [c77]Simone Di Cola, Cuong M. Tran, Kung-Kiu Lau, Chen Qian, Michael Schulze:
A Component Model for Defining Software Product Families with Explicit Variation Points. CBSE 2016: 79-84 - [c76]Kung-Kiu Lau:
From Formal Methods to Software Components: Back to the Future? FACS 2016: 10-14 - 2015
- [c75]Simone Di Cola, Cuong M. Tran, Kung-Kiu Lau, Antonio Celesti, Maria Fazio:
A Heterogeneous Approach for Developing Applications with FIWARE GEs. ESOCC 2015: 65-79 - [c74]Simone Di Cola, Cuong M. Tran, Kung-Kiu Lau:
A Graphical Tool for Model-Driven Development Using Components and Services. EUROMICRO-SEAA 2015: 181-182 - [c73]Simone Di Cola, Kung-Kiu Lau, Cuong M. Tran, Chen Qian:
Towards Defining Families of Systems in IoT: Logical Architectures with Variation Points. IoT 360 (1) 2015: 419-426 - [c72]Simone Di Cola, Kung-Kiu Lau, Cuong M. Tran, Chen Qian:
An MDE tool for defining software product families with explicit variation points. SPLC 2015: 355-360 - 2014
- [c71]Kung-Kiu Lau:
Software component models: past, present and future. CBSE 2014: 185-186 - [e10]Massimo Villari, Wolf Zimmermann, Kung-Kiu Lau:
Service-Oriented and Cloud Computing - Third European Conference, ESOCC 2014, Manchester, UK, September 2-4, 2014. Proceedings. Lecture Notes in Computer Science 8745, Springer 2014, ISBN 978-3-662-44878-6 [contents] - 2013
- [c70]Asmaa S. Alayed, Kung-Kiu Lau, Petr Stepan, Cuong M. Tran:
Towards Component-based Domain Engineering. EUROMICRO-SEAA 2013: 106-113 - [c69]Kung-Kiu Lau, Petr Stepan, Cuong M. Tran, Sébastien Saudrais, Borjan Tchakaloff:
A Holistic (Component-based) Approach to AUTOSAR Designs. EUROMICRO-SEAA 2013: 203-207 - [e9]Kung-Kiu Lau, Winfried Lamersdorf, Ernesto Pimentel:
Service-Oriented and Cloud Computing - Second European Conference, ESOCC 2013, Málaga, Spain, September 11-13, 2013. Proceedings. Lecture Notes in Computer Science 8135, Springer 2013, ISBN 978-3-642-40650-8 [contents] - 2012
- [c68]Kung-Kiu Lau, Keng-Yap Ng, Tauseef Rana, Cuong M. Tran:
Incremental construction of component-based systems. CBSE 2012: 41-50 - [c67]Petr Stepan, Kung-Kiu Lau:
Controller patterns for component-based reactive control software systems. CBSE 2012: 71-76 - [c66]Kung-Kiu Lau, Cuong M. Tran:
X-MAN: An MDE Tool for Component-Based System Development. EUROMICRO-SEAA 2012: 158-165 - 2011
- [c65]Kung-Kiu Lau, Lily Safie, Petr Stepan, Cuong M. Tran:
A component model that is both control-driven and data-driven. CBSE 2011: 41-50 - [c64]Kung-Kiu Lau, Azlin Nordin, Keng-Yap Ng:
Extracting Elements of Component-Based Systems from Natural Language Requirements. EUROMICRO-SEAA 2011: 39-46 - [c63]Kung-Kiu Lau, Faris M. Taweel, Cuong M. Tran:
The W Model for Component-Based Software Development. EUROMICRO-SEAA 2011: 47-50 - 2010
- [j10]Perla Velasco Elizondo, Kung-Kiu Lau:
A catalogue of component connectors to support development with reuse. J. Syst. Softw. 83(7): 1165-1178 (2010) - [c62]Kung-Kiu Lau, Ioannis Ntalamagkas, Cuong M. Tran, Tauseef Rana:
(Behavioural) Design Patterns as Composition Operators. CBSE 2010: 232-251 - [c61]Kung-Kiu Lau, Azlin Nordin, Tauseef Rana, Faris M. Taweel:
Constructing Component-Based Systems Directly from Requirements Using Incremental Composition. EUROMICRO-SEAA 2010: 85-93 - [c60]Kung-Kiu Lau, Tauseef Rana:
A Taxonomy of Software Composition Mechanisms. EUROMICRO-SEAA 2010: 102-110
2000 – 2009
- 2009
- [c59]Kung-Kiu Lau, Faris M. Taweel:
Domain-Specific Software Component Models. CBSE 2009: 19-35 - [c58]Kung-Kiu Lau, Mario Ornaghi:
Control Encapsulation: A Calculus for Exogenous Composition of Software Components. CBSE 2009: 121-139 - [c57]Kung-Kiu Lau, Ioannis Ntalamagkas:
Component-Based Construction of Concurrent Systems with Active Components. EUROMICRO-SEAA 2009: 497-501 - 2008
- [c56]Kung-Kiu Lau, Cuong M. Tran:
Server-side Exception Handling by Composite Web Services. WEWST@ECOWS 2008: 37-54 - [c55]Kung-Kiu Lau, Ioannis Ntalamagkas:
A Compositional Approach to Active and Passive Components. EUROMICRO-SEAA 2008: 76-83 - 2007
- [j9]Kung-Kiu Lau, Zheng Wang:
Software Component Models. IEEE Trans. Software Eng. 33(10): 709-724 (2007) - [c54]Kung-Kiu Lau, Faris M. Taweel:
Data Encapsulation in Software Components. CBSE 2007: 1-16 - [c53]Kung-Kiu Lau, Vladyslav Ukis:
A Study of Execution Environments for Software Components. CBSE 2007: 107-123 - [c52]Kung-Kiu Lau, Ling Ling, Perla Velasco Elizondo:
Towards Composing Software Components in Both Design and Deployment Phases. CBSE 2007: 274-282 - [c51]Kung-Kiu Lau, Cuong M. Tran:
Composite Web Services. WEWST 2007 - [c50]Kung-Kiu Lau, Cuong M. Tran:
Composite Web Services. WEWST@ECOWS (Final Proceedings) 2007: 77-95 - [c49]Kung-Kiu Lau, Zheng Wang:
Verified component-based software in SPARK: experimental results for a missile guidance system. SIGAda 2007: 51-58 - [c48]Kung-Kiu Lau:
Using SPARK for a beginner's course on reasoning about imperative programs. SIGAda 2007: 75-78 - [c47]Kung-Kiu Lau:
Active learning sheets for a beginner's course on reasoning about imperative programs. SIGCSE 2007: 198-202 - [c46]Kung-Kiu Lau, Ling Ling, Vladyslav Ukis, Perla Velasco Elizondo:
Composite Connectors for Composing Software Components. SC@ETAPS 2007: 266-280 - 2006
- [c45]Kung-Kiu Lau, Vladyslav Ukis:
Defining and Checking Deployment Contracts for Software Components. CBSE 2006: 1-16 - [c44]Kung-Kiu Lau, Faris M. Taweel:
Towards Encapsulating Data in Component-Based Software Systems. CBSE 2006: 376-384 - [c43]Kung-Kiu Lau, Ling Ling, Zheng Wang:
Composing Components in Design Phase using Exogenous Connectors. EUROMICRO-SEAA 2006: 12-19 - [c42]Kung-Kiu Lau:
Software component models. ICSE 2006: 1081-1082 - [c41]Kung-Kiu Lau, Vladyslav Ukis:
Automatic Control Flow Generation from Software Architectures. SC@ETAPS 2006: 323-338 - [e8]Stuart Allen, John N. Crossley, Kung-Kiu Lau, Iman Poernomo:
Proceedings of the Workshop on the Constructive Logic for Automated Software Engineering, CLASE 2005, Edinburgh, UK, April 9, 2005. Electronic Notes in Theoretical Computer Science 153(1), Elsevier 2006 [contents] - 2005
- [c40]Kung-Kiu Lau, Perla Velasco Elizondo, Zheng Wang:
Exogenous Connectors for Software Components. CBSE 2005: 90-106 - [c39]Kung-Kiu Lau, Zheng Wang:
A Taxonomy of Software Component Models. EUROMICRO-SEAA 2005: 88-95 - [c38]Kung-Kiu Lau, Mario Ornaghi, Zheng Wang:
A Software Component Model and Its Preliminary Formalisation. FMCO 2005: 1-21 - [c37]Stuart Allen, John N. Crossley, Kung-Kiu Lau, Iman Poernomo:
Preface. CLASE 2005: 1-2 - [c36]Kung-Kiu Lau, Vladyslav Ukis, Perla Velasco Elizondo, Zheng Wang:
A Component Model for Separation of Control Flow from Computation in Component-Based Systems. ABMB 2005: 57-69 - [e7]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. Lecture Notes in Computer Science 3785, Springer 2005, ISBN 3-540-29797-9 [contents] - 2004
- [c35]Kung-Kiu Lau, Alberto Momigliano, Mario Ornaghi:
Constructive Specifications for Compositional Units. LOPSTR 2004: 198-214 - [c34]Kung-Kiu Lau:
A Beginner's Course on Reasoning About Imperative Programs. TFM 2004: 1-16 - [p1]Kung-Kiu Lau, Mario Ornaghi:
Specifying Compositional Units for Correct Program Development in Computational Logic. Program Development in Computational Logic 2004: 1-29 - [e6]Maurice Bruynooghe, Kung-Kiu Lau:
Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development. Lecture Notes in Computer Science 3049, Springer 2004, ISBN 3-540-22152-2 [contents] - 2003
- [c33]Kung-Kiu Lau:
Component-Based Software Development and Logic Programming. ICLP 2003: 103-108 - [c32]Kung-Kiu Lau, Mario Ornaghi:
Correct OO Systems in Computational Logic. LOPSTR 2003: 34-53 - 2002
- [j8]Maurice Bruynooghe, Kung-Kiu Lau:
Special Issue on Program Development, Guest Editors' Introduction. Theory Pract. Log. Program. 2(4-5): 423-424 (2002) - [c31]Kung-Kiu Lau, Mario Ornaghi:
Logic for Component-Based Software Development. Computational Logic: Logic Programming and Beyond 2002: 347-373 - [c30]Kung-Kiu Lau, Michel Vanden Bossche:
Logic Programming for Software Engineering: A Second Chance. ICLP 2002: 437-451 - [c29]Kung-Kiu Lau, Mario Ornaghi:
Towards Correct Object-Oriented Design Frameworks in Computational Logic. LOPSTR 2002: 260-261 - 2001
- [c28]Shui Ming Ho, Kung-Kiu Lau:
On the Implementation of Catalysis Frameworks in COM. APSEC 2001: 243-250 - [c27]Shui Ming Ho, Kung-Kiu Lau:
On the Implementation of OOD Frameworks in COM. EUROMICRO 2001: 40-47 - [c26]Kung-Kiu Lau, Mario Ornaghi:
Correct Object-Oriented Systems in Computational Logic. LOPSTR 2001: 168-190 - [e5]Kung-Kiu Lau:
Logic Based Program Synthesis and Transformation, 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000, Selected Papers. Lecture Notes in Computer Science 2042, Springer 2001, ISBN 3-540-42127-0 [contents] - 2000
- [j7]Pierre Flener, Kung-Kiu Lau, Wolfgang Bibel:
Foreword to the Special Issue on Schemas. J. Symb. Comput. 30(1): 1-3 (2000) - [j6]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) - [c25]Juliana Küster Filipe, Kung-Kiu Lau, Mario Ornaghi, Kenji Taguchi, Hirokazu Yatsu, Alan Wills:
Formal specification of Catalysis frameworks. APSEC 2000: 180-187 - [c24]Kung-Kiu Lau, Mario Ornaghi:
Isoinitial Semantics for Logic Programs. Computational Logic 2000: 223-238 - [e4]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. Lecture Notes in Computer Science 1861, Springer 2000, ISBN 3-540-67797-6 [contents] - [e3]Kung-Kiu Lau:
Extended Abstracts of the 10th International Workshop on Logic-based Program Synthesis and Transformation, LOPSTR 2000, London, UK, July 24-28, 2000. Technical Report UMCS-00-6-1, Department of Computer Science, University of Manchester 2000 [contents]
1990 – 1999
- 1999
- [j5]Kung-Kiu Lau, Mario Ornaghi, Sten-Åke Tärnlund:
Steadfast Logic Programs. J. Log. Program. 38(3): 259-294 (1999) - [c23]Kung-Kiu Lau, Mario Ornaghi:
Isoinitial Models for Logic Programs: Some Preliminary Results. ICLP 1999: 611 - [c22]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 - 1998
- [c21]Kung-Kiu Lau, Mario Ornaghi:
Isoinitial Models for Logic Programs: A Preliminary Study. APPIA-GULP-PRODE 1998: 443-456 - [c20]Kung-Kiu Lau, Shaoying Liu, Mario Ornaghi, Alan Wills:
Interacting Frameworks in Catalysis. ICFEM 1998: 110-121 - [c19]Kung-Kiu Lau, Mario Ornaghi:
OOD Frameworks in Component-Based Software - Development in Computational Logic. LOPSTR 1998: 101-123 - 1997
- [j4]Kung-Kiu Lau, Mario Ornaghi:
The Relationship Between Logic Programs and Specifications - The Subset Example Revisited. J. Log. Program. 30(3): 239-257 (1997) - [c18]Kung-Kiu Lau, Mario Ornaghi:
On the Relationship between Logic Programs and Specifications. APPIA-GULP-PRODE 1997: 433-444 - [c17]Kung-Kiu Lau, Mario Ornaghi, Alan Wills:
Frameworks in Catalysis: Pictorial Notation and Formal Semantics. ICFEM 1997: 213-221 - [c16]Pierre Flener, Kung-Kiu Lau, Mario Ornaghi:
Correct-Schema-Guided Synthesis of Steadfast Programs. ASE 1997: 153- - [c15]Pierre Flener, Kung-Kiu Lau, Mario Ornaghi:
On Correct Program Schemas. LOPSTR 1997: 128-147 - 1996
- [c14]Christoph Kreitz, Kung-Kiu Lau, Mario Ornaghi:
Formal Reasoning about Modules, Reuse and their Correctness. FAPR 1996: 384-398 - [c13]Kung-Kiu Lau, Mario Ornaghi:
Forms of Logic Specifications: A Preliminary Study. LOPSTR 1996: 295-312 - 1995
- [c12]Kung-Kiu Lau, Mario Ornaghi:
Towards an Object-Oriented Methodology for Deductive Synthesis of Logic Programs. LOPSTR 1995: 152-169 - [c11]Kung-Kiu Lau, Mario Ornaghi, Alberto Pettorossi, Maurizio Proietti:
Correctness of Logic Program Transformations Based on Existential Termination. ILPS 1995: 480-494 - [c10]Kung-Kiu Lau, Mario Ornaghi:
A Formal Approach to Deductive Synthesis of Constraint Logic Programs. ILPS 1995: 543-557 - 1994
- [j3]Yves Deville, Kung-Kiu Lau:
Logic Program Synthesis. J. Log. Program. 19/20: 321-350 (1994) - [c9]Kung-Kiu Lau, Geraint A. Wiggins:
A Tutorial on Synthesis of Logic Programs from Specifications. ICLP 1994: 11-14 - [c8]Kung-Kiu Lau, Mario Ornaghi, Sten-Åke Tärnlund:
The Halting Problem for Deductive Synthesis of Logic Programs. ICLP 1994: 665-683 - [c7]Kung-Kiu Lau, Mario Ornaghi:
On Specification Frameworks and Deductive Synthesis of Logic Programs. LOPSTR 1994: 104-121 - [c6]Kung-Kiu Lau, Vicky J. Bush, Pete J. Jinks:
Towards an introductory formal programming course. SIGCSE 1994: 121-125 - 1993
- [c5]Kung-Kiu Lau, Mario Ornaghi:
An Incompleteness Result for Deductive Synthesis of Logic Programs. ICLP 1993: 456-477 - [c4]Kung-Kiu Lau, Mario Ornaghi:
A Formal View of Specification, Deductive Synthesis and Transformation of Logic Programs. LOPSTR 1993: 10-31 - [e2]Kung-Kiu Lau, Tim Clement:
Logic Program Synthesis and Transformation, Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, UK, 2-3 July 1992. Workshops in Computing, Springer 1993, ISBN 3-540-19806-7 [contents] - 1992
- [e1]Timothy Paul Clement, Kung-Kiu Lau:
Logic Program Synthesis and Transformation, Proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, UK, 4-5 July 1991. Workshops in Computing, Springer 1992, ISBN 3-540-19742-7 [contents] - 1991
- [j2]Kung-Kiu Lau:
Top-down Synthesis of Sorting Algorithms. Comput. J. 34(Additional-Papers): A001-A007 (1991) - [c3]Kung-Kiu Lau, Steven D. Prestwich:
Synthesis of a Family of Recursive Sorting Procedures. ISLP 1991: 641-658 - 1990
- [c2]Kung-Kiu Lau, Steven D. Prestwich:
Top-down Synthesis of Recursive Logic Procedures from First-order Logic Specifications. ICLP 1990: 667-684
1980 – 1989
- 1989
- [j1]Kung-Kiu Lau:
A Note on Synthesis and Classification of Sorting Algorithms. Acta Informatica 27(1): 73-80 (1989) - 1986
- [c1]Kung-Kiu Lau, Xiang-Zhen Qiao:
FFT on a New Parallel Vector Processor. CONPAR 1986: 84-94
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:11 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
