Automatic Characterisation of Musical Style. - Martin D. Westhead; Alan Smaill (Music Education: An Artificial Intelligence Approach, 1993)

Verification of Embedded Systems Using Synchronous Observers. - Martin Westhead; Simin Nadjm-Tehrani (FTRTFT, 1996)

Modeling hybrid systems as the limit of discrete computational processes. - Martin D. Westhead; John Hallam (ICRA, 1996)

EPIC: Building a structured learning environment. - Martin D. Westhead (WebNet, 1996)

Towards a Method for Migrating Courses from the Classroom to the Web. - Martin D. Westhead; Elspeth M. Minty (WebNet, 1998)

A Methodology for Benchmarking Java Grande Applications. - J. Mark Bull; L. A. Smith; Martin D. Westhead; D. S. Henty; R. A. Davey (Java Grande, 1999)

A benchmark suite for high performance Java. - J. Mark Bull; L. A. Smith; Martin D. Westhead; D. S. Henty; R. A. Davey (Concurr. Pract. Exp., 2000)

Describing Data on the Grid. - Martin Westhead; Ted Wen; Robert Carroll (GRID, 2003)

An investigation of multilevel service provision for voice over IP under catastrophic congestion. - Yang Xu 015; Martin Westhead; Fred Baker (IEEE Commun. Mag., 2004)

The design and implementation of Grid database services in OGSA-DAI. - Mario Antonioletti; Malcolm P. Atkinson 001; Robert M. Baxter; Andrew Borley; Neil P. Chue Hong; Brian Collins; Neil Hardman; Alastair C. Hume; Alan Knox; Mike Jackson 003; Amrey Krause; Simon Laws; et al. (Concurr. Pract. Exp., 2005)