Paul Harter

According to our database, Paul Harter authored at least 4 papers between 1999 and 2014.

Collaborative distances:

• Dijkstra number of two.
• Erdős number of three.

2014

Vicarious: A Flexible Framework for the Creative Use of Sensed Biodata.

Paul Tennent, Joe Marshall, Brendan Walker, Paul Harter, Steve Benford, Tony Glover

Proceedings of the Knowledge, Information and Creativity Support Systems - Selected Papers from KICSS'2014, 2014

2012

The machine in the ghost: augmenting broadcasting with biodata.

Paul Tennent, Stuart Reeves, Steve Benford, Brendan Walker, Joe Marshall, Patrick Brundell, Rupert Meese, Paul Harter

Proceedings of the CHI Conference on Human Factors in Computing Systems, 2012

2011

The gas mask: a probe for exploring fearsome interactions.

Joe Marshall, Brendan Walker, Steve Benford, George Tomlinson, Stefan Rennick Egglestone, Stuart Reeves, Patrick Brundell, Paul Tennent, Jo Cranwell, Paul Harter, Jo Longhurst

Proceedings of the International Conference on Human Factors in Computing Systems, 2011

1999

Cache Coherence Verification with TLA+.

Homayoon Akhiani, Damien Doligez, Paul Harter, Leslie Lamport, Joshua Scheid, Mark R. Tuttle, Yuan Yu

Proceedings of the FM'99 - Formal Methods, 1999