Kung-Kiu Lau
Affiliations:- University of Manchester, UK
According to our database1,
Kung-Kiu Lau
authored at least 98 papers
between 1986 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on cs.man.ac.uk
On csauthors.net:
Bibliography
2023
Decentralized Data Flows for the Functional Scalability of Service-Oriented IoT Systems.
Comput. J., June, 2023
2020
Future Gener. Comput. Syst., 2020
2019
Decentralized Data Flows in Algebraic Service Compositions for the Scalability of IoT Systems.
Proceedings of the 5th IEEE World Forum on Internet of Things, 2019
Proceedings of the 2019 IEEE International Conference on Autonomic Computing, 2019
2018
Proceedings of the 30th International Conference on Software Engineering and Knowledge Engineering, 2018
Proceedings of the Internet of Things - ICIOT 2018, 2018
Analysis and Classification of Service Interactions for the Scalability of the Internet of Things.
Proceedings of the 2018 IEEE International Congress on Internet of Things, 2018
Proceedings of the 21st Conference on Innovation in Clouds, 2018
2017
Proceedings of the 10th IEEE Conference on Service-Oriented Computing and Applications, 2017
Proceedings of the 2017 IEEE 7th International Symposium on Cloud and Service Computing, 2017
Series on Component-Based Software Development 3, WorldScientific, ISBN: 9789813221895, 2017
2016
Proceedings of the Formal Aspects of Component Software - 13th International Conference, 2016
A Component Model for Defining Software Product Families with Explicit Variation Points.
Proceedings of the 19th International ACM SIGSOFT Symposium on Component-Based Software Engineering, 2016
2015
Proceedings of the 19th International Conference on Software Product Line, 2015
Towards Defining Families of Systems in IoT: Logical Architectures with Variation Points.
Proceedings of the Internet of Things. IoT Infrastructures, 2015
Proceedings of the 41st Euromicro Conference on Software Engineering and Advanced Applications, 2015
Proceedings of the Service Oriented and Cloud Computing - 4th European Conference, 2015
2014
Proceedings of the CBSE'14, Proceedings of the 17th International ACM SIGSOFT Symposium on Component-Based Software Engineering (part of CompArch 2014), Marcq-en-Baroeul, Lille, France, June 30, 2014
2013
Proceedings of the 39th Euromicro Conference on Software Engineering and Advanced Applications, 2013
Proceedings of the 39th Euromicro Conference on Software Engineering and Advanced Applications, 2013
2012
Proceedings of the 38th Euromicro Conference on Software Engineering and Advanced Applications, 2012
Proceedings of the 15th ACM SIGSOFT Symposium on Component Based Software Engineering, 2012
Proceedings of the 15th ACM SIGSOFT Symposium on Component Based Software Engineering, 2012
2011
Proceedings of the 37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011, Oulu, Finland, August 30, 2011
Proceedings of the 37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011, Oulu, Finland, August 30, 2011
Proceedings of the 14th International ACM Sigsoft Symposium on Component Based Software Engineering, 2011
2010
J. Syst. Softw., 2010
Proceedings of the 36th EUROMICRO Conference on Software Engineering and Advanced Applications, 2010
Constructing Component-Based Systems Directly from Requirements Using Incremental Composition.
Proceedings of the 36th EUROMICRO Conference on Software Engineering and Advanced Applications, 2010
Proceedings of the Component-Based Software Engineering, 13th International Symposium, 2010
2009
Proceedings of the 35th Euromicro Conference on Software Engineering and Advanced Applications, 2009
Proceedings of the Component-Based Software Engineering, 12th International Symposium, 2009
Proceedings of the Component-Based Software Engineering, 12th International Symposium, 2009
2008
Proceedings of the 34th Euromicro Conference on Software Engineering and Advanced Applications, 2008
Proceedings of the Emerging Web Services Technology Volume III, 2008
2007
Proceedings of the Software Composition - 6th International Symposium, 2007
Active learning sheets for a beginner's course on reasoning about imperative programs.
Proceedings of the 38th SIGCSE Technical Symposium on Computer Science Education, 2007
Verified component-based software in SPARK: experimental results for a missile guidance system.
Proceedings of the 2007 Annual ACM SIGAda International Conference on Ada, 2007
Proceedings of the 2007 Annual ACM SIGAda International Conference on Ada, 2007
Proceedings of the 2nd ECOWS07 Workshop on Emerging Web Services Technology, 2007
Proceedings of the Component-Based Software Engineering, 10th International Symposium, 2007
Proceedings of the Component-Based Software Engineering, 10th International Symposium, 2007
Proceedings of the Component-Based Software Engineering, 10th International Symposium, 2007
2006
Proceedings of the Software Composition - 5th International Symposium, 2006
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006
Proceedings of the 32nd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA 2006), August 29, 2006
Proceedings of the Component-Based Software Engineering, 9th International Symposium, 2006
Proceedings of the Component-Based Software Engineering, 9th International Symposium, 2006
2005
A Component Model for Separation of Control Flow from Computation in Component-Based Systems.
Proceedings of the First Workshop on Aspect-Based and Model-Based Separation of Concerns in Software Systems, 2005
Proceedings of the Workshop on the Constructive Logic for Automated Software Engineering, 2005
Proceedings of the Formal Methods for Components and Objects, 4th International Symposium, 2005
Proceedings of the 31st EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA 2005), 30 August, 2005
Proceedings of the Component-Based Software Engineering, 8th International Symposium, 2005
2004
Proceedings of the Teaching Formal Methods, CoLogNET/FME Symposium, 2004
Specifying Compositional Units for Correct Program Development in Computational Logic.
Proceedings of the Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development, 2004
Proceedings of the Logic Based Program Synthesis and Transformation, 2004
2003
Proceedings of the Logic Based Program Synthesis and Transformation, 2003
Proceedings of the Logic Programming, 19th International Conference, 2003
2002
Theory Pract. Log. Program., 2002
Proceedings of the Logic Based Program Synthesis and Tranformation, 2002
Proceedings of the Logic Programming, 18th International Conference, 2002
Proceedings of the Computational Logic: Logic Programming and Beyond, 2002
2001
Proceedings of the Logic Based Program Synthesis and Transformation, 2001
Proceedings of the 27th EUROMICRO Conference 2001: A Net Odyssey, 2001
Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 2001
2000
J. Symb. Comput., 2000
Proceedings of the Computational Logic, 2000
Proceedings of the 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 2000
1999
On Dynamic Aspects of OOD Frameworks in Component-Based Software Development in Computational Logic.
Proceedings of the Logic Programming Synthesis and Transformation, 1999
Isoinitial Models for Logic Programs: Some Preliminary Results.
Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999
1998
Proceedings of the Logic Programming Synthesis and Transformation, 1998
Proceedings of the Second IEEE International Conference on Formal Engineering Methods, 1998
Isoinitial Models for Logic Programs: A Preliminary Study.
Proceedings of the 1998 Joint Conference on Declarative Programming, 1998
1997
The Relationship Between Logic Programs and Specifications - The Subset Example Revisited.
J. Log. Program., 1997
Proceedings of the Logic Programming Synthesis and Transformation, 1997
Proceedings of the 1997 International Conference on Automated Software Engineering, 1997
Proceedings of the First IEEE International Conference on Formal Engineering Methods, 1997
On the Relationship between Logic Programs and Specifications.
Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997
1996
Proceedings of the Logic Programming Synthesis and Transformation, 1996
Proceedings of the Practical Reasoning, 1996
1995
Proceedings of the Logic Programming, 1995
Proceedings of the Logic Programming, 1995
Proceedings of the Logic Programming Synthesis and Transformation, 1995
1994
Proceedings of the 25th SIGCSE Technical Symposium on Computer Science Education, 1994
Proceedings of the Logic Programming Synthesis and Transformation, 1994
A Tutorial on Synthesis of Logic Programs from Specifications.
Proceedings of the Logic Programming, 1994
The Halting Problem for Deductive Synthesis of Logic Programs.
Proceedings of the Logic Programming, 1994
1993
A Formal View of Specification, Deductive Synthesis and Transformation of Logic Programs.
Proceedings of the Logic Program Synthesis and Transformation, 1993
An Incompleteness Result for Deductive Synthesis of Logic Programs.
Proceedings of the Logic Programming, 1993
1991
Top-down Synthesis of Sorting Algorithms.
Comput. J., 1991
Synthesis of a Family of Recursive Sorting Procedures.
Proceedings of the Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, Oct. 28, 1991
1990
Top-down Synthesis of Recursive Logic Procedures from First-order Logic Specifications.
Proceedings of the Logic Programming, 1990
1989
1986
Proceedings of the CONPAR 86: Conference on Algorithms and Hardware for Parallel Processing, 1986