Will Harwood

According to our database, Will Harwood authored at least 8 papers between 2006 and 2016.

Collaborative distances:

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

2016

Locking up passwords - for good.

Will Harwood

Netw. Secur., 2016

2009

StoryBank: mobile digital storytelling in a development context.

David M. Frohlich, Dorothy Rachovides, Kiriaki Riga, Ramnath Bhat, Maxine Frank, Eran A. Edirisinghe, Dhammike Wickramanayaka, Matt Jones, Will Harwood

Proceedings of the 27th International Conference on Human Factors in Computing Systems, 2009

2008

A Theory of Pointers for the UTP.

Will Harwood, Ana Cavalcanti, Jim Woodcock

Proceedings of the Theoretical Aspects of Computing, 2008

"Narrowcast yourself": designing for community storytelling in a rural Indian context.

Matt Jones, Will Harwood, David Bainbridge, George Buchanan, David M. Frohlich, Dorothy Rachovides, Maxine Frank, Mounia Lalmas

Proceedings of the Conference on Designing Interactive Systems, 2008

2007

StoryBank: an indian village community digital library.

Matt Jones, Will Harwood, George Buchanan, Mounia Lalmas

Proceedings of the ACM/IEEE Joint Conference on Digital Libraries, 2007

2006

Towards weak bisimilarity on a class of parallel processes.

Will Harwood

PhD thesis, 2006

Pointers and Records in the Unifying Theories of Programming.

Ana Cavalcanti, Will Harwood, Jim Woodcock

Proceedings of the Unifying Theories of Programming, First International Symposium, 2006

Weak Bisimulation Approximants.

Will Harwood, Faron Moller, Anton Setzer

Proceedings of the Computer Science Logic, 20th International Workshop, 2006