Searching for authors named "Phil Gray" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

8 documents found, showing 1 through 8.

User Interface Design for Mechanized Theorem Proving
by Phil Gray, P. Gray, Tom Melham, M. Thomas
…EPSRC Grant GR/K25038 User Interface Design for Mechanized Theorem Proving P. Gray T. Melham M…
Add To MetaCart

A design space for location-sensitive aids for older users
by Joy Goodman, Phil Gray — 2003 — In HCI in Mobile Guides, MobileHCI 2003
…A Design Space for Location-Sensitive Aids for Older Users Joy Goodman & Phil Gray Department…
Cited by 2 (1 self) – Add To MetaCart

Using Landmarks to Support Older People in Navigation
by Joy Goodman, Phil Gray, Kartik Khammampad, Stephen Brewster — 2004 — In Proceedings of Mobile HCI 2004, Springer-Verlag, LNCS series
…Using Landmarks to Support Older People in Navigation Joy Goodman, Phil Gray, Kartik Khammampad…
Cited by 5 (2 self) – Add To MetaCart

Interactive Proof Discovery: An Empirical Study of HOL Users
by Stuart Aitken, P. Gray, Tom Melham, M. Thomas, Stuart Aitken, Phil Gray, Tom Melham, Muffy Thomas — 1995 — User Interfaces Design for Theorem Proving Systems
…S. Aitken, P. Gray, T. Melham and M. Thomas, `Interactive Proof Discovery: An Empirical Study…
Cited by 2 (0 self) – Add To MetaCart

Practical Experience Applying Formal Methods to Air Traffic Management Software
by Richard Yates, Jamie Andrews, Phil Gray — in Proc of the 8th Annual International Symposium of the International Council on Systems Engineering (INCOSE'98). Available: http://www.csd.uwo.ca/faculty/andrews/papers/incose98.ps.gz
…, Jamie Andrews, Phil Gray Abstract. This paper relates experiences with formal methods that are relevant…
Cited by 1 (0 self) – Add To MetaCart

The effect of age and font size on reading text on handheld computers
by Iain Darroch, Joy Goodman, Stephen Brewster, Phil Gray — 2005 — In Human-Computer Interaction - INTERACT 2005
…, Stephen Brewster, Phil Gray Glasgow Interactive Systems Group, Department of Computing Science University…
Cited by 1 (0 self) – Add To MetaCart

Domino: Exploring Mobile Collaborative Software Adaptation
by Marek Bell, Malcolm Hall, Matthew Chalmers, Phil Gray, Barry Brown — 2006 — Proc. Pervasive 2006
… Chalmers, Phil Gray and Barry Brown Department of Computing Science University of Glasgow Glasgow, UK…
Cited by 2 (0 self) – Add To MetaCart

A Lightweight Presentation Model for Database User Interfaces
by Phil Gray Richard, Richard Cooper, Jessie Kennedy, Peter Barclay, Tony Griffiths — 1998 — In DOOD
…A Lightweight Presentation Model for Database User Interfaces Phil Gray • , Richard Cooper…
Add To MetaCart

Showing 1 through 8.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB