Videla, A; Lines, K (2025) Functional Programming (with some Type Theory) for Metrology. NPL Report. MS 60

Levene, M; Adel, T; Alsuleman, M; George, I; Krishnadas, P; Lines, K; Luo, Y; Smith, I; Duncan, P (2024) A Life Cycle for Trustworthy and Safe Artificial Intelligence Systems. NPL Report. MS 57

Lines, K; Krishnamurthy, H (2023) Model-based Systems Engineering at NPL: An initial investigation. NPL Report. MS 42