Gareth Smith

First Year Report : A context logic approach to analysis and specification of XML update

Gareth Smith, 2006 .

Local Reasoning about Mashups

Philippa Gardner, Gareth Smith, Adam Wright, 2010 .

Exploring the notion of information push and pull with respect to the user intention and disruption

Keith Cheverst, Gareth Smith, 2001 .