K.K. Lau

Component-based design and verification in X-MAN

Nannan He, Daniel Kroening, Thomas Wahl et al. · Research Explorer (The University of Manchester) · 2012 · 29 citations · Full text

Computing, Computer Engineering, Computer Science +12

Top-down synthesis of recursive logic procedures for first-order logic specifications

K.K. Lau, Steven Prestwich · International Conference on Lightning Protection · 1990 · 16 citations

Engineering, Computer Engineering, Computer Science +13

Characterization of best approximations in normed linear spaces of matrices by elements of finite-dimensional linear subspaces

K.K. Lau, W. Riha · Linear Algebra and its Applications · 1981 · 13 citations

Computing, Computer Science, Algorithms +14