Using Miranda as a First Programming Language. - Tim Lambert; Peter Lindsay; Ken Robinson (J. Funct. Program., 1993)

Specification and Validation of a Network Security Policy Model. - Peter Lindsay (Proof in VDM, 1998)

Analysing the latency of WWW applications. - Alan Ruddle; Colin Allison; Peter Lindsay (ICCCN, 2001)

Visualising interactions between TCP's congestion and flow control algorithms. - Alan Ruddle; Colin Allison; Peter Lindsay (ICCCN, 2002)

Determining the Sources of Delay in a Distributed Learning Environment. - Alan Ruddle; Colin Allison; Peter Lindsay; David McKechan (LeGE-WG 1, 2002)

A measurement based approach to TCP congestion control. - Alan Ruddle; Colin Allison; Peter Lindsay (Eur. Trans. Telecommun., 2002)

Fitness importance for online evolution. - Philip Valencia; Raja Jurdak; Peter Lindsay (GECCO (Companion), 2010)

Distributed genetic evolution in WSN. - Philip Valencia; Peter Lindsay; Raja Jurdak (IPSN, 2010)