Concepedia

Kung-Kiu Lau

KL

Statistics

Publications

30

Citations

1.1K

H-Index

15

Active since

1991

Affiliations

University of Manchester(Current)

University of Milan

Uppsala University

Kung-Kiu Lau is an author at University of Manchester specializing in engineering, systems engineering, and computer science.

Top concepts

EngineeringSoftware DesignComputer ScienceSystems EngineeringSoftware EngineeringFormal MethodsComponent-based Software EngineeringSoftware AnalysisSystem SoftwareProgram Analysis

Publications per year

1991–2020

30

Publications

30

Software Component Models

Kung-Kiu Lau, Zheng Wang · IEEE Transactions on Software Engineering · 2007 · 326 citations

Software Maintenance, Engineering, Software Engineering +20

Proceedings of the 1998 joint international conference and symposium on Logic programming

Joxan Jaffar, Kung-Kiu Lau · International Conference on Logic Programming · 1998 · 116 citations

Applied Logic, Computational Logic, Engineering +9

A Taxonomy of Software Component Models

Kung-Kiu Lau, Zheng Wang · 2005 · 80 citations

Software Maintenance, Engineering, Software Engineering +19

Evaluating IoT service composition mechanisms for the scalability of IoT systems

Damian Arellanes, Kung-Kiu Lau · Future Generation Computer Systems · 2020 · 73 citations · Full text

Engineering, Iot Communication, Iot Protocol +7

Logic program synthesis

Yves Deville, Kung-Kiu Lau · The Journal of Logic Programming · 1994 · 65 citations · Full text

Logic Synthesis, Engineering, Automated Reasoning +6

1–5 of 30