Publications 1995

Alan Dix

Talis and University of Birmingham
email: alan@hcibook.com


1985-1989 | 1990-1994 | 1995 | 1996 | 1997 | 1998 | 1999 | 2000 | 2001 | 2002 | 2003 | 2004 | 2005 | 2006 | 2007 | 2008 | 2009 | 2010 | 2011 | 2012 | 2013 | 2014 | 2015 | 2016 | 2017 | 2018 | 2019 | 2020 | 2021 | 2022 | 2023


1995

A. Dix (1995).
LADA - A logic for the analysis of distributed action.
Interactive Systems: Design, Specification and Verification,, Ed. F. Paterno. (Proceedings of 1st Eurographics Workshop, Bocca di Magra, Italy, June 1994), Springer-Verlag. pp. 317-332.
abstract || full paper (compressed postscript, 77K) || full paper (PDF, 66K)

A. J. Dix (1995).
Cooperation without (reliable) Communication: Interfaces for Mobile Applications.
Distributed Systems Engineering, 2(3): pp. 171-181.
abstract || full paper (PDF, 138K)

A. J. Dix (1995).
Cooperation without (reliable) Communication.
Mobile Computing and its Applications, . IEE London, Digest No: 95/219, pp. 4/1-4/4.24th November 1995
extended abstract of talk

A. Dix and G. Abowd (1995).
Delays and Temporal Incoherence Due to Mediated Status-Status Mappings.
Workshop in Time and User Interface Design,. Glasgow.
(subsequently published in SIGCHI Bulletin, 28(2) pp. 47-49. - see my 1996 list)

M. A. R. Kirby, A. J. Dix and J. E. Finlay, Eds. (1995).
People and Computers X - Proceedings of the HCI'95 Conference.
Cambridge University Press.
table of contents and abstracts

A. J. Dix (1995).
Formal Methods.
In Perspectives on HCI: Diverse Approaches, Eds. A. Monk and N. Gilbert. London, Academic Press. pp. 9-43.
abstract and introduction | full paper (PDF, 329K)

A. Dix (1995).
Accelerators and toolbars: learning from the menu.
Adjunct Proceedings of HCI'95,. Huddersfield.

A. J. Dix (1995).
Dynamic pointers and threads.
Collaborative Computing, 1(3): pp. 191-216.
abstract | full paper (PDF, 200K)

A. J. Dix (1995).
Moving between contexts.
Design, Specification and Verification of Interactive Systems '95, Eds. P. Palanque and R. Bastide. Toulouse, France, Springer Wien. pp. 149-173.
abstract || full paper (compressed postscript, 672K) || full paper (PDF, 124K)

S. A. Brewster, P. C. Wright, A. J. Dix and A. D. N. Edwards (1995).
The Sonic Enhancement of Graphical Buttons.
Human-Computer Interaction - Interact'95, Eds. K. Nordby, P. Helmerson, D. J. Gilmore and S. A. Arnesen. Lillehammer, Norway: Chapman & Hall, pp. 43-48.
abstract || full paper in Microsoft Word 5.1 (24K) || compressed postscript (198K) || Adobe PDF

A. J. Dix (1995).
Collaboration on different document processing platforms
RR9508, University of Huddersfield.
full paper (html)

A. Dix, D. Ramduny, J. Wilkinson (1995).
Interruptions Deadlines and Reminders: Investigations into the Flow of Cooperative Work.
RR9509, University of Huddersfield.
abstract || full paper (pdf)


1985-1989 | 1990-1994 | 1995 | 1996 | 1997 | 1998 | 1999 | 2000 | 2001 | 2002 | 2003 | 2004 | 2005 | 2006 | 2007 | 2008 | 2009 | 2010 | 2011 | 2012 | 2013 | 2014 | 2015 | 2016 | 2017 | 2018 | 2019 | 2020 | 2021 | 2022 | 2023