Kung-Kiu Lau
Chinese University of Hong Kong(HK)
Publications by Year
Research Areas
Advanced Software Engineering Methodologies, Service-Oriented Architecture and Web Services, Logic, programming, and type systems, Software Engineering Research, Formal Methods in Verification
Most-Cited Works
- → Software Component Models(2007)326 cited
- Proceedings of the 1998 joint international conference and symposium on Logic programming(1998)
- → Exogenous Connectors for Software Components(2005)83 cited
- → A Taxonomy of Software Component Models(2005)80 cited
- → Evaluating IoT service composition mechanisms for the scalability of IoT systems(2020)74 cited
- → Logic program synthesis(1994)65 cited
- → A Software Component Model and Its Preliminary Formalisation(2006)48 cited
- → A catalogue of component connectors to support development with reuse