 | 2012 |
| 3 |  | Paul Tennent,
Stuart Reeves,
Steve Benford,
Brendan Walker,
Joe Marshall,
Patrick Brundell,
Rupert Meese,
Paul Harter:
The machine in the ghost: augmenting broadcasting with biodata.
CHI Extended Abstracts 2012: 91-100 |
| 2011 |
| 2 |  | Joe Marshall,
Brendan Walker,
Steve Benford,
George Tomlinson,
Stefan Rennick Egglestone,
Stuart Reeves,
Patrick Brundell,
Paul Tennent,
Jo Cranwell,
Paul Harter,
Jo Longhurst:
The gas mask: a probe for exploring fearsome interactions.
CHI Extended Abstracts 2011: 127-136 |
| 1999 |
| 1 |  | Homayoon Akhiani,
Damien Doligez,
Paul Harter,
Leslie Lamport,
Joshua Scheid,
Mark R. Tuttle,
Yuan Yu:
Cache Coherence Verification with TLA+.
World Congress on Formal Methods 1999: 1871-1872 |